BitVM
Web3 / blockchain technology
BitVM is a computational paradigm proposed by researcher Robin Linus that enables verification of arbitrary computation directly on Bitcoin without requiring soft forks, protocol changes, or new consensus rules. The system works by representing complex computations as interactive verification games between a prover and a challenger, where disputes are resolved through Bitcoin script execution. BitVM separates computation execution from verification, allowing off-chain computation to be verified on-chain with minimal overhead. This breakthrough enables Bitcoin to serve as a validity layer for complex applications while maintaining the network's immutability and security properties, potentially unlocking sophisticated smart contract capabilities on the base Bitcoin layer itself. Example: BitVM enables Bitcoin to verify zero-knowledge proofs and validate computations from other blockchains, allowing Bitcoin to serve as a final settlement and dispute-resolution layer for cross-chain bridges and complex financial protocols. Why it matters for blockchain technology: BitVM unlocks Bitcoin's potential as a universal computation verification layer without protocol changes, fundamentally expanding Bitcoin's utility beyond payments and settlement to support complex smart contracts and layer-2 solutions.
Explore the full Web3 Glossary — 2,000+ expert-curated definitions. Need guidance? Talk to our consultants.