Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + const SolcCheck + 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, field *big.Int, opts ...TestEngineOption) (err error) + type Assert struct + func NewAssert(t *testing.T) *Assert + func (a *Assert) Run(fn func(assert *Assert), descs ...string) + func (assert *Assert) CheckCircuit(circuit frontend.Circuit, opts ...TestingOption) + func (assert *Assert) Fuzz(circuit frontend.Circuit, fuzzCount int, opts ...TestingOption) + 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) SolvingFailed(circuit frontend.Circuit, invalidWitness frontend.Circuit, ...) + func (assert *Assert) SolvingSucceeded(circuit frontend.Circuit, validWitness frontend.Circuit, opts ...TestingOption) + type TestEngineOption func(e *engine) error + func SetAllVariablesAsConstants() TestEngineOption + func WithBackendProverOptions(opts ...backend.ProverOption) TestEngineOption + type TestingOption func(*testingConfig) error + func NoFuzzing() TestingOption + func NoProverChecks() TestingOption + func NoSerializationChecks() TestingOption + func NoSolidityChecks() TestingOption + func NoTestEngine() 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 WithInvalidAssignment(invalidAssignment frontend.Circuit) TestingOption + func WithProverOpts(proverOpts ...backend.ProverOption) TestingOption + func WithSolverOpts(solverOpts ...solver.Option) TestingOption + func WithValidAssignment(validAssignment frontend.Circuit) TestingOption + func WithVerifierOpts(verifierOpts ...backend.VerifierOption) TestingOption