Import ceno-goldilocks main branch

Author: darth-cy

circ_blocks/Cargo.lock

@@ -28,7 +28,7 @@ zeroize = { version = "1", default-features = false, features = ["alloc"] }
 itertools = { version = "0.13", default-features = false }
 colored = { version = "2", default-features = false, optional = true }
 flate2 = { version = "1" }
-ceno-goldilocks = { git = "https://github.com/scroll-tech/ceno-Goldilocks.git", branch = "fix/crate-ready" }
+goldilocks = { git = "https://github.com/scroll-tech/ceno-Goldilocks" }
 ff = "0.13.0"
 
 [dev-dependencies]

spartan_parallel/Cargo.toml

@@ -1,6 +1,6 @@
 use super::SpartanExtensionField;
 use crate::{ProofTranscript, Transcript};
-use ceno_goldilocks::Goldilocks;
+use goldilocks::{Goldilocks, MODULUS as P};
 use core::borrow::Borrow;
 use core::iter::{Product, Sum};
 use core::ops::{Add, AddAssign, Mul, MulAssign, Sub, SubAssign};
@@ -11,11 +11,6 @@ use std::ops::Neg;
 use subtle::{Choice, ConditionallySelectable, ConstantTimeEq, CtOption};
 use zeroize::Zeroize;
 
-/// Constant representing the modulus
-/// q = 2^64 - 2^32 + 1
-/// 0xFFFFFFFF00000001
-const P: u64 = ceno_goldilocks::MODULUS;
-
 /// Field wrapper around base Goldilocks
 #[derive(Clone, Copy, Eq, Serialize, Deserialize, Hash, Debug)]
 pub struct Scalar(Goldilocks);

spartan_parallel/src/scalar/fp.rs

@@ -1,7 +1,7 @@
 use super::Scalar;
 use super::SpartanExtensionField;
 use crate::{AppendToTranscript, ProofTranscript, Transcript};
-use ceno_goldilocks::{ExtensionField, Goldilocks, GoldilocksExt2};
+use goldilocks::{ExtensionField, Goldilocks, GoldilocksExt2};
 use core::borrow::Borrow;
 use core::iter::{Product, Sum};
 use core::ops::{Add, AddAssign, Mul, MulAssign, Neg, Sub, SubAssign};

spartan_parallel/src/scalar/fp2.rs

@@ -1,7 +1,7 @@
 mod fp;
 mod fp2;
 
-use ceno_goldilocks::ExtensionField;
+use goldilocks::ExtensionField;
 use ff::Field;
 pub use fp::Scalar;
 pub use fp2::ScalarExt2;