Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
arbitrarily complex zero-knowledge protocols. In comparison to performing the Fiat-Shamir transformation by hand, this design provides support for: natural domain separation with arbitrary label sets; multi-round protocols with alternating commit and challenge phases; automatic message framing,