Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

abstractor

package

Go to main page

Versions in this module

v1

v1.1.0

Aug 31, 2023

Changes in this version

+ func CallGadget(api frontend.API, circuit GadgetDefinition) []frontend.Variable

v1.0.0

Jul 31, 2023

Changes in this version

+ func Concretize(api frontend.API, circuit Circuit) error

+ type API interface

+ Call func(gadget GadgetDefinition) []frontend.Variable

+ DefineGadget func(gadget GadgetDefinition) Gadget

+ type Circuit interface

+ AbsDefine func(api API) error

+ type ConcreteGadget struct

+ func (g *ConcreteGadget) Call(gadget GadgetDefinition) []frontend.Variable

+ type Concretizer struct

+ func (c *Concretizer) Add(i1, i2 frontend.Variable, in ...frontend.Variable) frontend.Variable

+ func (c *Concretizer) And(a, b frontend.Variable) frontend.Variable

+ func (c *Concretizer) AssertIsBoolean(i1 frontend.Variable)

+ func (c *Concretizer) AssertIsDifferent(i1, i2 frontend.Variable)

+ func (c *Concretizer) AssertIsEqual(i1, i2 frontend.Variable)

+ func (c *Concretizer) AssertIsLessOrEqual(v frontend.Variable, bound frontend.Variable)

+ func (c *Concretizer) Call(gadget GadgetDefinition) []frontend.Variable

+ func (c *Concretizer) Cmp(i1, i2 frontend.Variable) frontend.Variable

+ func (c *Concretizer) Compiler() frontend.Compiler

+ func (c *Concretizer) ConstantValue(v frontend.Variable) (*big.Int, bool)

+ func (c *Concretizer) DefineGadget(gadget GadgetDefinition) Gadget

+ func (c *Concretizer) Div(i1, i2 frontend.Variable) frontend.Variable

+ func (c *Concretizer) DivUnchecked(i1, i2 frontend.Variable) frontend.Variable

+ func (c *Concretizer) FromBinary(b ...frontend.Variable) frontend.Variable

+ func (c *Concretizer) Inverse(i1 frontend.Variable) frontend.Variable

+ func (c *Concretizer) IsZero(i1 frontend.Variable) frontend.Variable

+ func (c *Concretizer) Lookup2(b0, b1 frontend.Variable, i0, i1, i2, i3 frontend.Variable) frontend.Variable

+ func (c *Concretizer) Mul(i1, i2 frontend.Variable, in ...frontend.Variable) frontend.Variable

+ func (c *Concretizer) MulAcc(a, b, c_ frontend.Variable) frontend.Variable

+ func (c *Concretizer) Neg(i1 frontend.Variable) frontend.Variable

+ func (c *Concretizer) NewHint(f hint.Function, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error)

+ func (c *Concretizer) Or(a, b frontend.Variable) frontend.Variable

+ func (c *Concretizer) Println(a ...frontend.Variable)

+ func (c *Concretizer) Select(b frontend.Variable, i1, i2 frontend.Variable) frontend.Variable

+ func (c *Concretizer) Sub(i1, i2 frontend.Variable, in ...frontend.Variable) frontend.Variable

+ func (c *Concretizer) ToBinary(i1 frontend.Variable, n ...int) []frontend.Variable

+ func (c *Concretizer) Xor(a, b frontend.Variable) frontend.Variable

+ type Gadget interface

+ Call func(gadget GadgetDefinition) []frontend.Variable

+ type GadgetDefinition interface

+ DefineGadget func(api API) []frontend.Variable

Other modules containing this package

github.com/reilabs/gnark-lean-extractor/v2