Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
be formed using the approach above, sharing a common transcript for both steps. More complicated protocols may need more complicated proof systems — but thanks to Cathie Yun’s work, soon it will be possible to programmatically define, prove, and verify arbitrary statements using Merlin-based