irsource

type Circuit struct {
	Instructions []Instruction
	Constraints  []Constraint
	Outputs      []int
	NumInputs    int
}

type Constraint struct {
	Typ ConstraintType
	Var int
}

type ConstraintType = int

type Instruction struct {
	Type        InstructionType
	X           int
	Y           int
	Inputs      []int
	NumOutputs  int
	ExtraId     uint64
	LinCombCoef []constraint.Element
	Const       constraint.Element
}

type InstructionType = int

type RootCircuit struct {
	NumPublicInputs         int
	ExpectedNumOutputZeroes int
	Circuits                map[uint64]*Circuit
	Field                   field.Field
}