Merge branch 'refactor/cleanupplonkprover' of github.com:ConsenSys/gn…

…ark into refactor/cleanupplonkprover
Consensys · Oct 11, 2023 · 66f36b0 · 66f36b0
2 parents c0aa7e7 + 7a60c8d
commit 66f36b0
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 48 deletions.
diff --git a/backend/plonk/bls12-377/prove.go b/backend/plonk/bls12-377/prove.go
diff --git a/backend/plonk/bls12-381/prove.go b/backend/plonk/bls12-381/prove.go
diff --git a/backend/plonk/bls24-315/prove.go b/backend/plonk/bls24-315/prove.go
diff --git a/backend/plonk/bls24-317/prove.go b/backend/plonk/bls24-317/prove.go
diff --git a/backend/plonk/bn254/prove.go b/backend/plonk/bn254/prove.go
diff --git a/backend/plonk/bw6-633/prove.go b/backend/plonk/bw6-633/prove.go
diff --git a/backend/plonk/bw6-761/prove.go b/backend/plonk/bw6-761/prove.go
diff --git a/internal/generator/backend/template/zkpschemes/plonk/plonk.prove.go.tmpl b/internal/generator/backend/template/zkpschemes/plonk/plonk.prove.go.tmpl
@@ -306,8 +306,7 @@ func (s *instance) bsb22Hint(commDepth int) solver.Hint {
 			return err
 		}
 		s.cCommitments[commDepth] = iop.NewPolynomial(&committedValues, iop.Form{Basis: iop.Lagrange, Layout: iop.Regular})
-		s.cCommitments[commDepth].ToCanonical(&s.pk.Domain[0]).ToRegular()
-		if s.proof.Bsb22Commitments[commDepth], err = kzg.Commit(s.cCommitments[commDepth].Coefficients(), s.pk.Kzg); err != nil {
+		if s.proof.Bsb22Commitments[commDepth], err = kzg.Commit(s.cCommitments[commDepth].Coefficients(), s.pk.KzgLagrange); err != nil {
 			return err
 		}
 		if hashRes, err = fr.Hash(s.proof.Bsb22Commitments[commDepth].Marshal(), []byte("BSB22-Plonk"), 1); err != nil {
@@ -762,10 +761,6 @@ func (s *instance) batchOpening() error {
 	case <-s.chLinearizedPolynomial:
 	}
 
-	// PrintState(*s.x[id_L])
-	// PrintState(*s.x[id_R])
-	// PrintState(*s.x[id_O])
-
 	polysToOpen[0] = s.foldedH
 	polysToOpen[1] = s.linearizedPolynomial
 	polysToOpen[2] = getBlindedCoefficients(s.x[id_L], s.bp[id_Bl])