# BitcoinOS – The Operating System for a Bitcoin Powered World

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**](/technical-documentation/quickstart.md)**:** 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](https://x.com/BTC_OS/status/1816180788938870815). It is open-sourced here[GitHub](https://github.com/bitsnark/bitsnark-lib) and documented in [a blog post here](https://www.bitcoinos.build/blog/bitcoinos-open-sourcing-the-bitsnark-verification-protocol).  BitSNARK lays the foundation for trustless bridging and true rollups on Bitcoin.
* [**Grail**](/technical-documentation/grail.md)**:** 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 ](https://x.com/BTC_OS)and [Blog](https://www.bitcoinos.build/blog). 

Carry on reading the next section which explains [why BitSNARK is such an important milestone](/technical-documentation/quickstart.md) and how it fits into the evolution of scaling Bitcoin. 

<figure><img src="/files/2zwopHXqb3sqX4FZQr3j" alt=""><figcaption></figcaption></figure>

### Jump right in

<table data-view="cards"><thead><tr><th></th><th></th><th data-hidden data-card-cover data-type="files"></th><th data-hidden></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td><strong>BitSNARK</strong></td><td></td><td></td><td></td><td><a href="/pages/CyH2xJQs9yWJ1S8BYNav">/pages/CyH2xJQs9yWJ1S8BYNav</a></td></tr><tr><td><strong>GRAIL</strong></td><td></td><td></td><td></td><td><a href="/pages/7aUFmnCMx9m4smGncsXL">/pages/7aUFmnCMx9m4smGncsXL</a></td></tr><tr><td><strong>Links</strong></td><td></td><td></td><td></td><td><a href="/pages/JjjojIyKxaiBPzzLwvtg">/pages/JjjojIyKxaiBPzzLwvtg</a></td></tr></tbody></table>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.bitcoinos.build/readme.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.