Prover/splitter compiler (#74)

* ignore queries over the eligible columns * adding the constraints * fix the golangci-lint error * organizing the package * adding a missing verifier check * support shifted version of verifier columns * adding a test case for verifier columns * readding the old splitter
Consensys · Oct 15, 2024 · 915cd4d · 915cd4d
1 parent c186d66
commit 915cd4d
Show file tree

Hide file tree

Showing 13 changed files with 1,225 additions and 343 deletions.
diff --git a/prover/protocol/column/verifiercol/expand_verifcol.go b/prover/protocol/column/verifiercol/expand_verifcol.go
@@ -52,7 +52,6 @@ func (ex ExpandedVerifCol) GetColAssignment(run ifaces.Runtime) ifaces.ColAssign
 
 // GetColAssignment returns a gnark assignment of the current column
 func (ex ExpandedVerifCol) GetColAssignmentGnark(run ifaces.GnarkRuntime) []frontend.Variable {
-
 	assi := ex.Verifiercol.GetColAssignmentGnark(run)
 	res := make([]frontend.Variable, ex.Size())
 	for i := 0; i < len(assi); i++ {

diff --git a/prover/protocol/compiler/splitter/splitter/stitcher/stitcher_test.go b/prover/protocol/compiler/splitter/splitter/stitcher/stitcher_test.go
diff --git a/...ocol/compiler/splitter/splitter/common.go → .../protocol/compiler/stitch_split/common.go b/...ocol/compiler/splitter/splitter/common.go → .../protocol/compiler/stitch_split/common.go