ccs08

Documentation

Index

• func ProveUL(x, r *big.Int, p paramsUL) (proofUL, error)
• func SetupUL(u, l int64) (paramsUL, error)
• func VerifySet(proof_out *ProofSet, p *ParamsSet) (bool, error)
• func VerifyUL(proof_out *proofUL, p *paramsUL) (bool, error)
• type ParamsSet
  • func SetupSet(s []int64) (ParamsSet, error)
• type ProofSet
  • func ProveSet(x int64, r *big.Int, p ParamsSet) (ProofSet, error)

Functions

func ProveUL

func ProveUL(x, r *big.Int, p paramsUL) (proofUL, error)

ProveUL method is used to produce the ZKRP proof that secret x belongs to the interval [0,U^L].

func SetupUL

func SetupUL(u, l int64) (paramsUL, error)

SetupUL generates the signature for the interval [0,u^l). The value of u should be roughly b/log(b), but we can choose smaller values in order to get smaller parameters, at the cost of having worse performance.

func VerifySet

func VerifySet(proof_out *ProofSet, p *ParamsSet) (bool, error)

VerifySet is used to validate the ZK Set Membership proof. It returns true iff the proof is valid.

func VerifyUL

func VerifyUL(proof_out *proofUL, p *paramsUL) (bool, error)

VerifyUL is used to validate the ZKRP proof. It returns true iff the proof is valid.

Types

type ParamsSet

type ParamsSet struct {
	H *bn256.G2
	// contains filtered or unexported fields
}

paramsSet contains elements generated by the verifier, which are necessary for the prover. This must be computed in a trusted setup.

func SetupSet

func SetupSet(s []int64) (ParamsSet, error)

SetupSet generates the signature for the elements in the set.

type ProofSet

type ProofSet struct {
	V    *bn256.G2
	D, C *bn256.G2
	// contains filtered or unexported fields
}

proofSet contains the necessary elements for the ZK Set Membership proof.

func ProveSet

func ProveSet(x int64, r *big.Int, p ParamsSet) (ProofSet, error)

ProveSet method is used to produce the ZK Set Membership proof.