zk_qr

Documentation

Index

• func Verify(tx *merlin.Transcript, pp *Agreed, h *Statement, proof *Proof) bool
• type Agreed
  • func NewAgreed(N *big.Int) *Agreed
• type Proof
  • func Prove(tx *merlin.Transcript, pp *Agreed, witness *Witness, h *Statement) *Proof
• type Statement
• type Witness
  • func NewWitness(h_sqrt *big.Int) *Witness

Functions

func Verify

func Verify(tx *merlin.Transcript, pp *Agreed, h *Statement, proof *Proof) bool

Types

type Agreed

type Agreed struct {
	N *big.Int
}

The prover and the verifier should have already agreed on N

func NewAgreed

func NewAgreed(N *big.Int) *Agreed

type Proof

type Proof struct {
	// contains filtered or unexported fields
}

func Prove

func Prove(tx *merlin.Transcript, pp *Agreed, witness *Witness, h *Statement) *Proof

type Statement

type Statement = big.Int

h

type Witness

type Witness struct {
	// contains filtered or unexported fields
}

func NewWitness

func NewWitness(h_sqrt *big.Int) *Witness