feat(labinius): polynomial commitment for binary and prime evaluation claims

.github/workflows/ci.yml

@@ -83,6 +83,9 @@ jobs:
           scripts/check-crate-deps.sh akita-metal
           scripts/check-crate-deps.sh akita-zk-verifier
           scripts/check-crate-deps.sh akita-zk-prover
+          scripts/check-crate-deps.sh akita-labinius-verifier
+          scripts/check-crate-deps.sh akita-labinius-prover
+          scripts/check-crate-deps.sh akita-labinius-pcs
 
   labinius-trinomial:
     name: LaBinius trinomial arithmetic and relation bridge
@@ -116,6 +119,10 @@ jobs:
         run: cargo test -p akita-algebra --lib --no-default-features
       - name: Test binary arithmetic
         run: cargo test -p akita-algebra --lib --no-default-features --features labinius-binary binary
+      - name: Test parallel binary arithmetic
+        run: cargo test -p akita-algebra --lib --no-default-features --features labinius-binary,parallel binary
+      - name: Lint parallel binary arithmetic and benchmarks
+        run: cargo clippy -p akita-algebra --all-targets --no-default-features --features labinius-binary,parallel -- -D warnings
       - name: Lint binary arithmetic and benchmarks
         run: cargo clippy -p akita-algebra --all-targets --no-default-features --features labinius-binary -- -D warnings
 
@@ -257,6 +264,41 @@ jobs:
         run: |
           cargo test --release -p akita-pcs --test akita_fp128_e2e --no-default-features --features parallel,transcript-blake2b -- --exact heterogeneous::combined_family_setup_matches_per_family_proofs
 
+  # The LaBinius PCS ships its own catalogs, generated by its own binary, in
+  # both protocol directories.
+  test-labinius-schedule-artifact-drift:
+    name: LaBinius schedule artifact drift${{ matrix.suffix }}
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    strategy:
+      matrix:
+        include:
+          - suffix: ""
+            extra-feature: ""
+          - suffix: "-dev"
+            extra-feature: ",akita-params/dev-protocol"
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
+      - uses: actions-rust-lang/setup-rust-toolchain@ecabd13d1c56bd1345c230e542e9144811ad706f # v2.0.0
+        with:
+          cache: false
+      - name: Cache Rust build artifacts
+        uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
+        with:
+          shared-key: ci-test-labinius-schedule-artifact-drift
+          add-job-id-key: false
+          cache-on-failure: true
+      - name: Regenerate LaBinius schedule artifacts in temporary storage
+        env:
+          AKITA_SCHEDULE_GEN_JOBS: 2
+        run: |
+          artifact_root="$RUNNER_TEMP/akita-labinius-schedule-artifacts${{ matrix.suffix }}"
+          mkdir -p "$artifact_root"
+          cargo run --release -p akita-labinius-pcs --no-default-features \
+            --features "labinius,labinius-catalog-gen,transcript-blake2b${{ matrix.extra-feature }}" \
+            --bin gen_labinius_schedule_artifacts -- --output-dir "$artifact_root"
+          diff -ru "artifacts/schedules-labinius${{ matrix.suffix }}" "$artifact_root/schedules-labinius${{ matrix.suffix }}"
+
   # The dev protocol has its own schedule set, so its drift check runs apart
   # from the default one. Its tests run in `test-dev-protocol`.
   test-dev-protocol-drift:
@@ -429,6 +471,56 @@ jobs:
       - name: Check opt-in challenge targets
         run: cargo clippy -p akita-challenges --all-targets --no-default-features --features labinius-challenges,${{ matrix.backend }} -- -D warnings
 
