abstractor

Documentation

Index

• func CallGadget(api frontend.API, circuit GadgetDefinition) []frontend.Variable
• func Concretize(api frontend.API, circuit Circuit) error
• type API
• type Circuit
• type ConcreteGadget
  • func (g *ConcreteGadget) Call(gadget GadgetDefinition) []frontend.Variable
• type Concretizer
  • 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
• type GadgetDefinition

Functions

func CallGadget

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

func Concretize

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

Types

type API

type API interface {
	frontend.API
	DefineGadget(gadget GadgetDefinition) Gadget

	frontend.API
	Call(gadget GadgetDefinition) []frontend.Variable
}

type Circuit

type Circuit interface {
	frontend.Circuit
	AbsDefine(api API) error
}

type ConcreteGadget

type ConcreteGadget struct {
	// contains filtered or unexported fields
}

func (*ConcreteGadget) Call

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

type Concretizer

type Concretizer struct {
	// contains filtered or unexported fields
}

func (*Concretizer) Add

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

func (*Concretizer) And

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

func (*Concretizer) AssertIsBoolean

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

func (*Concretizer) AssertIsDifferent

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

func (*Concretizer) AssertIsEqual

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

func (*Concretizer) AssertIsLessOrEqual

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

func (*Concretizer) Call

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

func (*Concretizer) Cmp

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

func (*Concretizer) Compiler

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

func (*Concretizer) ConstantValue

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

func (*Concretizer) DefineGadget

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

func (*Concretizer) Div

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

func (*Concretizer) DivUnchecked

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

func (*Concretizer) FromBinary

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

func (*Concretizer) Inverse

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

func (*Concretizer) IsZero

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

func (*Concretizer) Lookup2

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

func (*Concretizer) Mul

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

func (*Concretizer) MulAcc

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

func (*Concretizer) Neg

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

func (*Concretizer) NewHint

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

func (*Concretizer) Or

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

func (*Concretizer) Println

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

func (*Concretizer) Select

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

func (*Concretizer) Sub

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

func (*Concretizer) ToBinary

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

func (*Concretizer) Xor

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

type Gadget

type Gadget interface {
	Call(gadget GadgetDefinition) []frontend.Variable
}

type GadgetDefinition

type GadgetDefinition interface {
	DefineGadget(api API) []frontend.Variable
}