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

Method ToFirstLayer

ecgo/builder/builder.go:251–255  ·  view source on GitHub ↗

ToFirstLayer adds a hint to the target variable to bring it to the first layer.

(v frontend.Variable)

Source from the content-addressed store, hash-verified

249
250// ToFirstLayer adds a hint to the target variable to bring it to the first layer.
251func (builder *builder) ToFirstLayer(v frontend.Variable) frontend.Variable {
252 x, _ := builder.NewHint(IdentityHint, 1, v)
253 builder.AssertIsEqual(x[0], v)
254 return x[0]
255}
256
257// Defer adds a callback function to the defer list to be processed later.
258func (builder *builder) Defer(cb func(frontend.API) error) {

Callers

nothing calls this directly

Calls 2

NewHintMethod · 0.95
AssertIsEqualMethod · 0.95

Tested by

no test coverage detected