Robin Linus (ZeroSync project leader) recently released a white paper titled "BitVM: Performing Any Computation on Bitcoin", proposing that BitVM can implement Turing-complete Bitcoin contracts without changing Bitcoin's consensus rules. BitVM can perform almost any computation and leverage that computation to perform on-chain Bitcoin transactions.
The way BitVM works is that the "logic" of a Bitcoin contract is executed off-chain, while verification occurs on the Bitcoin blockchain, similar to Ethereum's optimistic rollup. The architecture is based on a fraud proof and challenge-response model, where a "prover" can make claims and a "verifier" can perform fraud proofs to punish the prover when making false claims.
The new proposal has attracted the attention of many prominent figures in the Bitcoin community, including Arcane Assets co-founder Eric Wall, Bitcoin analyst Dylan LeClair, and Blockstream co-founder and hashcash inventor Adam Back.
The way BitVM works is that the "logic" of a Bitcoin contract is executed off-chain, while verification occurs on the Bitcoin blockchain, similar to Ethereum's optimistic rollup. The architecture is based on a fraud proof and challenge-response model, where a "prover" can make claims and a "verifier" can perform fraud proofs to punish the prover when making false claims.
The new proposal has attracted the attention of many prominent figures in the Bitcoin community, including Arcane Assets co-founder Eric Wall, Bitcoin analyst Dylan LeClair, and Blockstream co-founder and hashcash inventor Adam Back.