sumcheck

package
v0.12.0 Latest Latest
Warning

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

Go to latest
Published: Jan 24, 2025 License: Apache-2.0 Imports: 5 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Verify

func Verify(api frontend.API, claims LazyClaims, proof Proof, transcriptSettings fiatshamir.Settings) error

Types

type LazyClaims

type LazyClaims interface {
	ClaimsNum() int                                                      // ClaimsNum = m
	VarsNum() int                                                        // VarsNum = n
	CombinedSum(api frontend.API, a frontend.Variable) frontend.Variable // CombinedSum returns c = ∑_{1≤j≤m} aʲ⁻¹cⱼ
	Degree(i int) int                                                    //Degree of the total claim in the i'th variable
	VerifyFinalEval(api frontend.API, r []frontend.Variable, combinationCoeff, purportedValue frontend.Variable, proof interface{}) error
}

LazyClaims is the Claims data structure on the verifier side. It is "lazy" in that it has to compute fewer things.

type Proof

type Proof struct {
	PartialSumPolys []polynomial.Polynomial
	FinalEvalProof  interface{}
}

Proof of a multi-sumcheck statement.

Jump to

Keyboard shortcuts

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