chore: Improve and update dependencies

- Replaced standard HashMap with hashbrown's HashMap in `execute.rs` for optimization.
- Modified `prove` method in `StarkMachine` to take a new additional argument `opts` of type `SphinxCoreOpts`.
- Updated several dependencies branch references in `Cargo.toml` including changing `sphinx-core` to use `plonk-rebased` branch.

Companion PR of argumentcomputer/sphinx#72

Cargo.toml

@@ -8,19 +8,19 @@ edition = "2021"
 [workspace.dependencies]
 rayon = "1.10.0"
 itertools = "0.13.0"
-p3-air = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-baby-bear = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-field = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-matrix = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-mds = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-commit = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-challenger = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-maybe-rayon = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-poseidon2 = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-symmetric = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-uni-stark = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-p3-util = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1-new-tmp" }
-sphinx-core = { git = "ssh://git@github.com/lurk-lab/sphinx.git", branch = "dev-tmp"}
+p3-air = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-baby-bear = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-field = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-matrix = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-mds = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-commit = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-challenger = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-maybe-rayon = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-poseidon2 = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-symmetric = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-uni-stark = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+p3-util = { git = "https://github.com/lurk-lab/Plonky3.git", branch = "sp1" }
+sphinx-core = { git = "ssh://git@github.com/lurk-lab/sphinx.git", branch = "plonk-rebased"}
 anyhow = "1.0.72"
 arc-swap = "1.7.1"
 base-x = "0.2.11"
@@ -42,6 +42,7 @@ serde_json = "1.0"
 thiserror = "1.0.44"
 hybrid-array = "0.2.0-rc"
 lazy_static = "1.4.0"
+hashbrown = "0.14.5"
 
 [dependencies]
 anyhow = { workspace = true }
@@ -77,6 +78,7 @@ p3-poseidon2 = { workspace = true }
 p3-symmetric = { workspace = true }
 p3-util = { workspace = true }
 sphinx-core = { workspace = true }
+hashbrown = { workspace = true }
 
 [dev-dependencies]
 criterion = { workspace = true }

src/lair/execute.rs

@@ -1,8 +1,8 @@
 use fxhash::FxBuildHasher;
+use hashbrown::HashMap;
 use indexmap::IndexMap;
 use p3_field::{AbstractField, Field, PrimeField};
 use sphinx_core::stark::{Indexed, MachineRecord};
-use std::collections::HashMap;
 use std::slice::Iter;
 
 use super::{

src/lair/lair_chip.rs

@@ -142,7 +142,7 @@ mod tests {
 
     use crate::lair::execute::QueryRecord;
     use p3_baby_bear::BabyBear;
-    use sphinx_core::stark::{LocalProver, StarkGenericConfig, StarkMachine};
+    use sphinx_core::{stark::{LocalProver, StarkGenericConfig, StarkMachine}, utils::SphinxCoreOpts};
     use sphinx_core::utils::BabyBearPoseidon2;
 
     #[test]
@@ -171,7 +171,8 @@ mod tests {
         let mut challenger_p = machine.config().challenger();
         let mut challenger_v = machine.config().challenger();
         machine.debug_constraints(&pk, queries.clone(), &mut challenger_p.clone());
-        let proof = machine.prove::<LocalProver<_, _>>(&pk, queries, &mut challenger_p);
+        let opts = SphinxCoreOpts::default();
+        let proof = machine.prove::<LocalProver<_, _>>(&pk, queries, &mut challenger_p, opts);
         machine
             .verify(&vk, &proof, &mut challenger_v)
             .expect("proof verifies");