zk_r_affran

package

v0.0.0-...-35ce414 Latest Latest Go to latest Published: Apr 28, 2023 License: Apache-2.0 Imports: 4 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

This section is empty.

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

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(q *big.Int, N0 *big.Int, g *big.Int, h *big.Int, N *big.Int, c_B *big.Int) *Agreed

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(tx *merlin.Transcript, pp *Agreed, ws *Witness, c_A *Statement) *Proof

type Statement = big.Int

c_A

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

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