+  test-labinius-root:
+    name: LaBinius root reduction (${{ matrix.backend }})
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    strategy:
+      matrix:
+        backend: [transcript-blake2b, transcript-keccak]
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
+      - uses: actions-rust-lang/setup-rust-toolchain@166cdcfd11aee3cb47222f9ddb555ce30ddb9659 # v1
+        with:
+          components: clippy
+      - name: Test the opt-in root reduction
+        run: cargo test --profile ci-test -p akita-labinius-verifier -p akita-labinius-prover --no-default-features --features labinius,${{ matrix.backend }}
+      - name: Test the parallel opt-in root reduction
+        run: cargo test --profile ci-test -p akita-labinius-verifier -p akita-labinius-prover --no-default-features --features labinius,parallel,${{ matrix.backend }}
+      - name: Check parallel opt-in targets
+        run: cargo clippy -p akita-labinius-verifier -p akita-labinius-prover --all-targets --no-default-features --features labinius,parallel,${{ matrix.backend }} -- -D warnings
+      - name: Check opt-in targets
+        run: cargo clippy -p akita-labinius-verifier -p akita-labinius-prover --all-targets --no-default-features --features labinius,${{ matrix.backend }} -- -D warnings
+      - name: Check unselected extension targets
+        run: cargo clippy -p akita-labinius-verifier -p akita-labinius-prover --all-targets --no-default-features --features ${{ matrix.backend }} -- -D warnings
+
+  test-labinius-pcs:
+    name: LaBinius PCS (${{ matrix.backend }})
+    runs-on: ubuntu-latest
+    timeout-minutes: 45
+    strategy:
+      matrix:
+        backend: [transcript-blake2b, transcript-keccak]
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
+      - uses: actions-rust-lang/setup-rust-toolchain@166cdcfd11aee3cb47222f9ddb555ce30ddb9659 # v1
+        with:
+          components: clippy
+      - name: Test the opt-in PCS
+        run: cargo test --profile ci-test -p akita-labinius-pcs --no-default-features --features labinius,${{ matrix.backend }}
+      - name: Test the parallel opt-in PCS
+        run: cargo test --profile ci-test -p akita-labinius-pcs --no-default-features --features labinius,parallel,${{ matrix.backend }}
+      - name: Test the parallel opt-in PCS under the dev protocol
+        run: cargo test --profile ci-test -p akita-labinius-pcs --no-default-features --features labinius,parallel,${{ matrix.backend }},akita-params/dev-protocol
+      - name: Check parallel opt-in targets
+        run: cargo clippy -p akita-labinius-pcs --all-targets --no-default-features --features labinius,parallel,${{ matrix.backend }} -- -D warnings
+      - name: Check opt-in targets
+        run: cargo clippy -p akita-labinius-pcs --all-targets --no-default-features --features labinius,${{ matrix.backend }} -- -D warnings
+      - name: Check the catalog generator
+        run: cargo clippy -p akita-labinius-pcs --all-targets --no-default-features --features labinius-catalog-gen,${{ matrix.backend }} -- -D warnings
+      - name: Check unselected extension targets
+        run: cargo clippy -p akita-labinius-pcs --all-targets --no-default-features --features ${{ matrix.backend }} -- -D warnings
+
   test-timing:
     name: Test timing
     needs: [test]

.github/workflows/portability.yml

@@ -48,6 +48,7 @@ jobs:
           RUSTFLAGS: -D warnings -C target-cpu=native
         run: |
           cargo test --release -p akita-algebra --lib --features labinius-binary binary
+          cargo test --release -p akita-algebra --lib --features labinius-trinomial trinomial::limb
           cargo test --release -p akita-algebra --lib ntt
           cargo test --release -p akita-types --lib ntt_cache
           cargo test --release -p akita-verifier --lib terminal::ntt::

AGENTS.md

@@ -33,6 +33,9 @@ scripts/check-crate-deps.sh akita-setup
 scripts/check-crate-deps.sh akita-metal
 scripts/check-crate-deps.sh akita-zk-verifier
 scripts/check-crate-deps.sh akita-zk-prover
+scripts/check-crate-deps.sh akita-labinius-verifier
+scripts/check-crate-deps.sh akita-labinius-prover
+scripts/check-crate-deps.sh akita-labinius-pcs
 scripts/check-shared-field-identity.sh
 scripts/check-external-schedule-artifacts.sh
 cargo machete --with-metadata

CONTRIBUTING.md

@@ -89,6 +89,14 @@ cargo run -p akita-sis-estimator --release --features parallel \
   --example infinity_width_table -- --format rust-split --profile local-minimum
 ```
 
+The opt-in LaBinius runtime table is emitted from the certified checked-in CSV,
+without rerunning the lattice search:
+
+```bash
+cargo run -p akita-sis-estimator --no-default-features --features labinius-sis \
+  --example labinius_infinity_width_table -- --from-csv
+```
+
 Sage workflows in [`scripts/sis_golden/README.md`](scripts/sis_golden/README.md)
 remain useful for pinned-estimator goldens and Euclidean comparison artifacts,
 but must not overwrite the production L-infinity table.

Cargo.toml

@@ -20,6 +20,9 @@ members = [
   "crates/akita-sis-estimator",
   "crates/akita-zk-prover",
   "crates/akita-zk-verifier",
+  "crates/akita-labinius-verifier",
+  "crates/akita-labinius-prover",
+  "crates/akita-labinius-pcs",
 ]
 # `profile/akita-recursion/` is a standalone sub-workspace: it pins its own
 # `rust-toolchain.toml` (channel 1.95 + RISC-V targets) and applies Jolt's