schnorr

Documentation

Index

• type Proof
  • func Prove(q, committedSecret, challeng, secret *big.Int) *Proof
  • func (pf *Proof) Verify(commitedA, publicX *crypto.ECPoint, challeng *big.Int) bool
• type ZKProof
  • func NewZKProof(Session []byte, x *big.Int, X *crypto.ECPoint, rand io.Reader) (*ZKProof, error)
  • func (pf *ZKProof) ValidateBasic() bool
  • func (pf *ZKProof) Verify(Session []byte, X *crypto.ECPoint) bool
• type ZKVProof
  • func NewZKVProof(Session []byte, V, R *crypto.ECPoint, s, l *big.Int, rand io.Reader) (*ZKVProof, error)
  • func (pf *ZKVProof) ValidateBasic() bool
  • func (pf *ZKVProof) Verify(Session []byte, V, R *crypto.ECPoint) bool

Types

type Proof

type Proof struct {
	Proof *big.Int
}

func Prove

func Prove(q, committedSecret, challeng, secret *big.Int) *Proof

func (*Proof) Verify

func (pf *Proof) Verify(commitedA, publicX *crypto.ECPoint, challeng *big.Int) bool

type ZKProof

type ZKProof struct {
	Alpha *crypto.ECPoint
	T     *big.Int
}

func NewZKProof

func NewZKProof(Session []byte, x *big.Int, X *crypto.ECPoint, rand io.Reader) (*ZKProof, error)

NewZKProof constructs a new Schnorr ZK proof of knowledge of the discrete logarithm (GG18Spec Fig. 16)

func (*ZKProof) ValidateBasic

func (pf *ZKProof) ValidateBasic() bool

func (*ZKProof) Verify

func (pf *ZKProof) Verify(Session []byte, X *crypto.ECPoint) bool

NewZKProof verifies a new Schnorr ZK proof of knowledge of the discrete logarithm (GG18Spec Fig. 16)

type ZKVProof

type ZKVProof struct {
	Alpha *crypto.ECPoint
	T, U  *big.Int
}

func NewZKVProof

func NewZKVProof(Session []byte, V, R *crypto.ECPoint, s, l *big.Int, rand io.Reader) (*ZKVProof, error)

NewZKProof constructs a new Schnorr ZK proof of knowledge s_i, l_i such that V_i = R^s_i, g^l_i (GG18Spec Fig. 17)

func (*ZKVProof) ValidateBasic

func (pf *ZKVProof) ValidateBasic() bool

func (*ZKVProof) Verify

func (pf *ZKVProof) Verify(Session []byte, V, R *crypto.ECPoint) bool