add comment

lambdaclass · Oct 25, 2024 · fc68bea · fc68bea
1 parent c7cfd8f
commit fc68bea
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/math/src/circle/point.rs b/math/src/circle/point.rs
@@ -48,6 +48,8 @@ impl HasCircleParams<Mersenne31Field> for Mersenne31Field {
 impl HasCircleParams<Degree4ExtensionField> for Degree4ExtensionField {
     type FE = FieldElement<Degree4ExtensionField>;
 
+    // These parameters were taken from stwo's implementation:
+    // https://github.com/starkware-libs/stwo/blob/9cfd48af4e8ac5dd67643a92927c894066fa989c/crates/prover/src/core/circle.rs
     const CIRCLE_GENERATOR_X: Self::FE =
         Degree4ExtensionField::const_from_coefficients(1, 0, 478637715, 513582971);