irwg

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

type Instruction struct {
	Type        InstructionType
	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
}

type Witness struct {
	NumWitnesses              int
	NumInputsPerWitness       int
	NumPublicInputsPerWitness int
	Field                     *big.Int
	Values                    []*big.Int
}