compiled

type LinearExpression []Term

type LogEntry struct {
	Format    string
	ToResolve []int
}

type R1C struct {
	L      LinearExpression
	R      LinearExpression
	O      LinearExpression
	Solver SolvingMethod
}

type R1CS struct {
	// Wires
	NbInternalVariables int
	NbPublicVariables   int // includes ONE wire
	NbSecretVariables   int
	Logs                []LogEntry
	DebugInfo           []LogEntry

	// Constraints
	NbConstraints   int // total number of constraints
	NbCOConstraints int // number of constraints that need to be solved, the first of the Constraints slice
	Constraints     []R1C
}

type SolvingMethod uint8

type SparseR1C struct {
	L, R, O Term
	M       [2]Term
	K       int // stores only the ID of the constant term that is used
	Solver  SolvingMethod
}

type SparseR1CS struct {

	// Variables [publicVariables| secretVariables | internalVariables ]
	NbInternalVariables int
	NbPublicVariables   int
	NbSecretVariables   int

	// Constraints
	Constraints []SparseR1C // list of PLONK constraints that yield an output (for example v3 == v1 * v2, return v3)
	Assertions  []SparseR1C // list of PLONK constraints that yield no output (for example ensuring v1 == v2)

	// Logs (e.g. variables that have been printed using cs.Println)
	Logs []LogEntry
}

type Term uint64

type Visibility uint8