BitVM3 Slashes On-Chain Data with Off-Chain SNARKs
Robin Linus introduces BitVM3, moving SNARK verification off-chain with RSA-based garbled circuits. It reduces on-chain data from megabytes to 56 kB for assertions and 200 bytes for fraud proofs, enabling more efficient and trust-minimized computation on Bitcoin.
bitvm.org
🔗
BitVM3: Efficient Computation on Bitcoin
BitVM3 is a protocol for verifying SNARK proofs on Bitcoin that dramatically reduces the on-chain footprint of its predecessor, BitVM2. By leveraging optimistic computation with a garbled circuit, BitVM3 shifts the burden of verification off-chain.