bulletproofs::inner_product_proof - Rust
doc-internal.dalek.rs · 853 words · saved by 1 readers
API documentation for the Rust `inner_product_proof` mod in crate `bulletproofs`.
bulletproofs::inner_product_proof - Rust This old browser is unsupported and will most likely display funky things. [ − ] [src] Module bulletproofs :: inner_product_proof The inner_product_proof module contains API for producing a compact proof of an inner product of two vectors. Inner product argument protocol These notes explain how the protocol is implemented in the InnerProductProof type. We want to prove the relation \[ \operatorname{PK}\left\{ ({\mathbf{G}}, {\mathbf{H}} \in {\mathbb G}^n, P', Q \in {\mathbb G}; {\mathbf{a}}, {\mathbf{b}} \in {\mathbb Z_p}^n) : P' = {\langle {\mat
related reading
- Inner Product Arguments · Dankrad Feistdankradfeist.de
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Lecture 14: Zero knowledge proofsboazbarak.org
- Pedersen Commitments, Divide-and-Conquer, and the Inner Product Argument - notes.0xparc.orgnotes.0xparc.org
- Bulletproofs: Short Proofs for Confidential Transactions and Moreeprint.iacr.org
- 370.pdfeprint.iacr.org
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Collaborative zkSNARKseprint.iacr.org
- The Spartan zkSNARK framework - Alin Tomescualinush.github.io
- 1022.pdfeprint.iacr.org
- Math & Engineeringxn--2-umb.com