Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
protocol step. If both parties use Merlin, they can maintain their own transcript states, represented in the diagram by the two thick black lines. When one party proves that they performed their step correctly, they mutate the state of their transcript away from the state of their counterparty’s