fix: fixed Lagrange polynomials construction (#389)

Consensys · Nov 18, 2022 · 34fd380 · 34fd380
1 parent f489cc4
commit 34fd380
Show file tree

Hide file tree

Showing 17 changed files with 161 additions and 66 deletions.
diff --git a/internal/backend/bls12-377/plonkfri/prove.go b/internal/backend/bls12-377/plonkfri/prove.go
diff --git a/internal/backend/bls12-377/plonkfri/verify.go b/internal/backend/bls12-377/plonkfri/verify.go
diff --git a/internal/backend/bls12-381/plonkfri/prove.go b/internal/backend/bls12-381/plonkfri/prove.go
diff --git a/internal/backend/bls12-381/plonkfri/verify.go b/internal/backend/bls12-381/plonkfri/verify.go
diff --git a/internal/backend/bls24-315/plonkfri/prove.go b/internal/backend/bls24-315/plonkfri/prove.go
diff --git a/internal/backend/bls24-315/plonkfri/verify.go b/internal/backend/bls24-315/plonkfri/verify.go
diff --git a/internal/backend/bls24-317/plonkfri/prove.go b/internal/backend/bls24-317/plonkfri/prove.go
diff --git a/internal/backend/bls24-317/plonkfri/verify.go b/internal/backend/bls24-317/plonkfri/verify.go
diff --git a/internal/backend/bn254/plonkfri/prove.go b/internal/backend/bn254/plonkfri/prove.go
diff --git a/internal/backend/bn254/plonkfri/verify.go b/internal/backend/bn254/plonkfri/verify.go
diff --git a/internal/backend/bw6-633/plonkfri/prove.go b/internal/backend/bw6-633/plonkfri/prove.go
diff --git a/internal/backend/bw6-633/plonkfri/verify.go b/internal/backend/bw6-633/plonkfri/verify.go
diff --git a/internal/backend/bw6-761/plonkfri/prove.go b/internal/backend/bw6-761/plonkfri/prove.go
diff --git a/internal/backend/bw6-761/plonkfri/verify.go b/internal/backend/bw6-761/plonkfri/verify.go
diff --git a/internal/generator/backend/template/zkpschemes/plonkfri/plonk.prove.go.tmpl b/internal/generator/backend/template/zkpschemes/plonkfri/plonk.prove.go.tmpl
@@ -209,9 +209,6 @@ func Prove(spr *cs.SparseR1CS, pk *ProvingKey, fullWitness {{ toLower .CurveID }
 	bOpeningPosition.SetBytes(frOpeningPosition.Marshal()).Mod(&bOpeningPosition, &bFriSize)
 	openingPosition := bOpeningPosition.Uint64()
 
-	// derive a query position, which is 0<=i<domain[1].Size
-	// openingPosition := uint64(2)
-
 	// ql, qr, qm, qo, qkIncomplete
 	proof.OpeningsQlQrQmQoQkincompletemp[0], err = pk.Vk.Iopp.Open(pk.CQl, openingPosition)
 	if err != nil {