circuitcompiler

type Circuit struct {
	NVars         int
	NPublic       int
	NSignals      int
	PrivateInputs []string
	PublicInputs  []string
	Signals       []string
	Witness       []*big.Int
	Constraints   []Constraint
	R1CS          struct {
		A [][]*big.Int
		B [][]*big.Int
		C [][]*big.Int
	}
}

type Constraint struct {
	// v1 op v2 = out
	Op      string
	V1      string
	V2      string
	Out     string
	Literal string

	PrivateInputs []string // in func declaration case
	PublicInputs  []string // in func declaration case
}

type Inputs struct {
	Private []*big.Int
	Public  []*big.Int
}

type OperatorSymbol int

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

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

type Token int