feat: interpolate columns

zksecurity · Dec 18, 2024 · 5c9b12d · 5c9b12d
1 parent 661d7a8
commit 5c9b12d
Show file tree

Hide file tree

Showing 6 changed files with 558 additions and 202 deletions.
diff --git a/crates/prover/src/core/backend/cpu/circle.rs b/crates/prover/src/core/backend/cpu/circle.rs
@@ -220,7 +220,7 @@ fn fft_layer_loop(
 /// Computes the circle twiddles layer (layer 0) from the first line twiddles layer (layer 1).
 ///
 /// Only works for line twiddles generated from a domain with size `>4`.
-fn circle_twiddles_from_line_twiddles(
+pub fn circle_twiddles_from_line_twiddles(
     first_line_twiddles: &[BaseField],
 ) -> impl Iterator<Item = BaseField> + '_ {
     // The twiddles for layer 0 can be computed from the twiddles for layer 1.