The BitVM3 Attack That Looks Real, But Isn’t

A question I received is whether, in BitVM3, the verifier could perform a denial-of-service attack against the operator by modifying the assert proof posted on-chain, causing the verifier to spend the connector. for the dispute transaction. In this video, we explain why this attack does not work and how BitVM3 prevents the verifier from corrupting the operator’s spending path.