Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
internally, the inner-product proof is implemented completely separately from the rangeproof code, so it can be reused either for rangeproofs or for circuit proofs. Interactive composition of noninteractive proofs Finally, because proving and verification operate identically on the transcript