They then make on-chain deposits to a Bitcoin handle, activating the contract they usually begin to change off-chain knowledge, with the verifier in a position to take the prover’s deposit if any incorrect declare is made. This could imply that attackers at all times lose their deposits, Linus wrote.