gkr

Documentation

Index

• func Verify(c circuit.Circuit, proof Proof, inputs []poly.MultiLin, outputs poly.MultiLin, ...) (err error)
• type Proof
  • func Prove(c circuit.Circuit, a circuit.Assignment, qPrime []fr.Element) (proof Proof)

Functions

func Verify

func Verify(
	c circuit.Circuit,
	proof Proof,
	inputs []poly.MultiLin,
	outputs poly.MultiLin,
	qPrime []fr.Element,
) (err error)

Types

type Proof

type Proof struct {
	SumcheckProofs []sumcheck.Proof
	Claims         [][]fr.Element
	QPrimes        [][][]fr.Element
}

Proof contains all the data for a GKR to be verified

func Prove

func Prove(c circuit.Circuit, a circuit.Assignment, qPrime []fr.Element) (proof Proof)

Prove returns a new prover