Surmount Systems is dedicated to ensuring that Bitcoin is as defensible as possible in an era of rapid technological advancement.
Projects
Currently we are working on the following:
BIP 360
BIP 360 - P2MR, a soft fork change to Bitcoin that adds a quantum-resistant output type.
Grok OSS
Our open source fork of Grok Build that accepts pull requests.
libbitcoinpqc
A C library for post-quantum signature algorithms for Bitcoin. Language bindings are maintained by Jeff Bride.
cryptoquick/libbitcoinpqc · jbride/libbitcoinpqc-bindings
Systems Lean
Our effort to make Lean 4 suitable for systems programming by adding linear types.