Module wnla 

Definition and implementation of the Bulletproofs++ weight norm linear argument protocol.

Structs

Proof

Represents weight norm linear argument proof - zk-proof of knowledge of vectors l, n that satisfies commitment C = v*g + <h_vec, l> + <g_vec, n>, where v = |n|_{mu}^2 + <c, l> with respect to public g, g_vec, h_vec, c

SerializableProof

Represent serializable version of weight norm linear argument proof (uses AffinePoint instead of ProjectivePoint).

WeightNormLinearArgument

Represents public information to be used in weight norm linear argument protocol.