They then make on-chain deposits to a Bitcoin address, activating the contract and they start to exchange off-chain data, with the verifier able to take the prover’s deposit if any incorrect claim is made. This should mean that attackers always lose their deposits, Linus wrote.
Bitcoin Might Get Ethereum-Style Smart Contracts Under ‘BitVM’ Plan
