Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
transcript. But when the counterparty verifies the proof, the counterparty’s transcript state is mutated in the same way, bringing the two parties’ transcripts back into sync. Now the roles reverse, with the next proving phase mutating the transcript again, and the counterparty’s verification