zkmulstar

Jan 4, 2023

Changes in this version

+ type Commitment struct

+ A *paillier.Ciphertext

+ Bx curve.Point

+ E *saferith.Nat

+ S *saferith.Nat

+ type Private struct

+ Rho *saferith.Nat

+ X *saferith.Int

+ type Proof struct

+ W *saferith.Nat

+ Z1 *saferith.Int

+ Z2 *saferith.Int

+ func Empty(group curve.Curve) *Proof

+ func NewProof(group curve.Curve, hash *hash.Hash, public Public, private Private) *Proof

+ func (p *Proof) IsValid(public Public) bool

+ func (p *Proof) Verify(group curve.Curve, hash *hash.Hash, public Public) bool

+ type Public struct

+ Aux *pedersen.Parameters

+ C *paillier.Ciphertext

+ D *paillier.Ciphertext

+ Verifier *paillier.PublicKey

+ X curve.Point