zk_r_affran

Documentation

Index

• func Verify(tx *merlin.Transcript, pp *Agreed, c_A *Statement, proof *Proof) bool
• type Agreed
  • func NewAgreed(q *big.Int, N0 *big.Int, g *big.Int, h *big.Int, N *big.Int, c_B *big.Int) *Agreed
• type Proof
  • func Prove(tx *merlin.Transcript, pp *Agreed, ws *Witness, c_A *Statement) *Proof
• type Statement
• type Witness
  • func NewWitness(a *big.Int, alpha *big.Int) *Witness

Functions

func Verify

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

Types

type Agreed

type Agreed struct {
	N0 *big.Int

	N *big.Int

	NN       *big.Int
	N_plus_1 *big.Int
	K        *big.Int
	// contains filtered or unexported fields
}

The prover and the verifier should have already agreed on q, N0, g0, h0, N, c.

func NewAgreed

func NewAgreed(q *big.Int, N0 *big.Int, g *big.Int, h *big.Int, N *big.Int, c_B *big.Int) *Agreed

type Proof

type Proof struct {
	A  *big.Int
	B1 *big.Int
	B2 *big.Int
	B3 *big.Int
	B4 *big.Int
	// contains filtered or unexported fields
}

func Prove

func Prove(tx *merlin.Transcript, pp *Agreed, ws *Witness, c_A *Statement) *Proof

type Statement

type Statement = big.Int

c_A

type Witness

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

func NewWitness

func NewWitness(a *big.Int, alpha *big.Int) *Witness