Merge pull request #237 from ConsenSys/ccs-get-constraints

feat: added ccs.GetConstraints
Consensys · Jan 24, 2022 · 2738738 · 2738738
2 parents d3eb384 + 80f480d
commit 2738738
Show file tree

Hide file tree

Showing 16 changed files with 806 additions and 0 deletions.
diff --git a/frontend/ccs.go b/frontend/ccs.go
@@ -48,4 +48,7 @@ type CompiledConstraintSystem interface {
 	GetCounters() []compiled.Counter
 
 	GetSchema() *schema.Schema
+
+	// GetConstraints return a human readable representation of the constraints
+	GetConstraints() [][]string
 }
diff --git a/internal/backend/bls12-377/cs/r1cs.go b/internal/backend/bls12-377/cs/r1cs.go
diff --git a/internal/backend/bls12-377/cs/r1cs_sparse.go b/internal/backend/bls12-377/cs/r1cs_sparse.go
diff --git a/internal/backend/bls12-381/cs/r1cs.go b/internal/backend/bls12-381/cs/r1cs.go
diff --git a/internal/backend/bls12-381/cs/r1cs_sparse.go b/internal/backend/bls12-381/cs/r1cs_sparse.go
diff --git a/internal/backend/bls24-315/cs/r1cs.go b/internal/backend/bls24-315/cs/r1cs.go