schnorr

Mar 28, 2022

Changes in this version

+ func ProveEquality(secret, g1, g2, t1, t2 *big.Int, group *Group) bool

+ func ProvePartialDLogKnowledge(group *Group, secret1, a1, a2, b2 *big.Int) bool

+ type BTEqualityProver struct

+ Group *Group

+ func NewBTEqualityProver(group *Group) *BTEqualityProver

+ func (p *BTEqualityProver) GetProofData(challenge *big.Int) *big.Int

+ func (p *BTEqualityProver) GetProofRandomData(secret, g1, g2 *big.Int) (*big.Int, *big.Int)

+ type BTEqualityVerifier struct

+ Group *Group

+ func NewBTEqualityVerifier(group *Group, gamma *big.Int) *BTEqualityVerifier

+ func (v *BTEqualityVerifier) GetChallenge(g1, g2, t1, t2, x1, x2 *big.Int) *big.Int

+ func (v *BTEqualityVerifier) Verify(z *big.Int) (bool, *BlindedTrans, *big.Int, *big.Int)

+ type BlindedTrans struct

+ A *big.Int

+ B *big.Int

+ Hash *big.Int

+ ZAlpha *big.Int

+ func NewBlindedTrans(a, b, hash, zAlpha *big.Int) *BlindedTrans

+ func (t *BlindedTrans) Verify(group *Group, g1, t1, G2, T2 *big.Int) bool

+ type EqualityProver struct

+ Group *Group

+ func NewEqualityProver(group *Group) *EqualityProver

+ func (p *EqualityProver) GetProofData(challenge *big.Int) *big.Int

+ func (p *EqualityProver) GetProofRandomData(secret, g1, g2 *big.Int) (*big.Int, *big.Int)

+ type EqualityVerifier struct

+ Group *Group

+ func NewEqualityVerifier(group *Group) *EqualityVerifier

+ func (v *EqualityVerifier) GetChallenge(g1, g2, t1, t2, x1, x2 *big.Int) *big.Int

+ func (v *EqualityVerifier) Verify(z *big.Int) bool

+ type Group struct

+ G *big.Int

+ P *big.Int

+ Q *big.Int

+ func NewGroup(qBitLength int) (*Group, error)

+ func NewGroupFromParams(p, g, q *big.Int) *Group

+ func (g *Group) Add(x, y *big.Int) *big.Int

+ func (g *Group) Exp(base, exponent *big.Int) *big.Int

+ func (g *Group) GetRandomElement() *big.Int

+ func (g *Group) Inv(x *big.Int) *big.Int

+ func (g *Group) IsElementInGroup(x *big.Int) bool

+ func (g *Group) Mul(x, y *big.Int) *big.Int

+ type PartialProver struct

+ Group *Group

+ func NewPartialProver(group *Group) *PartialProver

+ func (p *PartialProver) GetProofData(challenge *big.Int) (*big.Int, *big.Int, *big.Int, *big.Int)

+ func (p *PartialProver) GetProofRandomData(secret1, a1, b1, a2, b2 *big.Int) (*common.Triple, *common.Triple)

+ type PartialVerifier struct

+ Group *Group

+ func NewPartialVerifier(group *Group) *PartialVerifier

+ func (v *PartialVerifier) GetChallenge() *big.Int

+ func (v *PartialVerifier) SetProofRandomData(triple1, triple2 *common.Triple)

+ func (v *PartialVerifier) Verify(c1, z1, c2, z2 *big.Int) bool

+ type Proof struct

+ Challenge *big.Int

+ ProofData []*big.Int

+ ProofRandomData *big.Int

+ func NewProof(proofRandomData, challenge *big.Int, proofData []*big.Int) *Proof

+ type Prover struct

+ Group *Group

+ func NewProver(group *Group, secrets, bases []*big.Int, y *big.Int) (*Prover, error)

+ func (p *Prover) GetProofData(challenge *big.Int) []*big.Int

+ func (p *Prover) GetProofRandomData() *big.Int

+ type Verifier struct

+ Group *Group

+ func NewVerifier(group *Group) *Verifier

+ func (v *Verifier) GetChallenge() *big.Int

+ func (v *Verifier) SetChallenge(challenge *big.Int)

+ func (v *Verifier) SetProofRandomData(proofRandomData *big.Int, bases []*big.Int, y *big.Int)

+ func (v *Verifier) Verify(proofData []*big.Int) bool