Versions in this module Expand all Collapse all v0 v0.8.2 Feb 4, 2023 v0.7.2 Feb 4, 2023 Changes in this version + const Binary + const JSON + var ErrCompilationNotDeterministic = errors.New("compilation is not deterministic") + var ErrInvalidWitnessSolvedCS = errors.New("invalid witness solved the constraint system") + var ErrInvalidWitnessVerified = errors.New("invalid witness resulted in a valid proof") + func IsSolved(circuit, witness frontend.Circuit, curveID ecc.ID, b backend.ID, ...) (err error) + func NewKZGSRS(ccs frontend.CompiledConstraintSystem) (kzg.SRS, error) + type Assert struct + func NewAssert(t *testing.T) *Assert + func (assert *Assert) Fuzz(circuit frontend.Circuit, fuzzCount int, opts ...TestingOption) + func (assert *Assert) GetCounters(circuit frontend.Circuit, opts ...TestingOption) []compiled.Counter + func (assert *Assert) Log(v ...interface{}) + func (assert *Assert) ProverFailed(circuit frontend.Circuit, invalidAssignment frontend.Circuit, ...) + func (assert *Assert) ProverSucceeded(circuit frontend.Circuit, validAssignment frontend.Circuit, ...) + func (assert *Assert) Run(fn func(assert *Assert), descs ...string) + func (assert *Assert) SolvingFailed(circuit frontend.Circuit, invalidWitness frontend.Circuit, ...) + func (assert *Assert) SolvingSucceeded(circuit frontend.Circuit, validWitness frontend.Circuit, opts ...TestingOption) + type TestingOption func(*testingConfig) error + func NoSerialization() TestingOption + func WithBackends(b backend.ID, backends ...backend.ID) TestingOption + func WithCompileOpts(compileOpts ...frontend.CompileOption) TestingOption + func WithCurves(c ecc.ID, curves ...ecc.ID) TestingOption + func WithProverOpts(proverOpts ...backend.ProverOption) TestingOption
Go to main page