Versions in this module Expand all Collapse all v1 v1.8.0 Mar 11, 2022 Changes in this version + type InnerProductProof struct + func NewInnerProductProof(curve *curves.Curve) *InnerProductProof + func (proof *InnerProductProof) MarshalBinary() []byte + func (proof *InnerProductProof) UnmarshalBinary(data []byte) error + type InnerProductProver struct + func NewInnerProductProver(maxVectorLength int, domain []byte, curve curves.Curve) (*InnerProductProver, error) + func (prover *InnerProductProver) Prove(a, b []curves.Scalar, u curves.Point, transcript *merlin.Transcript) (*InnerProductProof, error) + type InnerProductVerifier struct + func NewInnerProductVerifier(maxVectorLength int, domain []byte, curve curves.Curve) (*InnerProductVerifier, error) + func (verifier *InnerProductVerifier) Verify(capP, u curves.Point, proof *InnerProductProof, transcript *merlin.Transcript) (bool, error) + func (verifier *InnerProductVerifier) VerifyFromRangeProof(proofG, proofH []curves.Point, capPhmuinv, u curves.Point, tHat curves.Scalar, ...) (bool, error) + type RangeProof struct + func NewRangeProof(curve *curves.Curve) *RangeProof + func (proof *RangeProof) MarshalBinary() []byte + func (proof *RangeProof) UnmarshalBinary(data []byte) error + type RangeProver struct + func NewRangeProver(maxVectorLength int, rangeDomain, ippDomain []byte, curve curves.Curve) (*RangeProver, error) + func (prover *RangeProver) Prove(v, gamma curves.Scalar, n int, g, h, u curves.Point, ...) (*RangeProof, error) + type RangeVerifier struct + func NewRangeVerifier(maxVectorLength int, rangeDomain, ippDomain []byte, curve curves.Curve) (*RangeVerifier, error) + func (verifier *RangeVerifier) Verify(proof *RangeProof, capV, g, h, u curves.Point, n int, ...) (bool, error)
Go to main page