Surmount designs high-assurance compute infrastructure: defense in depth across software and hardware, provably hardened. We research Bitcoin infrastructure and cryptographic protocols. Original work is public domain under the Unlicense.
The Census classifies that work as NAICS 541512 Computer Systems Design Services: planning and designing computer systems that integrate computer hardware, software, and communication technologies.
Start with the argument on Philosophy, the named software on Projects, and the Foundation on Support.
High assurance cryptographic protocols
Formal verification with Systems Lean.
Self-improving AI platforms
We are building Grok OSS, a userspace harness that will help us bootstrap a provably perfect OS (best we can, despite everything). The OS we aim to build is argued on Philosophy. That OS is designed not to need a reboot after updates; that is an aim, not a proven result. The aim is to unify the browser and the OS into efficient, safe OS-level primitives.
Advanced computing technologies
Quantum computing, optical compute, and neuromorphic in-memory compute are research aims, not shipped products.
Where to read more
The company argument is on Philosophy. It covers computer systems design, Bitcoin, the first option versus hyperinflation, 1971 and jubilee, honest weights, natural law, and the OS we aim to build. Our statement on faith is on Faith. Load-bearing words are on Vocabulary. What Holy Lean checks is at the end of Philosophy.
Named work is on Projects. People who ship with us are on Contributors. Support the Foundation on Support. Ways to reach us are on Contact.