BitcoinOS (BOS) 是一個新建層，旨在擴充套件 Bitcoin 的功能，使其超越簡單的交易，從而在不改變 Bitcoin 核心共識規則的情況下，實現可擴充套件、可驗證的智慧合約。它建立在 BitVM 的創新之上，引入了 BitSNARK — 一種用於直接在 Bitcoin 上驗證 zkSNARK 證明的優化系統。

通過 BitSNARK 及其名為 Grail 的實現，BOS 能夠實現 Bitcoin Rollup Bridges，從而將 Bitcoin 主網（Layer 1）與 Layer 2 網路連線起來，從而在保持 Bitcoin 級別安全性的同時，實現資產的無縫轉移。與早期系統相比，這種方法大大降低了複雜性、交易規模和驗證時間。

通過解決 Bitcoin 在可擴充套件性、可程式設計性和去中心化方面的長期困境，BOS 旨在將 Bitcoin 轉變為更廣泛金融生態系統的基礎 — 在一個統一的協議下，結合無需信任的計算、高吞吐量和開放的互操作性。