Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + var Gates = map[string]Gate + func ChallengeNames(sorted []*Wire, logNbInstances int, prefix string) []string + func ProofSize(c Circuit, logNbInstances int) int + func ProveHintPlaceholder(*big.Int, []*big.Int, []*big.Int) error + func SolveHintPlaceholder(*big.Int, []*big.Int, []*big.Int) error + func Verify(api frontend.API, c Circuit, assignment WireAssignment, proof Proof, ...) error + type API struct + func NewApi() *API + func (api *API) Add(i1, i2 constraint.GkrVariable, in ...constraint.GkrVariable) constraint.GkrVariable + func (api *API) Import(assignment []frontend.Variable) (constraint.GkrVariable, error) + func (api *API) Mul(i1, i2 constraint.GkrVariable, in ...constraint.GkrVariable) constraint.GkrVariable + func (api *API) NamedGate(gate string, in ...constraint.GkrVariable) constraint.GkrVariable + func (api *API) Neg(i1 constraint.GkrVariable) constraint.GkrVariable + func (api *API) Println(a ...constraint.GkrVariable) + func (api *API) Series(input, output constraint.GkrVariable, inputInstance, outputInstance int) *API + func (api *API) Solve(parentApi frontend.API) (Solution, error) + func (api *API) Sub(i1, i2 constraint.GkrVariable, in ...constraint.GkrVariable) constraint.GkrVariable + type AddGate struct + func (a AddGate) Degree() int + func (a AddGate) Evaluate(api frontend.API, v ...frontend.Variable) frontend.Variable + type Circuit []Wire + type Gate interface + Degree func() int + Evaluate func(frontend.API, ...frontend.Variable) frontend.Variable + type IdentityGate struct + func (IdentityGate) Degree() int + func (IdentityGate) Evaluate(_ frontend.API, input ...frontend.Variable) frontend.Variable + type MulGate struct + func (g MulGate) Degree() int + func (g MulGate) Evaluate(api frontend.API, x ...frontend.Variable) frontend.Variable + type Option func(*settings) + func WithSortedCircuit(sorted []*Wire) Option + type Proof []sumcheck.Proof + func DeserializeProof(sorted []*Wire, serializedProof []frontend.Variable) (Proof, error) + func (p Proof) Serialize() []frontend.Variable + type Solution struct + func (s Solution) Export(v frontend.Variable) []frontend.Variable + func (s Solution) Verify(hashName string, initialChallenges ...frontend.Variable) error + type Wire struct + Gate Gate + Inputs []*Wire + func (w Wire) IsInput() bool + func (w Wire) IsOutput() bool + func (w Wire) NbClaims() int + type WireAssignment map[*Wire]polynomial.MultiLin + func (a WireAssignment) NumInstances() int + func (a WireAssignment) NumVars() int