Implementation of Daira reduction

Cargo.toml

@@ -48,6 +48,10 @@ harness = false
 name = "tweedledee_base"
 harness = false
 
+[[bench]]
+name = "tweedledum_base"
+harness = false
+
 [[bench]]
 name = "bls12_g1"
 harness = false
@@ -66,6 +70,10 @@ harness = false
 
 [profile.release]
 opt-level = 3
+lto = "fat"
+codegen-units = 1
 
 [profile.bench]
 opt-level = 3
+lto = "fat"
+codegen-units = 1

benches/tweedledum_base.rs

@@ -0,0 +1,37 @@
+use criterion::{black_box, Criterion};
+use criterion::criterion_group;
+use criterion::criterion_main;
+
+use plonky::{Field, TweedledumBase};
+
+fn criterion_benchmark(c: &mut Criterion) {
+    let x = TweedledumBase::from_canonical([11111111, 22222222, 33333333, 44444444]);
+    let y = TweedledumBase::from_canonical([44444444, 55555555, 66666666, 77777777]);
+
+    c.bench_function("TweedledumBase field addition", move |b| b.iter(|| {
+        black_box(y) + black_box(x)
+    }));
+
+    c.bench_function("TweedledumBase field subtraction (no underflow)", move |b| b.iter(|| {
+        black_box(y) - black_box(x)
+    }));
+
+    c.bench_function("TweedledumBase field subtraction (underflow)", move |b| b.iter(|| {
+        black_box(x) - black_box(y)
+    }));
+
+    c.bench_function("TweedledumBase field multiplication", move |b| b.iter(|| {
+        black_box(x) * black_box(y)
+    }));
+
+    c.bench_function("TweedledumBase field squaring", move |b| b.iter(|| {
+        black_box(x).square()
+    }));
+
+    c.bench_function("TweedledumBase field inversion", move |b| b.iter(|| {
+        black_box(x).multiplicative_inverse()
+    }));
+}
+
+criterion_group!(benches, criterion_benchmark);
+criterion_main!(benches);

src/curve/tweedledee_curve.rs

@@ -21,10 +21,10 @@ impl Curve for Tweedledee {
 impl HaloCurve for Tweedledee {
     const ZETA: Self::BaseField = TweedledeeBase {
         limbs: [
-            1444470991491022206,
-            3301226169728360777,
-            72516509137424193,
-            708688398506307241,
+            4869731214443914493,
+            7624468717990391489,
+            9776623610414440446,
+            3946962219815967320
         ],
     };
     const ZETA_SCALAR: Self::ScalarField = TweedledumBase {

src/curve/tweedledum_curve.rs

@@ -44,10 +44,10 @@ impl HaloCurve for Tweedledum {
     };
     const ZETA_SCALAR: Self::ScalarField = TweedledeeBase {
         limbs: [
-            9282944046338294407,
-            16421485501699768486,
-            18374227564572127422,
-            3902997619921080662,
+            4654449422605769475,
+            11077468875262875656,
+            8670120463295111169,
+            664723798611420583
         ]
     };
 }