MCPcopy Create free account
hub / github.com/PolyhedraZK/ExpanderCompilerCollection / NewHint

Method NewHint

ecgo/builder/builder.go:199–201  ·  view source on GitHub ↗

NewHint initializes internal variables whose value will be evaluated using the provided hint function at run time from the inputs. Inputs must be either variables or convertible to *big.Int. The function returns an error if the number of inputs is not compatible with f. The hint function is provide

(f solver.Hint, nbOutputs int, inputs ...frontend.Variable)

Source from the content-addressed store, hash-verified

197// No new constraints are added to the newly created wire and must be added
198// manually in the circuit. Failing to do so leads to solver failure.
199func (builder *builder) NewHint(f solver.Hint, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error) {
200 return builder.newHintForId(solver.GetHintID(f), nbOutputs, inputs)
201}
202
203// NewHintForId is not implemented and will panic if called.
204func (builder *builder) NewHintForId(id solver.HintID, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error) {

Callers 4

ToFirstLayerMethod · 0.95
RangeProofFunction · 0.80
FinalCheckFunction · 0.80
CheckMethod · 0.80

Calls 1

newHintForIdMethod · 0.95

Tested by

no test coverage detected