What is BitcoinOS?

BitcoinOS is a groundbreaking project that enables unlimited smart contracts and true scalability on Bitcoin without changing its core rules.

Launched with its June 2025 whitepaper by Ariel Futoransky and Gadi Guy, BitcoinOS introduces BitSNARK & Grail — advanced tools built on the BitVM paradigm to bring zero-knowledge (zk) rollups to Bitcoin.

Core Innovation: BitSNARK

• A highly optimized system for verifying zkSNARK proofs directly on Bitcoin.
• Reduces program size by 10x and challenge-response length by 50% compared to BitVM.
• Uses a minimal virtual machine with just 3 instructions and no RAM or branching, making it fast, secure, and easy to audit.

(Sources: X)

The Grail Bridge

• Enables trust-minimized transfers between Bitcoin (L1) and scalable L2 rollups.
• Supports Turing-complete smart contracts using Bitcoin’s security.
• One honest participant can stop any attack — 1-of-n security.

Why It Matters

BitcoinOS solves Bitcoin’s scaling trilemma (scale, expressivity, decentralization) by:

• Keeping all settlement on Bitcoin.
• Offloading computation to L2.
• Avoiding soft forks or new tokens.

No native token. No hype. Just Bitcoin as the ultimate settlement layer for DeFi.