zk_r_p

package
v0.0.0-...-35ce414 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Apr 28, 2023 License: Apache-2.0 Imports: 6 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Verify

func Verify(tx *merlin.Transcript, N *Statement, proof *Proof) bool

Types

type Agreed

type Agreed struct {
}

Nothing needs to be agreed beforehand

type Proof

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

func Prove

func Prove(tx *merlin.Transcript, witness *Witness, N *Statement) *Proof

type Statement

type Statement = big.Int

N

type Witness

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

func NewWitness

func NewWitness(p *big.Int, q *big.Int) *Witness

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL