PANews reported on October 10 that ZeroSync project leader Robin Linus released a white paper titled "BitVM: Computing Anything on Bitcoin". The content shows that BitVM can achieve Turing completeness without changing the Bitcoin consensus rules. Bitcoin contracts. With BitVM, the "logic" of the Bitcoin contract will be executed off-chain, but verification will occur on Bitcoin - similar to Ethereum's optimistic rollups. BitVM's architecture is based on a fraud proof and challenge response model, where "provers" can make claims and "verifiers" can perform fraud proofs to punish the prover when false claims are made.
Related reading: Learn about ZeroSync in 3 minutes: What kind of chemical reaction will occur when zero-knowledge proof is introduced on Bitcoin?
