ZeroSync project lead Robin Linus has released a white paper titled "BitVM: Compute Anything on Bitcoin," in which he states that BitVM enables Turing-complete Bitcoin contracts without altering Bitcoin's consensus rules. It can facilitate almost any arbitrary computation and use that computation to enforce on-chain Bitcoin transactions.
With BitVM, the "logic" of Bitcoin contracts would be executed off-chain, but verification would occur on the Bitcoin blockchain, similar to Ethereum's optimistic rollups. The architecture is based on fraud proofs and a challenge-response model where a "prover" can make claims, and a "verifier" can perform a fraud-proof to penalize the prover when false claims are made.
This new proposal has drawn intensive attention from well-known figures in the Bitcoin community, including Eric Wall, co-founder of Arcane Assets; Bitcoin analyst Dylan LeClair; and Adam Back, co-founder of Blockstream and inventor of Hashcash, which is used in the Bitcoin mining process.
If you have news reports or announcements that you want to reach a wider audience, feel free to email us at email@example.com