perf(recursion): cut the recursion verifier guest to 44.9M trace rows at inner 2^12 (43.2% below #1911)

Cargo.toml

@@ -306,18 +306,21 @@ dory = { package = "dory-pcs", version = "0.4.2", features = [
   "disk-persistence",
   "zk",
 ] }
-# LayerZero-Labs/akita branch markos/recursion-integration: akita cf95fd05
-# (the revision Jolt main pins) plus the recursion verifier-guest PRs
-# (LayerZero-Labs/akita#186-#190). Repin to akita main once those merge.
-akita-algebra = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-config = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-error = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-pcs = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-planner = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-schedules = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-challenges = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-types = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
-akita-params = { git = "https://github.com/LayerZero-Labs/akita.git", rev = "ee03aa30544caaa3f5f2948b222790b919e9b8e7", default-features = false }
+# Akita pin: commit 13128559, the previous pin 9f778c0c (d04bf51f plus the
+# optional, default-off MLE leaf tiles and signed-byte challenge evaluation)
+# plus the optional, default-off setup-weight tiles (setup-weight-tiles) and
+# word-level challenge decode (challenge-word-decode), fetched from
+# LayerZero-Labs/akita by hash. Repin to the merge commit on
+# markos/recursion-integration once those changes land there.
+akita-algebra = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-config = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-error = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-pcs = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-planner = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-schedules = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-challenges = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-types = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
+akita-params = { git = "https://github.com/LayerZero-Labs/akita", rev = "13128559e8dd3cfba462e1789cc87f6d0b4f87ad", default-features = false }
 
 # Core Utilities
 clap = { version = "4.6.1", features = ["derive"] }

crates/jolt-akita/Cargo.toml

@@ -9,6 +9,16 @@ description = "Akita batch opening adapter for the Jolt zkVM"
 workspace = true
 
 [features]
+terminal-contraction = [
+  "akita-pcs/terminal-contraction",
+  "jolt-field/terminal-contraction",
+]
+segment-setup = ["akita-pcs/segment-setup"]
+# Verifier features (default off): setup-scan errors built only on failure,
+# prevalidated row digests copied without a zero fill, packed terminal z decode.
+lazy-scan-errors = ["akita-pcs/lazy-scan-errors"]
+digest-nozero = ["akita-schedules/digest-nozero"]
+golomb-word = ["akita-types/golomb-word", "akita-params/golomb-word"]
 default = ["parallel"]
 # Akita's rayon-backed kernels and backend thread pool. A single-core zkVM
 # guest builds without it; Jolt's own prover kernels in this crate still link
@@ -21,8 +31,48 @@ ntt-inline = ["akita-pcs/ntt-inline"]
 keccak-inline = ["akita-pcs/keccak-inline"]
 # Enables field-inline schedule coverage alongside the prover's field profile.
 field-inline = []
+# L2 terminal quotient certificate (recursion lever, default off): the
+# terminal A rows are checked at two points against a sent quotient, under
+# Akita protocol identifier v7-l2tq1.
+l2-terminal-quotient = ["akita-pcs/l2-terminal-quotient"]
 profiling = ["parallel"]
+# L3 recursion experiment (default off): Akita evaluates the compression
+# relation weights by factor (same field values; see akita-types).
+l3-compression-weights = ["akita-types/l3-compression-weights"]
 
+# Byte-preserving recursion experiments, default off.
+word-transcript = ["jolt-transcript/word-transcript"]
+word-decode = ["jolt-field/word-decode"]
+ont-static-base = ["akita-challenges/ont-static-base"]
+tensor-no-carry = ["akita-algebra/tensor-no-carry"]
+tensor-eq-runs = ["akita-algebra/tensor-eq-runs"]
+setup-sop-structured = ["akita-pcs/setup-sop-structured"]
+# Prevalidated catalog (default off): the recursion guest rebuilds its one-hot catalog view
+# from a build-time prevalidated record when the view bytes are equal.
+prevalidated-catalog = [
+  "akita-config/prevalidated-catalog",
+  "akita-schedules/prevalidated-catalog",
+]
+# Verifier features (default off): direct flag-class index in the bytecode
+# fold (Jolt), one scale ingress per bounded run in the Akita equality-window
+# fill.
+bytecode-fold = ["jolt-claims/bytecode-fold"]
+fill-ingress = ["akita-algebra/fill-ingress", "jolt-field/fill-ingress"]
+# Root setup scan by lane with hoisted row scales (default off; implies
+# terminal-contraction on the Akita side).
+setup-lane-streams = ["akita-pcs/setup-lane-streams"]
+# Compiled carry-state graphs for the eq-pair tensor recurrences (default off).
+carry-graph = ["akita-algebra/carry-graph"]
+# Low-variable multilinear evaluation by fixed leaf tiles (default off).
+mle-leaf-tiles = ["akita-pcs/mle-leaf-tiles"]
+# Sparse challenge evaluation at powers through one signed-byte field sum
+# (default off; enables jolt-field/signed-byte-sum on the Akita side).
+signed-byte-sum = ["akita-pcs/signed-byte-sum"]
+# Direct setup scan weights added by fixed tiles on field-register addition
+# (default off; enables jolt-field/setup-weight-tiles on the Akita side).
+setup-weight-tiles = ["akita-pcs/setup-weight-tiles"]
+# Signed sparse challenges decoded from whole SHAKE output words (default off).
+challenge-word-decode = ["akita-pcs/challenge-word-decode"]
 [dependencies]
 # Jolt keeps its own catalogs for Jolt-specific trace shapes; Akita's shipped
 # catalogs do not cover this adapter's complete production and test grids.

crates/jolt-akita/src/adapters.rs

@@ -817,7 +817,7 @@ impl AkitaVerifierSetup {
                     CatalogSource::Artifact(bytes) => {
                         AkitaOneHotBackendScheme::from_artifact(family, bytes)
                     }
-                    CatalogSource::VerifierView(view) => {
+                    #[rustfmt::skip] CatalogSource::VerifierView(view) => { #[cfg(feature = "prevalidated-catalog")] if let Some(scheme) = crate::prevalidated_catalog::one_hot_scheme(family, view) { return scheme; }
                         AkitaOneHotBackendScheme::from_verifier_view(family, view)
                     }
                 })
