Merge pull request #3062 from ProvableHQ/feat/dynamic-dispatch

[Feature] Dynamic dispatch.

Author: vicsn

.circleci/config.yml

@@ -88,7 +88,7 @@ commands:
     parameters:
       cache_key:
         type: string
-        default: v4.5.0-rust-1.88.0-snarkvm-cache
+        default: v4.5.1-rust-1.88.0-snarkvm-cache
     steps:
       - run:
           name: Prepare environment variables and install dependencies
@@ -132,8 +132,8 @@ commands:
               clang llvm-dev llvm lld pkg-config xz-utils make libssl-dev libssl-dev
       - restore_cache:
           keys:
-            - v4.5.0-rust-1.88.0-deps-{{ checksum "Cargo.lock" }}-
-            - v4.5.0-rust-1.88.0-deps-
+            - v4.5.1-rust-1.88.0-deps-{{ checksum "Cargo.lock" }}-
+            - v4.5.1-rust-1.88.0-deps-
       - restore_cache:
           keys:
             - << parameters.cache_key >>
@@ -143,11 +143,11 @@ commands:
     parameters:
       cache_key:
         type: string
-        default: v4.5.0-rust-1.88.0-snarkvm-cache
+        default: v4.5.1-rust-1.88.0-snarkvm-cache
     steps:
       - run: set +e
       - save_cache:
-          key: v4.5.0-rust-1.88.0-deps-{{ checksum "Cargo.lock" }}
+          key: v4.5.1-rust-1.88.0-deps-{{ checksum "Cargo.lock" }}
           paths:
             - /home/circleci/.cache/sccache
             - /home/circleci/.cargo/registry
@@ -186,7 +186,7 @@ commands:
           condition: << parameters.use_cache >>
           steps:
             - setup_environment:
-                cache_key: v4.5.0-rust-1.88.0-<< parameters.workspace_member >><< parameters.cache_key_suffix >>-cache
+                cache_key: v4.5.1-rust-1.88.0-<< parameters.workspace_member >><< parameters.cache_key_suffix >>-cache
 
       - run:
           name: Install debian packages (always)
@@ -434,7 +434,7 @@ commands:
           condition: << parameters.use_cache >>
           steps:
             - clear_environment:
-                cache_key: v4.5.0-rust-1.88.0-<< parameters.workspace_member >><< parameters.cache_key_suffix >>-cache
+                cache_key: v4.5.1-rust-1.88.0-<< parameters.workspace_member >><< parameters.cache_key_suffix >>-cache
 
   install_rust_nightly:
     description: "Install Rust nightly toolchain"
@@ -870,7 +870,8 @@ jobs:
     steps:
       - run_test:
           workspace_member: snarkvm-parameters
-          flags: -- --test-threads=2 --ignored test_load_bytes_mini
+          flags: --run-ignored ignored-only -- --test-threads=2 
+          use_cache: false
           cache_key_suffix: -v-{{ epoch }}
           no_output_timeout: 20m
           timeout: 30m
@@ -1051,7 +1052,7 @@ jobs:
     steps:
       - checkout
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-wasm-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-wasm-cache
       - run:
           no_output_timeout: 30m
           command: |
@@ -1072,7 +1073,7 @@ jobs:
             # Run the tests
             cd wasm && wasm-pack test --node
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-wasm-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-wasm-cache
 
   check-fmt:
     executor: rust-docker
@@ -1081,21 +1082,21 @@ jobs:
       - checkout
       - install_rust_nightly
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-fmt-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-fmt-cache
       - run:
           name: Check style
           no_output_timeout: 35m
           command: cargo +nightly fmt --all -- --check
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-fmt-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-fmt-cache
 
   check-unused-dependencies:
     executor: rust-docker
     resource_class: << pipeline.parameters.medium >>
     steps:
       - checkout
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-machete-cache
+          cache_key: v4.5.1-rust-1.88.0-machete-cache
       - run:
           name: Check for unused dependencies
           no_output_timeout: 10m
