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
- Pedersen Commitments, Divide-and-Conquer, and the Inner Product Argument - notes.0xparc.orgnotes.0xparc.org
- 370.pdfeprint.iacr.org
- Pearl Whitepaperpearlresearch.ai
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Lecture 14: Zero knowledge proofsboazbarak.org
- Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org
- Bulletproofs: Short Proofs for Confidential Transactions and Moreeprint.iacr.org
- 1022.pdfeprint.iacr.org
- WHIR: Reed–Solomon Proximity Testing with Super-Fast Verificationeprint.iacr.org
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co