chore: updated p3 dependency to 0.1.3 (#1059)

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

Author: kevjue

.github/workflows/pr.yml

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

Cargo.lock

@@ -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. 

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/Cargo.toml

@@ -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(