perf, feat, refactor: improve some plonk primitives (#456)

* feat: iop.Evaluate now takes buffer for result * feat: add cobra bit reverse * experiment: generate code for CobraInPlace * unroll not good * fix previous commit * refactor: simplify some expressions in bitReverse * style: cleaning up the PR * build: gofmt stuff * feat: iop.Expression takes row as param too * feat: ToLagrange and ToCanonical takes nbTask to use for FFT in param * feat: moved ecc/fr/kzg -> ecc/kzg * feat: addition of srs conversion canonical->lagrange bls12377 * feat: code gen for kzg srs conversion canonical->lagrange * feat: special type for srs in Lagrange * feat: commit srs Lagrange, test ok * fix: fixed import kzg * refactor: wip * checkpoint * add TODO * clean: remove kzg.ProvingKey.Clone() * fix: edge case in compute twiddles * style: cleaned comment for canonical -> lagrange transfo --------- Co-authored-by: Thomas Piellard <[email protected]>
Consensys · Oct 12, 2023 · 2065441 · 2065441
1 parent da0317f
commit 2065441
Show file tree

Hide file tree

Showing 163 changed files with 3,826 additions and 501 deletions.
diff --git a/ecc/bls12-377/fr/fft/domain.go b/ecc/bls12-377/fr/fft/domain.go
diff --git a/ecc/bls12-377/fr/generator.go b/ecc/bls12-377/fr/generator.go
diff --git a/ecc/bls12-377/fr/iop/expressions.go b/ecc/bls12-377/fr/iop/expressions.go
diff --git a/ecc/bls12-377/fr/iop/expressions_test.go b/ecc/bls12-377/fr/iop/expressions_test.go
diff --git a/ecc/bls12-377/fr/iop/polynomial.go b/ecc/bls12-377/fr/iop/polynomial.go
diff --git a/ecc/bls12-377/fr/iop/quotient_test.go b/ecc/bls12-377/fr/iop/quotient_test.go
diff --git a/ecc/bls12-377/fr/permutation/permutation.go b/ecc/bls12-377/fr/permutation/permutation.go
diff --git a/ecc/bls12-377/fr/permutation/permutation_test.go b/ecc/bls12-377/fr/permutation/permutation_test.go
diff --git a/ecc/bls12-377/fr/plookup/plookup_test.go b/ecc/bls12-377/fr/plookup/plookup_test.go
diff --git a/ecc/bls12-377/fr/plookup/table.go b/ecc/bls12-377/fr/plookup/table.go
diff --git a/ecc/bls12-377/fr/plookup/vector.go b/ecc/bls12-377/fr/plookup/vector.go
diff --git a/ecc/bls12-377/fr/kzg/doc.go → ecc/bls12-377/kzg/doc.go b/ecc/bls12-377/fr/kzg/doc.go → ecc/bls12-377/kzg/doc.go
diff --git a/ecc/bls12-377/fr/kzg/kzg.go → ecc/bls12-377/kzg/kzg.go b/ecc/bls12-377/fr/kzg/kzg.go → ecc/bls12-377/kzg/kzg.go