@@ -1106,23 +1107,23 @@ jobs:
             fi
             cargo machete
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-machete-cache
+          cache_key: v4.5.1-rust-1.88.0-machete-cache
 
   check-cargo-audit:
     executor: rust-docker
     resource_class: << pipeline.parameters.medium >>
     steps:
       - checkout
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-cargo-audit-cache
+          cache_key: v4.5.1-rust-1.88.0-cargo-audit-cache
       - run:
           name:  Check for security vulnerabilities
           no_output_timeout: 10m
           command: |
             cargo install cargo-audit@0.22.0 --locked --force
             cargo audit -D warnings
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-cargo-audit-cache
+          cache_key: v4.5.1-rust-1.88.0-cargo-audit-cache
 
   check-cargo-semver-checks:
     executor: rust-docker
@@ -1131,22 +1132,22 @@ jobs:
       - checkout:
           method: full
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-cargo-semver-checks-cache
+          cache_key: v4.5.1-rust-1.88.0-cargo-semver-checks-cache
       - run:
           name: Check for semver violations
           no_output_timeout: 15m
           command: |
             bash ./.circleci/semver-checks.sh
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-cargo-semver-checks-cache
+          cache_key: v4.5.1-rust-1.88.0-cargo-semver-checks-cache
 
   check-clippy:
     executor: rust-docker
     resource_class: << pipeline.parameters.xlarge >>
     steps:
       - checkout
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-clippy-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-clippy-cache
       - run:
           name: Check Clippy (default features)
           timeout: 20m
@@ -1158,21 +1159,21 @@ jobs:
           command: |
             cargo clippy --workspace --all-targets --all-features -- -D warnings
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-clippy-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-clippy-cache
 
   check-all-targets:
     executor: rust-docker
     resource_class: << pipeline.parameters.small >>
     steps:
       - checkout
       - setup_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-all-targets-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-all-targets-cache
       - run:
           name: Check all targets
           no_output_timeout: 35m
           command: cargo check --release --workspace --all-targets
       - clear_environment:
-          cache_key: v4.5.0-rust-1.88.0-snarkvm-all-targets-cache
+          cache_key: v4.5.1-rust-1.88.0-snarkvm-all-targets-cache
 
   verify-windows:
     executor:
@@ -1275,7 +1276,7 @@ workflows:
       or pipeline.git.branch == "canary"
       or pipeline.git.branch == "testnet"
       or pipeline.git.branch == "mainnet"
-      or pipeline.git.branch == "fix_ci"
+      or pipeline.git.branch == "feat/dynamic-dispatch"
     jobs:
       - check-unused-dependencies # This can be cleaned up before releases
       - check-cargo-semver-checks # This can be cleaned up before releases

.claude/CLAUDE.md

@@ -36,11 +36,5 @@ Use `--paginate` for REST, loop on `hasNextPage` for GraphQL.
 
 
 <claude-mem-context>
-# Recent Activity
 
-### Feb 6, 2026
-
-| ID | Time | T | Title | Read |
-|----|------|---|-------|------|
-| #92 | 1:20 PM | 🔵 | settings.local.json uses granular permission system for allowing specific bash commands and skills | ~472 |
 </claude-mem-context>

Cargo.lock

@@ -161,6 +161,7 @@ serial = [
   "snarkvm-utilities/serial",
   "snarkvm-ledger?/serial"
 ]
