CoinDesk reported:
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.