chore: updated p3 dependency to 0.1.3 (succinctlabs#1059)

Co-authored-by: John Guibas <[email protected]>

.github/workflows/pr.yml

@@ -16,6 +16,7 @@ on:
  - "zkvm/**"
  - "tests/**"
  - "examples/**"
+ - "Cargo.toml"
  - ".github/workflows/**"
  merge_group:
 

Cargo.toml

@@ -30,28 +30,28 @@ debug = true
 debug-assertions = true
 
 [workspace.dependencies]
-p3-air = "0.1.2-succinct"
-p3-field = "0.1.2-succinct"
-p3-commit = "0.1.2-succinct"
-p3-matrix = "0.1.2-succinct"
-p3-baby-bear = { version ="0.1.2-succinct" , features = [
+p3-air = "0.1.3-succinct"
+p3-field = "0.1.3-succinct"
+p3-commit = "0.1.3-succinct"
+p3-matrix = "0.1.3-succinct"
+p3-baby-bear = { version ="0.1.3-succinct" , features = [
  "nightly-features",
 ] }
-p3-util = "0.1.2-succinct"
-p3-challenger = "0.1.2-succinct"
-p3-dft = "0.1.2-succinct"
-p3-fri = "0.1.2-succinct"
-p3-goldilocks = "0.1.2-succinct"
-p3-keccak = "0.1.2-succinct"
-p3-keccak-air = "0.1.2-succinct"
-p3-blake3 = "0.1.2-succinct"
-p3-mds = "0.1.2-succinct"
-p3-merkle-tree = "0.1.2-succinct"
-p3-poseidon2 = "0.1.2-succinct"
-p3-symmetric = "0.1.2-succinct"
-p3-uni-stark = "0.1.2-succinct"
-p3-maybe-rayon = "0.1.2-succinct"
-p3-bn254-fr = "0.1.2-succinct"
+p3-util = "0.1.3-succinct"
+p3-challenger = "0.1.3-succinct"
+p3-dft = "0.1.3-succinct"
+p3-fri = "0.1.3-succinct"
+p3-goldilocks = "0.1.3-succinct"
+p3-keccak = "0.1.3-succinct"
+p3-keccak-air = "0.1.3-succinct"
+p3-blake3 = "0.1.3-succinct"
+p3-mds = "0.1.3-succinct"
+p3-merkle-tree = "0.1.3-succinct"
+p3-poseidon2 = "0.1.3-succinct"
+p3-symmetric = "0.1.3-succinct"
+p3-uni-stark = "0.1.3-succinct"
+p3-maybe-rayon = "0.1.3-succinct"
+p3-bn254-fr = "0.1.3-succinct"
 
 
 # For local development. 

recursion/program/Cargo.toml

@@ -28,6 +28,7 @@ itertools = "0.13.0"
 serde = { version = "1.0.201", features = ["derive"] }
 rand = "0.8.5"
 tracing = "0.1.40"
+stacker = "0.1"
 
 [features]
 debug = ["sp1-core/debug"]

recursion/program/src/stark.rs

@@ -334,17 +334,19 @@ where
  quotient_domain.split_domains_const(builder, log_quotient_degree);
 
  // Verify the constraints.
- Self::verify_constraints(
- builder,
- chip,
- &values,
- proof.public_values.clone(),
- trace_domain,
- qc_domains,
- zeta,
- alpha,
- &permutation_challenges,
- );
+ stacker::maybe_grow(16 * 1024 * 1024, 16 * 1024 * 1024, || {
+ Self::verify_constraints(
+ builder,
+ chip,
+ &values,
+ proof.public_values.clone(),
+ trace_domain,
+ qc_domains,
+ zeta,
+ alpha,
+ &permutation_challenges,
+ );
+ });
 
  // Increment the number of shard chips that are enabled.
  builder.assign(