+snark-print = [ "snarkvm-algorithms?/snark-print" ]
 
 dev-print = [ 
   "snarkvm-utilities/dev-print",

Cargo.toml

@@ -144,3 +144,4 @@ serial = [
 ]
 test_exports = [ ]
 dev-print = [ "snarkvm-utilities/dev-print" ]
+snark-print = [ ]

algorithms/Cargo.toml

@@ -44,7 +44,6 @@ use anyhow::{Result, ensure};
 
 #[cfg(feature = "serial")]
 use itertools::Itertools;
-
 #[cfg(not(feature = "serial"))]
 use rayon::prelude::*;
 

algorithms/src/fft/domain.rs

@@ -61,6 +61,13 @@ impl<F: PrimeField, SM: SNARKMode> AHPForR1CS<F, SM> {
             randomizing_assignments.push(circuit_assignments);
         }
 
+        if randomizing_assignments.len() != circuits_to_constraints.len() {
+            return Err(AHPError::AnyhowError(anyhow::anyhow!(
+                "[prover Init] Expected {} randomizing assignments, but {} were provided.",
+                circuits_to_constraints.len(),
+                randomizing_assignments.len()
+            )));
+        }
         let indices_and_assignments = circuits_to_constraints
             .iter()
             .zip_eq(randomizing_assignments.into_iter())

algorithms/src/snark/varuna/ahp/prover/round_functions/mod.rs

@@ -91,6 +91,24 @@ impl<F: PrimeField, SM: SNARKMode> AHPForR1CS<F, SM> {
         // Compute lineval sumcheck witnesses
         let mut job_pool = ExecutionPool::with_capacity(total_instances * 3);
         // Iterate for each circuit in the batch.
+        anyhow::ensure!(
+            state.circuit_specific_states.len() == fft_precomputations.len(),
+            "[calculate Prep Lineval Sumcheck Witness] Expected {} circuit specific states, but {} were provided.",
+            fft_precomputations.len(),
+            state.circuit_specific_states.len()
+        );
+        anyhow::ensure!(
+            state.circuit_specific_states.len() == assignments.len(),
+            "[calculate Prep Lineval Sumcheck Witness] Expected {} assignments, but {} were provided.",
+            assignments.len(),
+            state.circuit_specific_states.len()
+        );
+        anyhow::ensure!(
+            state.circuit_specific_states.len() == matrix_transposes.len(),
+            "[calculate Prep Lineval Sumcheck Witness] Expected {} matrix transposes, but {} were provided.",
+            matrix_transposes.len(),
+            state.circuit_specific_states.len()
+        );
         for ((((&circuit, circuit_specific_state), precomp), assignments_i), matrix_transposes_i) in state
             .circuit_specific_states
             .iter()

algorithms/src/snark/varuna/ahp/prover/round_functions/prepare_third.rs

@@ -157,6 +157,24 @@ impl<F: PrimeField, SM: SNARKMode> AHPForR1CS<F, SM> {
         // Compute lineval sumcheck witnesses
         let mut job_pool = ExecutionPool::with_capacity(total_instances * 3);
         // Iterate for each circuit in the batch.
+        ensure!(
+            state.circuit_specific_states.len() == third_round_batch_combiners.len(),
+            "[calculate Lineval Sumcheck Witness] Expected {} circuit specific states, but {} were provided.",
+            third_round_batch_combiners.len(),
+            state.circuit_specific_states.len()
+        );
+        ensure!(
+            state.circuit_specific_states.len() == assignments.len(),
+            "[calculate Lineval Sumcheck Witness] Expected {} assignments, but {} were provided.",
+            assignments.len(),
+            state.circuit_specific_states.len()
+        );
+        ensure!(
+            state.circuit_specific_states.len() == matrix_transposes.len(),
+            "[calculate Lineval Sumcheck Witness] Expected {} matrix transposes, but {} were provided.",
+            matrix_transposes.len(),
+            state.circuit_specific_states.len()
+        );
         for ((((circuit, circuit_specific_state), batch_combiner), assignments_i), matrix_transposes_i) in state
             .circuit_specific_states
             .iter_mut()

algorithms/src/snark/varuna/ahp/prover/round_functions/third.rs

@@ -94,7 +94,10 @@ pub(crate) fn apply_randomized_selector<F: PrimeField>(
         let selector_time = start_timer!(|| "Compute selector without remainder witness");
 
         let (mut h_i, remainder) = poly.divide_by_vanishing_poly(*src_domain)?;
-        ensure!(remainder.is_zero(), "Failed to divide by vanishing polynomial - non-zero remainder ({remainder:?})");
+        ensure!(
+            remainder.is_zero(),
+            "[No remainder witness] Failed to divide by vanishing polynomial - non-zero remainder ({remainder:?})"
+        );
 
         let multiplier = combiner * src_domain.size_as_field_element * target_domain.size_inv;
         h_i.coeffs.iter_mut().for_each(|c| *c *= multiplier);
@@ -120,7 +123,10 @@ pub(crate) fn apply_randomized_selector<F: PrimeField>(
         xg_i = xg_i.mul_by_vanishing_poly(*target_domain);
 
         let (xg_i, remainder) = xg_i.divide_by_vanishing_poly(*src_domain)?;
-        ensure!(remainder.is_zero(), "Failed to divide by vanishing polynomial - non-zero remainder ({remainder:?})");
+        ensure!(
+            remainder.is_zero(),
+            "[Returning remainder witness] Failed to divide by vanishing polynomial - non-zero remainder ({remainder:?})"
+        );
 
         end_timer!(selector_time);
         Ok((h_i, Some(xg_i)))