@@ -1525,6 +1525,22 @@ where
     bridged_session
 }
 
+#[cfg(all(feature = "prevalidated-catalog", not(target_arch = "riscv64")))]
+impl AkitaVerifierSetup {
+    /// Host: the source of the prevalidated one-hot catalog file for a guest
+    /// that embeds this setup (see the `prevalidated_catalog` module). Needs
+    /// this setup's prepared one-hot verifier view (payloads attached).
+    pub fn prevalidated_catalog_source(&self) -> Result<String, String> {
+        let CatalogSource::VerifierView(view) = self.catalog_source(AkitaBackendFlavor::OneHot)?
+        else {
+            return Err("the one-hot catalog is not a prepared verifier view".to_owned());
+        };
+        let family = OneHotFamily::from_parts(self.one_hot_k, self.akita_chunk_profile())
+            .map_err(|error| error.to_string())?;
+        crate::prevalidated_catalog::render(family, view).map_err(|error| error.to_string())
+    }
+}
+
 #[cfg(test)]
 mod tests {
     #![expect(

crates/jolt-akita/src/lib.rs

@@ -58,3 +58,11 @@ pub use trace_onehot::{no_selected_row, TraceOneHotColumn, TraceOneHotRows};
 /// backend use the exact transform the adapter uses.
 #[doc(hidden)]
 pub use adapters::{jolt_to_akita_evals, jolt_to_akita_index, reverse_point};
+
+#[cfg(feature = "carry-graph")]
+pub use akita_algebra::offset_eq::carry_graph;
+
+#[cfg(feature = "prevalidated-catalog")]
+mod prevalidated_catalog;
+#[cfg(feature = "prevalidated-catalog")]
+pub use prevalidated_catalog::{EMPTY_PREVALIDATED_CATALOG_SOURCE, PREVALIDATED_CATALOG_VARIABLE};