Versions in this module Expand all Collapse all v1 v1.2.0 Jul 18, 2024 v1.1.0 May 15, 2024 Changes in this version + type EvaluationProof any + type LazyClaims interface + AssertEvaluation func(r []*emulated.Element[FR], ...) error + CombinedSum func(coeff *emulated.Element[FR]) *emulated.Element[FR] + Degree func(i int) int + NbClaims func() int + NbVars func() int + type Option func(c *config) error + func WithClaimPrefix(prefix string) Option + type Proof struct + FinalEvalProof EvaluationProof + RoundPolyEvaluations []polynomial.Univariate[FR] + type Verifier struct + func NewVerifier[FR emulated.FieldParams](api frontend.API, opts ...Option) (*Verifier[FR], error) + func (v *Verifier[FR]) Verify(claims LazyClaims[FR], proof Proof[FR], opts ...VerifyOption[FR]) error + type VerifyOption func(c *verifyCfg[FR]) error + func WithBaseChallenges[FR emulated.FieldParams](baseChallenges []*emulated.Element[FR]) VerifyOption[FR] Other modules containing this package github.com/danivilardell/gnark/v2