[chore] update rust toolchain to 1.76 nightly

Cargo.toml

@@ -3,6 +3,7 @@ members = [
     "snark-verifier",
     "snark-verifier-sdk",
 ]
+resolver = "2"
 
 [profile.dev]
 opt-level = 3

rust-toolchain

@@ -1 +1 @@
-nightly-2022-12-10
+nightly-2023-12-03

snark-verifier-sdk/Cargo.toml

@@ -5,8 +5,7 @@ edition = "2021"
 
 [dependencies]
 log = "0.4"
-itertools = "0.10.3"
-lazy_static = "1.4.0"
+itertools = "0.12"
 num-bigint = "0.4.3"
 num-integer = "0.1.45"
 num-traits = "0.2.15"

snark-verifier-sdk/src/lib.rs

@@ -1,3 +1,5 @@
+#![feature(lazy_cell)]
+
 #[cfg(feature = "loader_evm")]
 mod evm_api;
 #[cfg(feature = "loader_halo2")]

snark-verifier-sdk/src/types.rs

@@ -2,20 +2,19 @@
 
 use super::{BITS, LIMBS};
 use halo2_base::halo2_proofs::halo2curves::bn256::{Bn256, Fr, G1Affine};
-use lazy_static::lazy_static;
 use snark_verifier::{
     loader::halo2::{halo2_ecc::ecc::BaseFieldEccChip as EccChip, Halo2Loader as Loader},
     pcs::kzg::{
         Bdfg21, Kzg, KzgAs as KzgAccumulationScheme, KzgSuccinctVerifyingKey, LimbsEncoding,
     },
     verifier, PoseidonSpec,
 };
+use std::sync::LazyLock;
 
 use crate::param::{RATE, R_F, R_P, T};
 
-lazy_static! {
-    pub static ref POSEIDON_SPEC: PoseidonSpec<Fr, T, RATE> = PoseidonSpec::new(R_F, R_P);
-}
+pub static POSEIDON_SPEC: LazyLock<PoseidonSpec<Fr, T, RATE>> =
+    LazyLock::new(|| PoseidonSpec::new(R_F, R_P));
 
 /// Transcript instantiated with Poseidon
 pub type PoseidonTranscript<L, S> =

snark-verifier/Cargo.toml

@@ -4,8 +4,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-itertools = "0.10.3"
-lazy_static = "1.4.0"
+itertools = "0.12"
 num-bigint = "0.4.3"
 num-integer = "0.1.45"
 num-traits = "0.2.15"
@@ -21,7 +20,7 @@ poseidon-axiom = { git = "https://github.com/axiom-crypto/halo2.git", branch = "
 poseidon = { git = "https://github.com/privacy-scaling-explorations/poseidon", optional = true }
 
 # parallel
-rayon = { version = "1.5.3", optional = true }
+rayon = { version = "1.8", optional = true }
 
 # loader_evm
 ethereum-types = { version = "0.14", default-features = false, features = ["std"], optional = true }

snark-verifier/src/lib.rs

@@ -1,3 +1,4 @@
+#![feature(lazy_cell)]
 //! Generic (S)NARK verifier.
 #![allow(clippy::type_complexity)]
 #![allow(clippy::too_many_arguments)]

snark-verifier/src/loader/native.rs

@@ -4,14 +4,12 @@ use crate::{
     util::arithmetic::{Curve, CurveAffine, FieldOps, PrimeField},
     Error,
 };
-use lazy_static::lazy_static;
 use std::fmt::Debug;
+use std::sync::LazyLock;
 
-lazy_static! {
-    /// NativeLoader instance for [`LoadedEcPoint::loader`] and
-    /// [`LoadedScalar::loader`] referencing.
-    pub static ref LOADER: NativeLoader = NativeLoader;
-}
+/// NativeLoader instance for [`LoadedEcPoint::loader`] and
+/// [`LoadedScalar::loader`] referencing.
+pub static LOADER: LazyLock<NativeLoader> = LazyLock::new(|| NativeLoader);
 
 /// `Loader` implementation in native rust.
 #[derive(Clone, Debug)]