Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
message to their counterparty. The counterparty can verify the proof to check that the message was correctly computed, then proceed with their step, producing a proof that they performed their step correctly, and so on. Interactive composition of noninteractive proofs of correct execution of each