Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
inner-product argument due to an earlier EUROCRYPT’16 paper. Diagram of transcript operations for an inner-product proof. The inner-product proof allows the prover to convince a verifier that some scalar is the inner-product of two length-n vectors using O(log(n)) steps, and it’s the reason that