BitcoinOS
  • BitcoinOS - The Operating System for a Bitcoin Powered World
  • Technical Documentation
    • BitSNARK
      • BitSNARK VM - Verifying zkSNARKs On Bitcoin
      • BitSNARK - Security Assumptions
    • GRAIL
      • Bridge Agents - Operators
      • Operator Transfer - Away From Bitcoin
      • Operator Transfer - Receiving to Bitcoin
      • Operator Registration
      • Operator Identities and Group Multi-Sig ID
      • Grail Bridge - Deposit
      • Grail Bridge - Withdrawal
      • Grail Bridge - Operator-Initiated Withdrawal (withdraw to Bitcoin)
      • Grail Bridge - Coordinated Withdrawal
      • Operator-assisted Withdrawal
      • Grail Bridge - Proofs Used
    • LINKS
Powered by GitBook
On this page

BitcoinOS - The Operating System for a Bitcoin Powered World

NextBitSNARK

Last updated 3 months ago

We are building the ultimate upgrade to Bitcoin. Our mission is to preserve Bitcoin's core capabilities, while building a system where any type of computation or VM can validate back to Bitcoin, creating a global economy on top of true censorship resistant and sound money.

The system incorporates:

  • BitSNARK: This is a highly optimized VM for succinct zk proofs to be posted and verified on the Bitcoin chain. We achieved this during Bitcoin Nashville in July 2024, successfully verifying the first zk-SNARK proof on the Bitcoin blockchain. It is open-sourced hereGitHub and documented in a blog post here. BitSNARK lays the foundation for trustless bridging and true rollups on Bitcoin.

  • Grail: A trustless bridge between Bitcoin L1 and other chains, including but not limited to Bitcoin L2s. Agents that operate the bridge, utilize the BitSNARK verification protocol to post and verify bridge transactions between Bitcoin and other chains. These chains include, but are not limited to Bitcoin L2s.

  • MerkleMesh: Aggregating data from a whole ecosystem of interoperable virtual machines and verifying it back to the security of Bitcoin, MerkleMesh creates interoperability for distinct chains that use BitSNARK and Grail Bridge as modular components for trustless bridging and proof verification.

BitSNARK is currently under further optimization and Grail bridge is in the final stages of completion, and we are entering several key partnerships and integrations within and outside of the Bitcoin ecosystem. More on this will be revealed in due time, but announcements are made on our Twitter and Blog.

Carry on reading the next section which explains why BitSNARK is such an important milestone and how it fits into the evolution of scaling Bitcoin.

Jump right in

GRAIL

BitSNARK

Links

Page cover image