BitcoinOS (BOS) 是一个新建层，旨在扩展 Bitcoin 的功能，使其超越简单的交易，从而在不改变 Bitcoin 核心共识规则的情况下，实现可扩展、可验证的智能合约。它建立在 BitVM 的创新之上，引入了 BitSNARK — 一种用于直接在 Bitcoin 上验证 zkSNARK 证明的优化系统。

通过 BitSNARK 及其名为 Grail 的实现，BOS 能够实现 Bitcoin Rollup Bridges，从而将 Bitcoin 主网（Layer 1）与 Layer 2 网络连接起来，从而在保持 Bitcoin 级别安全性的同时，实现资产的无缝转移。与早期系统相比，这种方法大大降低了复杂性、交易规模和验证时间。

通过解决 Bitcoin 在可扩展性、可编程性和去中心化方面的长期困境，BOS 旨在将 Bitcoin 转变为更广泛金融生态系统的基础 — 在一个统一的协议下，结合无需信任的计算、高吞吐量和开放的互操作性。