✳flâneur — a map of the web's best reading

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

Explore this link on the map →

related reading