zkprm

Documentation

Index

• type Private
• type Proof
  • func NewProof(private Private, hash *hash.Hash, public Public, pl *pool.Pool) *Proof
  • func (p *Proof) IsValid(public Public) bool
  • func (p *Proof) Verify(public Public, hash *hash.Hash, pl *pool.Pool) bool
• type Public

Types

type Private

type Private struct {
	Lambda, Phi, P, Q *safenum.Nat
}

type Proof

type Proof struct {
	As, Zs [params.StatParam]*big.Int
}

func NewProof

func NewProof(private Private, hash *hash.Hash, public Public, pl *pool.Pool) *Proof

NewProof generates a proof that: s = t^lambda (mod N).

func (*Proof) IsValid

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

func (*Proof) Verify

func (p *Proof) Verify(public Public, hash *hash.Hash, pl *pool.Pool) bool

type Public

type Public struct {
	N    *safenum.Modulus
	S, T *safenum.Nat
}