feat: add debug.SymbolTable into constraint system for storage effici…

…ency of debug info (Consensys#421) * feat: add debug.SymbolTable into constraint system for storage efficiency of debug info * feat: solution takes symbol table only, limit stack size to 2 without debug * perf: don't store stack for assert boolean if no debug flag * fix: fix line number in Example output * fix: remove boolean trace test
vlasfama · Dec 21, 2022 · 24fe00b · 24fe00b
1 parent b3778b3
commit 24fe00b
Show file tree

Hide file tree

Showing 46 changed files with 414 additions and 165 deletions.
diff --git a/constraint/bls12-377/r1cs.go b/constraint/bls12-377/r1cs.go
diff --git a/constraint/bls12-377/r1cs_sparse.go b/constraint/bls12-377/r1cs_sparse.go
diff --git a/constraint/bls12-377/r1cs_test.go b/constraint/bls12-377/r1cs_test.go
diff --git a/constraint/bls12-377/solution.go b/constraint/bls12-377/solution.go
diff --git a/constraint/bls12-381/r1cs.go b/constraint/bls12-381/r1cs.go
diff --git a/constraint/bls12-381/r1cs_sparse.go b/constraint/bls12-381/r1cs_sparse.go
diff --git a/constraint/bls12-381/r1cs_test.go b/constraint/bls12-381/r1cs_test.go
diff --git a/constraint/bls12-381/solution.go b/constraint/bls12-381/solution.go
diff --git a/constraint/bls24-315/r1cs.go b/constraint/bls24-315/r1cs.go
diff --git a/constraint/bls24-315/r1cs_sparse.go b/constraint/bls24-315/r1cs_sparse.go
diff --git a/constraint/bls24-315/r1cs_test.go b/constraint/bls24-315/r1cs_test.go
diff --git a/constraint/bls24-315/solution.go b/constraint/bls24-315/solution.go
diff --git a/constraint/bls24-317/r1cs.go b/constraint/bls24-317/r1cs.go
diff --git a/constraint/bls24-317/r1cs_sparse.go b/constraint/bls24-317/r1cs_sparse.go
diff --git a/constraint/bls24-317/r1cs_test.go b/constraint/bls24-317/r1cs_test.go
diff --git a/constraint/bls24-317/solution.go b/constraint/bls24-317/solution.go
diff --git a/constraint/bn254/r1cs.go b/constraint/bn254/r1cs.go
diff --git a/constraint/bn254/r1cs_sparse.go b/constraint/bn254/r1cs_sparse.go
diff --git a/constraint/bn254/r1cs_test.go b/constraint/bn254/r1cs_test.go