Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
making any implementation changes, just by passing the same transcript to multiple proof invocations. This performs sequential composition of protocols. In addition to providing great flexibility, this also improves the implementations of complex protocols. For instance, Bulletproofs make use of an