GetHintID returns the derived hint ID from the hint function reference.

GetHintName returns the derived hint name from the hint function reference.

GetRegisteredHints returns all registered hint functions.

InvZeroHint computes the value 1/a for the single input a.

NewConfig returns a default SolverConfig with given prover options opts applied.

OverrideHint forces the solver to use provided hint function for given id.

RegisterHint registers a hint function in the global registry.

WithHints is a solver option that specifies additional hint functions to be used by the constraint solver.

WithLogger is a prover option that specifies zerolog.Logger as a destination for the logs printed by api.Println().

WithNbTasks sets the number of parallel workers to use for the solver.

Config is the configuration for the solver with the options applied.

Hint allows to define computations outside of a circuit.

HintID is a unique identifier for a hint function used for lookup.

Option defines option for altering the behavior of a constraint system solver (Solve() method).