From b76bc00a504414de14372a3e107245e5dc8386c7 Mon Sep 17 00:00:00 2001 From: Quang Dao Date: Tue, 20 Oct 2026 18:31:30 -0400 Subject: [PATCH 1/4] chore(deps): pin dev's Jolt crates to Jolt main dev pinned every a16z/jolt crate at c7c2d08d5 on the unmerged metal/fp64-ext2 branch. Its jolt-metal work has since landed on Jolt main through squash merges (#1938, #1939, #1944, #1946, #2005), so every pin moves to Jolt main 5aa807b03 and the three lockfiles are regenerated. Jolt main replaced the safe Batch::dispatch with the unsafe Batch::dispatch_unchecked, whose caller must keep each kernel inside its bound buffers. Each of akita-metal's nine dispatch sites now carries a SAFETY argument checked against the kernel source and the host-side shape checks that size its buffers. No kernel or shape check changes. scripts/check-jolt-pins-on-main.sh, run as a new CI job, fails when a tracked Cargo.toml or Cargo.lock pins a16z/jolt at anything but a full commit hash that is an ancestor of Jolt main. It reads main's full commit graph through a treeless partial clone, so no shallow history can make an old pin look unrelated. --- .github/workflows/ci.yml | 8 + AGENTS.md | 1 + Cargo.lock | 8 +- crates/akita-algebra/Cargo.toml | 4 +- crates/akita-challenges/Cargo.toml | 2 +- crates/akita-config/Cargo.toml | 2 +- crates/akita-cpu-backend/Cargo.toml | 4 +- crates/akita-labinius-prover/Cargo.toml | 4 +- crates/akita-labinius-verifier/Cargo.toml | 2 +- crates/akita-metal/Cargo.toml | 4 +- crates/akita-metal/src/crt.rs | 34 +- crates/akita-metal/src/decompose.rs | 25 +- crates/akita-metal/src/matvec.rs | 104 +- crates/akita-metal/src/ntt.rs | 29 +- crates/akita-metal/src/onehot.rs | 57 +- crates/akita-metal/tests/mont.rs | 10 +- crates/akita-params/Cargo.toml | 2 +- crates/akita-pcs/Cargo.toml | 4 +- crates/akita-prover/Cargo.toml | 4 +- crates/akita-serialization/Cargo.toml | 4 +- crates/akita-setup/Cargo.toml | 2 +- crates/akita-sumcheck/Cargo.toml | 4 +- crates/akita-transcript/Cargo.toml | 2 +- crates/akita-types/Cargo.toml | 4 +- crates/akita-verifier/Cargo.toml | 4 +- crates/akita-zk-prover/Cargo.toml | 2 +- crates/akita-zk-verifier/Cargo.toml | 2 +- fuzz/Cargo.lock | 6 +- fuzz/Cargo.toml | 2 +- profile/akita-recursion/Cargo.lock | 1167 ++++++++++--------- profile/akita-recursion/artifact/Cargo.toml | 2 +- profile/akita-recursion/glue/Cargo.toml | 2 +- profile/akita-recursion/guest/Cargo.toml | 4 +- profile/akita-recursion/host/Cargo.toml | 4 +- scripts/check-jolt-pins-on-main.sh | 76 ++ 35 files changed, 912 insertions(+), 683 deletions(-) create mode 100755 scripts/check-jolt-pins-on-main.sh diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 24d3b456b..218db9edb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -147,6 +147,14 @@ jobs: - name: Require one jolt-field identity and no akita-field run: scripts/check-shared-field-identity.sh + jolt-pins: + name: Jolt pins on main + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 + - name: Require every a16z/jolt rev to be an ancestor of Jolt main + run: scripts/check-jolt-pins-on-main.sh + doc: name: Documentation runs-on: ubuntu-latest diff --git a/AGENTS.md b/AGENTS.md index dd24d1643..b8d67120f 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -36,6 +36,7 @@ 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-shared-field-identity.sh +scripts/check-jolt-pins-on-main.sh scripts/check-external-schedule-artifacts.sh cargo machete --with-metadata typos diff --git a/Cargo.lock b/Cargo.lock index 81626d5bc..698a34fd4 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1012,7 +1012,7 @@ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682" [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "bytemuck", "cc", @@ -1026,7 +1026,7 @@ dependencies = [ [[package]] name = "jolt-metal" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "bytemuck", "jolt-field", @@ -1039,7 +1039,7 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "jolt-field", "jolt-utils", @@ -1053,7 +1053,7 @@ dependencies = [ [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "num-traits", ] diff --git a/crates/akita-algebra/Cargo.toml b/crates/akita-algebra/Cargo.toml index c597536a5..d2ca65072 100644 --- a/crates/akita-algebra/Cargo.toml +++ b/crates/akita-algebra/Cargo.toml @@ -10,11 +10,11 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } rand_core = { version = "0.6", features = ["getrandom"] } rayon = { version = "1.10", optional = true } diff --git a/crates/akita-challenges/Cargo.toml b/crates/akita-challenges/Cargo.toml index c4b675079..2d3a22b04 100644 --- a/crates/akita-challenges/Cargo.toml +++ b/crates/akita-challenges/Cargo.toml @@ -11,7 +11,7 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } serde = { version = "1", features = ["derive"] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-config/Cargo.toml b/crates/akita-config/Cargo.toml index 1c2e24508..387e95fce 100644 --- a/crates/akita-config/Cargo.toml +++ b/crates/akita-config/Cargo.toml @@ -31,7 +31,7 @@ dev-protocol = ["akita-params/dev-protocol"] [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-cpu-backend/Cargo.toml b/crates/akita-cpu-backend/Cargo.toml index 885cfc60c..cfaf48430 100644 --- a/crates/akita-cpu-backend/Cargo.toml +++ b/crates/akita-cpu-backend/Cargo.toml @@ -14,11 +14,11 @@ akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-labinius-prover/Cargo.toml b/crates/akita-labinius-prover/Cargo.toml index 7fd7061ca..8d9e04c2d 100644 --- a/crates/akita-labinius-prover/Cargo.toml +++ b/crates/akita-labinius-prover/Cargo.toml @@ -17,12 +17,12 @@ tracing = "0.1" akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-params = { version = "0.1.0", path = "../akita-params", default-features = false } akita-labinius-verifier = { version = "0.1.0", path = "../akita-labinius-verifier", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } [dev-dependencies] akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-labinius-verifier/Cargo.toml b/crates/akita-labinius-verifier/Cargo.toml index d6c3499da..124be3691 100644 --- a/crates/akita-labinius-verifier/Cargo.toml +++ b/crates/akita-labinius-verifier/Cargo.toml @@ -17,7 +17,7 @@ akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-fe akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-params = { version = "0.1.0", path = "../akita-params", default-features = false } akita-types = { version = "0.1.0", path = "../akita-types", default-features = false, optional = true } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-metal/Cargo.toml b/crates/akita-metal/Cargo.toml index 45c99fdc5..9820c2ca5 100644 --- a/crates/akita-metal/Cargo.toml +++ b/crates/akita-metal/Cargo.toml @@ -18,11 +18,11 @@ akita-cpu-backend = { version = "0.1.0", path = "../akita-cpu-backend", default- akita-error = { version = "0.1.0", path = "../akita-error" } akita-types = { version = "0.1.0", path = "../akita-types", default-features = false } bytemuck = { version = "1.16", features = ["derive"] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "bytemuck", "solinas", ] } -jolt-metal = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" } +jolt-metal = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34" } thiserror = "2.0" [dev-dependencies] diff --git a/crates/akita-metal/src/crt.rs b/crates/akita-metal/src/crt.rs index 96e48e87d..b1e795fc7 100644 --- a/crates/akita-metal/src/crt.rs +++ b/crates/akita-metal/src/crt.rs @@ -97,19 +97,27 @@ impl DeviceCrtNtt { let radix = DeviceBuffer::from_slice(metal.device(), &self.crt_weights::())?; let scales = DeviceBuffer::from_slice(metal.device(), &[F::one()])?; let mut batch = Batch::new(metal.device())?; - batch.dispatch( - pipeline, - &[ - Binding::buffer(residues), - Binding::buffer(out), - Binding::buffer(&self.primes), - Binding::buffer(&self.gamma), - Binding::buffer(&radix), - Binding::buffer(&scales), - Binding::value(&shape), - ], - Grid::linear(coefficients, COEFFICIENT_GROUP), - )?; + // SAFETY: `rows` makes `residues` exactly `elements` rings of K x D + // words, and `out` holds `elements * D` coefficients. Thread + // `index < coefficients` reads the residue words + // `element * K * D + i * D + coefficient` for `i < K`, `primes[i]`, + // `gamma[i * K + j]` and `radix[i]` (buffers of K, K x K and K entries for + // this K), and `scales[0]` (one limb). It writes only `out[index]`. + unsafe { + batch.dispatch_unchecked( + pipeline, + &[ + Binding::buffer(residues), + Binding::buffer(out), + Binding::buffer(&self.primes), + Binding::buffer(&self.gamma), + Binding::buffer(&radix), + Binding::buffer(&scales), + Binding::value(&shape), + ], + Grid::linear(coefficients, COEFFICIENT_GROUP), + ) + }?; Ok(batch.commit_and_wait()?) } } diff --git a/crates/akita-metal/src/decompose.rs b/crates/akita-metal/src/decompose.rs index d79c7edcc..7882a9012 100644 --- a/crates/akita-metal/src/decompose.rs +++ b/crates/akita-metal/src/decompose.rs @@ -117,15 +117,22 @@ where }; let mut out = DeviceDigitPlanes::zeroed(metal, digits, log_basis)?; let mut batch = Batch::new(metal.device())?; - batch.dispatch( - pipeline, - &[ - Binding::buffer(coefficients), - Binding::buffer(out.buffer_mut()), - Binding::value(&shape), - ], - Grid::linear(count, COEFFICIENT_GROUP), - )?; + // SAFETY: thread `index < count` reads `coefficients[index]` and writes + // the plane words `(ring * levels + level) * ring_degree + coefficient` for + // `level < levels`, all below `count * levels = digits`, the length of + // `out`. `ring_degree` is a power of two below 2^32, so the kernel's shift + // and mask compute exactly that index. No two threads write the same word. + unsafe { + batch.dispatch_unchecked( + pipeline, + &[ + Binding::buffer(coefficients), + Binding::buffer(out.buffer_mut()), + Binding::value(&shape), + ], + Grid::linear(count, COEFFICIENT_GROUP), + ) + }?; let duration = batch.commit_and_wait()?; Ok((out, duration)) } diff --git a/crates/akita-metal/src/matvec.rs b/crates/akita-metal/src/matvec.rs index 43fc8f1e6..d39627c36 100644 --- a/crates/akita-metal/src/matvec.rs +++ b/crates/akita-metal/src/matvec.rs @@ -479,42 +479,74 @@ where // and residue buffers. let mut batch = Batch::new(metal.device())?; for (shape, crt_shape) in shapes.iter().zip(&crt_shapes) { - batch.dispatch( - partials_pipeline, - &[ - Binding::buffer(planes.buffer()), - Binding::buffer(&self.entries), - Binding::buffer(&partials), - Binding::buffer(&self.ntt.primes), - Binding::buffer(&self.ntt.tables), - Binding::value(shape), - ], - Grid::linear(partial_threads, lanes), - )?; - batch.dispatch( - finish_pipeline, - &[ - Binding::buffer(&partials), - Binding::buffer(&residues), - Binding::buffer(&self.ntt.primes), - Binding::buffer(&self.ntt.tables), - Binding::value(shape), - ], - Grid::linear(finish_threads, lanes), - )?; - batch.dispatch( - crt_pipeline, - &[ - Binding::buffer(&residues), - Binding::buffer(out), - Binding::buffer(&self.ntt.primes), - Binding::buffer(&self.ntt.gamma), - Binding::buffer(&radix), - Binding::buffer(&scales), - Binding::value(crt_shape), - ], - Grid::linear(coefficients, COEFFICIENT_GROUP), - )?; + // SAFETY: the grid is `chunks * K * block_tiles * row_tiles` full + // threadgroups of D/2 lanes. A threadgroup reads the digit planes + // `(block * cols + col) * D + lane` and `+ D/2` with `block < blocks` and + // `col < col_end <= cols`, below `planes.len() = blocks * cols * D`; the + // matrix entry `(row, col, limb, prime)` with `row < rows`, `limb < limbs` + // and `prime < K`, below `entries.len() = rows * cols * limbs * K * D`; and + // words below D of each table in prime `prime`'s block. It writes only its + // own `(chunk, limb, block, row, prime)` row of `partials`, which holds + // `chunks * limbs * blocks * rows * K * D` words. In the threadgroup array + // `x` of `BLOCK_TILE * D` words, each lane writes and reads back only its own + // two words per array, and `PlainForward::apply` orders the cross-lane + // accesses with its barriers. + unsafe { + batch.dispatch_unchecked( + partials_pipeline, + &[ + Binding::buffer(planes.buffer()), + Binding::buffer(&self.entries), + Binding::buffer(&partials), + Binding::buffer(&self.ntt.primes), + Binding::buffer(&self.ntt.tables), + Binding::value(shape), + ], + Grid::linear(partial_threads, lanes), + ) + }?; + // SAFETY: the grid is `residue_rows` full threadgroups of D/2 lanes, one + // per (limb, block, row, prime) row. Row `group` reads `partials` words + // `chunk * stride + group * D + lane` and `+ D/2` for `chunk < chunks`, + // with `stride = residue_rows * D`, below `partials.len()`; and words below D + // of prime `group % K`'s tables. It writes only its own row of `residues`, + // which holds `residue_rows * D` words. Lanes share only the threadgroup + // array, whose accesses the barriers in `ntt.h` order. + unsafe { + batch.dispatch_unchecked( + finish_pipeline, + &[ + Binding::buffer(&partials), + Binding::buffer(&residues), + Binding::buffer(&self.ntt.primes), + Binding::buffer(&self.ntt.tables), + Binding::value(shape), + ], + Grid::linear(finish_threads, lanes), + ) + }?; + // SAFETY: `out` holds `coefficients = blocks * rows * D` elements and + // `residues` holds `limbs` groups of `blocks * rows` rings of K x D words. + // Thread `index < coefficients` reads the residue words + // `limb * coefficients * K + element * K * D + i * D + coefficient` for + // `limb < limbs` and `i < K`, below `residues.len()`; `primes[i]`, + // `gamma[i * K + j]`, `radix[i]` and `scales[limb]` (`limb_scales` returns + // `limbs` entries). It reads and writes only `out[index]`. + unsafe { + batch.dispatch_unchecked( + crt_pipeline, + &[ + Binding::buffer(&residues), + Binding::buffer(out), + Binding::buffer(&self.ntt.primes), + Binding::buffer(&self.ntt.gamma), + Binding::buffer(&radix), + Binding::buffer(&scales), + Binding::value(crt_shape), + ], + Grid::linear(coefficients, COEFFICIENT_GROUP), + ) + }?; } Ok(batch.commit_and_wait()?) } diff --git a/crates/akita-metal/src/ntt.rs b/crates/akita-metal/src/ntt.rs index e088b86ae..531816b66 100644 --- a/crates/akita-metal/src/ntt.rs +++ b/crates/akita-metal/src/ntt.rs @@ -177,16 +177,25 @@ impl DeviceCrtNtt { .ok_or_else(|| shape_overflow(rows))?; let pipeline = metal.pipeline(&ring_degree_kernel(template, D))?; let mut batch = Batch::new(metal.device())?; - batch.dispatch( - pipeline, - &[ - Binding::buffer(data), - Binding::buffer(&self.primes), - Binding::buffer(&self.tables), - Binding::value(&batch_shape), - ], - Grid::linear(threads, lanes), - )?; + // SAFETY: `rows` makes `data` exactly `rows` (element, prime) rows of D + // words, and the grid is `rows` full threadgroups of D/2 lanes. Lane `lane` + // of row `row` reads and writes `data[row * D + lane]` and + // `data[row * D + lane + D/2]`, and reads `primes[row % K]` and words below + // D of each table in prime `row % K`'s block of the `[K][7][D]` tables. + // Lanes share only the threadgroup array, whose accesses the barriers in + // `ntt.h` order. + unsafe { + batch.dispatch_unchecked( + pipeline, + &[ + Binding::buffer(data), + Binding::buffer(&self.primes), + Binding::buffer(&self.tables), + Binding::value(&batch_shape), + ], + Grid::linear(threads, lanes), + ) + }?; Ok(batch.commit_and_wait()?) } } diff --git a/crates/akita-metal/src/onehot.rs b/crates/akita-metal/src/onehot.rs index 2207fbf96..77e4422e9 100644 --- a/crates/akita-metal/src/onehot.rs +++ b/crates/akita-metal/src/onehot.rs @@ -552,27 +552,46 @@ impl OneHotWorkspace<'_, F> { }; let mut batch = Batch::new(device)?; for (params, grid_threads) in &dispatches { - batch.dispatch( - pipeline, - &[ - Binding::buffer(&matrix.coefficients), - Binding::buffer(&sources.hot), - Binding::buffer(partials.unwrap_or(&*out)), - Binding::value(params), - ], - Grid::linear(*grid_threads, threads), - )?; + // SAFETY: each dispatch is `segments * rows * block_groups` full + // threadgroups of `lanes * D / COEFFS_PER_THREAD` threads, with + // `lanes <= MAX_LANES`. A threadgroup reads A words of row `row < rows` at + // position `p < positions` (column `p * digits < columns`), below the + // checked `matrix_len`; `hot` words `hot_offset + chunk` only for + // `chunk < chunks`, inside this source's range of `hot`; and staged entries + // below `TILE_POSITIONS * D` in `a_tile`. It writes the output coefficients + // `out_offset + segment * len + (block * rows + row) * D + k` for its own + // blocks `block < blocks` and `k < D`, below `(segment + 1) * len`: the + // `segments * len` partials when segments > 1, else `out` of length `len`. + // No two threads write the same word, and the threadgroup barriers order + // the tile and staging writes before every read. + unsafe { + batch.dispatch_unchecked( + pipeline, + &[ + Binding::buffer(&matrix.coefficients), + Binding::buffer(&sources.hot), + Binding::buffer(partials.unwrap_or(&*out)), + Binding::value(params), + ], + Grid::linear(*grid_threads, threads), + ) + }?; } if let (Some(partials), Some(combine_pipeline)) = (partials, combine_pipeline) { - batch.dispatch( - combine_pipeline, - &[ - Binding::buffer(partials), - Binding::buffer(&*out), - Binding::value(&combine_params), - ], - Grid::linear(combine_threads, COMBINE_THREADS), - )?; + // SAFETY: thread `i < len` reads `partials[s * len + i]` for + // `s < segments`, below `partials.len() = segments * len`, and writes only + // `out[i]`, with `out.len() = len`. Threads past `len` return at once. + unsafe { + batch.dispatch_unchecked( + combine_pipeline, + &[ + Binding::buffer(partials), + Binding::buffer(&*out), + Binding::value(&combine_params), + ], + Grid::linear(combine_threads, COMBINE_THREADS), + ) + }?; } let time = batch.commit_and_wait()?; Ok((out, time)) diff --git a/crates/akita-metal/tests/mont.rs b/crates/akita-metal/tests/mont.rs index 2ef506fce..0cf7abeac 100644 --- a/crates/akita-metal/tests/mont.rs +++ b/crates/akita-metal/tests/mont.rs @@ -94,8 +94,11 @@ fn check_prime(test: &support::GpuTest, library: &ShaderLibrary, prime: NttPrime let mut out = DeviceBuffer::::zeroed(device, lhs.len() * OPS).expect("output"); { let mut batch = Batch::new(device).expect("batch"); - batch - .dispatch( + // SAFETY: thread `i < count = lhs.len()` reads index `i` of the three + // `count`-word inputs and `prime[0]`, and writes only `out[i * OPS..(i + 1) * OPS]`, + // inside the `count * OPS`-word output. + unsafe { + batch.dispatch_unchecked( library.pipeline("akita_test_mont_ops").expect("pipeline"), &[ Binding::buffer(&lhs_buffer), @@ -107,7 +110,8 @@ fn check_prime(test: &support::GpuTest, library: &ShaderLibrary, prime: NttPrime ], Grid::linear(lhs.len(), 256), ) - .expect("dispatch"); + } + .expect("dispatch"); batch.commit_and_wait().expect("run"); } let out = out.read().expect("read back"); diff --git a/crates/akita-params/Cargo.toml b/crates/akita-params/Cargo.toml index dc4e56d74..1977603f9 100644 --- a/crates/akita-params/Cargo.toml +++ b/crates/akita-params/Cargo.toml @@ -12,7 +12,7 @@ readme = "../../README.md" akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-pcs/Cargo.toml b/crates/akita-pcs/Cargo.toml index 58d246550..bdfd8f9e6 100644 --- a/crates/akita-pcs/Cargo.toml +++ b/crates/akita-pcs/Cargo.toml @@ -104,7 +104,7 @@ akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } akita-cpu-backend = { version = "0.1.0", path = "../akita-cpu-backend", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } @@ -119,7 +119,7 @@ tracing = "0.1" rayon = { version = "1.10", optional = true } [dev-dependencies] -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } # Test-only: pull in `akita-config`'s workspace artifact loader and ring-plan # seed. Schedule rows remain checked-in external artifacts loaded at runtime. akita-config = { version = "0.1.0", path = "../akita-config", default-features = false, features = [ diff --git a/crates/akita-prover/Cargo.toml b/crates/akita-prover/Cargo.toml index bcf890892..f4e6c57ab 100644 --- a/crates/akita-prover/Cargo.toml +++ b/crates/akita-prover/Cargo.toml @@ -13,11 +13,11 @@ akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-serialization/Cargo.toml b/crates/akita-serialization/Cargo.toml index b719a920f..fdcee1b7e 100644 --- a/crates/akita-serialization/Cargo.toml +++ b/crates/akita-serialization/Cargo.toml @@ -9,11 +9,11 @@ repository = "https://github.com/LayerZero-Labs/akita" readme = "../../README.md" [dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } thiserror = "2.0" [lints] diff --git a/crates/akita-setup/Cargo.toml b/crates/akita-setup/Cargo.toml index f055c8c50..f61d0a67a 100644 --- a/crates/akita-setup/Cargo.toml +++ b/crates/akita-setup/Cargo.toml @@ -29,7 +29,7 @@ disk-persistence = ["akita-cpu-backend/disk-persistence"] akita-error = { version = "0.1.0", path = "../akita-error" } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } akita-cpu-backend = { version = "0.1.0", path = "../akita-cpu-backend", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-sumcheck/Cargo.toml b/crates/akita-sumcheck/Cargo.toml index 95155fdf2..545fff6cd 100644 --- a/crates/akita-sumcheck/Cargo.toml +++ b/crates/akita-sumcheck/Cargo.toml @@ -11,11 +11,11 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-transcript/Cargo.toml b/crates/akita-transcript/Cargo.toml index b1abfff16..082abb50c 100644 --- a/crates/akita-transcript/Cargo.toml +++ b/crates/akita-transcript/Cargo.toml @@ -10,7 +10,7 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-types/Cargo.toml b/crates/akita-types/Cargo.toml index 0862dc435..156b5839b 100644 --- a/crates/akita-types/Cargo.toml +++ b/crates/akita-types/Cargo.toml @@ -13,11 +13,11 @@ akita-params = { version = "0.1.0", path = "../akita-params", default-features = akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-verifier/Cargo.toml b/crates/akita-verifier/Cargo.toml index 071367622..e81fc450e 100644 --- a/crates/akita-verifier/Cargo.toml +++ b/crates/akita-verifier/Cargo.toml @@ -18,11 +18,11 @@ akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-zk-prover/Cargo.toml b/crates/akita-zk-prover/Cargo.toml index 21917b800..2ac8c7c59 100644 --- a/crates/akita-zk-prover/Cargo.toml +++ b/crates/akita-zk-prover/Cargo.toml @@ -16,7 +16,7 @@ akita-algebra = { version = "0.1.0", path = "../akita-algebra" } rand_core = "0.6" [dev-dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "solinas", ] } rand = "0.8" diff --git a/crates/akita-zk-verifier/Cargo.toml b/crates/akita-zk-verifier/Cargo.toml index e61516f71..c7a739a73 100644 --- a/crates/akita-zk-verifier/Cargo.toml +++ b/crates/akita-zk-verifier/Cargo.toml @@ -16,7 +16,7 @@ akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-error = { version = "0.1.0", path = "../akita-error" } [dev-dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "solinas", ] } rand = "0.8" diff --git a/fuzz/Cargo.lock b/fuzz/Cargo.lock index 88816ba25..f01c9bab3 100644 --- a/fuzz/Cargo.lock +++ b/fuzz/Cargo.lock @@ -227,7 +227,7 @@ dependencies = [ [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "cc", "num-traits", @@ -239,7 +239,7 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "jolt-field", "jolt-utils", @@ -253,7 +253,7 @@ dependencies = [ [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "num-traits", ] diff --git a/fuzz/Cargo.toml b/fuzz/Cargo.toml index 36136ef39..508527868 100644 --- a/fuzz/Cargo.toml +++ b/fuzz/Cargo.toml @@ -8,7 +8,7 @@ publish = false cargo-fuzz = true [dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/Cargo.lock b/profile/akita-recursion/Cargo.lock index 7058fb1b5..10a567080 100644 --- a/profile/akita-recursion/Cargo.lock +++ b/profile/akita-recursion/Cargo.lock @@ -49,22 +49,49 @@ dependencies = [ name = "akita-algebra" version = "0.1.0" dependencies = [ - "akita-error", - "akita-serialization", - "jolt-field", - "jolt-poly", + "akita-error 0.1.0", + "akita-serialization 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "rand_core 0.6.4", "rayon", "tracing", ] +[[package]] +name = "akita-algebra" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "rand_core 0.6.4", + "rayon", + "tracing", +] + +[[package]] +name = "akita-challenges" +version = "0.1.0" +dependencies = [ + "akita-error 0.1.0", + "akita-transcript 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "keccak 0.1.6", + "serde", + "smallvec", +] + [[package]] name = "akita-challenges" version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" dependencies = [ - "akita-error", - "akita-transcript", - "jolt-field", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "keccak 0.1.6", "serde", "smallvec", @@ -74,39 +101,83 @@ dependencies = [ name = "akita-config" version = "0.1.0" dependencies = [ - "akita-challenges", - "akita-error", - "akita-params", - "akita-schedules", - "akita-serialization", - "akita-transcript", - "akita-types", - "jolt-field", + "akita-challenges 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-schedules 0.1.0", + "akita-serialization 0.1.0", + "akita-transcript 0.1.0", + "akita-types 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", +] + +[[package]] +name = "akita-config" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", ] [[package]] name = "akita-cpu-backend" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-config", - "akita-error", - "akita-params", - "akita-prover", - "akita-serialization", - "akita-sumcheck", - "akita-transcript", - "akita-types", - "jolt-field", - "jolt-poly", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-config 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-prover 0.1.0", + "akita-serialization 0.1.0", + "akita-sumcheck 0.1.0", + "akita-transcript 0.1.0", + "akita-types 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "rayon", "tracing", ] +[[package]] +name = "akita-cpu-backend" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-prover 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "rayon", + "tracing", +] + +[[package]] +name = "akita-error" +version = "0.1.0" +dependencies = [ + "thiserror", +] + [[package]] name = "akita-error" version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" dependencies = [ "thiserror", ] @@ -115,14 +186,31 @@ dependencies = [ name = "akita-params" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-error", - "akita-serialization", - "akita-sumcheck", - "akita-transcript", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-error 0.1.0", + "akita-serialization 0.1.0", + "akita-sumcheck 0.1.0", + "akita-transcript 0.1.0", + "blake2 0.11.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "serde", + "sha3 0.12.0", +] + +[[package]] +name = "akita-params" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", "blake2 0.11.0", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "serde", "sha3 0.12.0", ] @@ -131,38 +219,91 @@ dependencies = [ name = "akita-pcs" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-config", - "akita-cpu-backend", - "akita-error", - "akita-params", - "akita-prover", - "akita-serialization", - "akita-setup", - "akita-transcript", - "akita-types", - "akita-verifier", - "jolt-field", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-config 0.1.0", + "akita-cpu-backend 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-prover 0.1.0", + "akita-serialization 0.1.0", + "akita-setup 0.1.0", + "akita-transcript 0.1.0", + "akita-types 0.1.0", + "akita-verifier 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "rayon", + "tracing", +] + +[[package]] +name = "akita-pcs" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-cpu-backend 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-prover 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-setup 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-verifier 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rayon", "tracing", ] +[[package]] +name = "akita-planner" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "libm", +] + [[package]] name = "akita-prover" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-config", - "akita-error", - "akita-params", - "akita-serialization", - "akita-sumcheck", - "akita-transcript", - "akita-types", - "jolt-field", - "jolt-poly", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-config 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-serialization 0.1.0", + "akita-sumcheck 0.1.0", + "akita-transcript 0.1.0", + "akita-types 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "tracing", +] + +[[package]] +name = "akita-prover" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "tracing", ] @@ -170,18 +311,18 @@ dependencies = [ name = "akita-recursion-artifact" version = "0.1.0" dependencies = [ - "akita-config", - "akita-cpu-backend", - "akita-error", - "akita-params", - "akita-pcs", - "akita-prover", + "akita-config 0.1.0", + "akita-cpu-backend 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-pcs 0.1.0", + "akita-prover 0.1.0", "akita-recursion-glue", - "akita-serialization", - "akita-types", - "akita-verifier", + "akita-serialization 0.1.0", + "akita-types 0.1.0", + "akita-verifier 0.1.0", "clap", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "rand 0.8.8", "rayon", "tracing", @@ -192,29 +333,29 @@ dependencies = [ name = "akita-recursion-glue" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-config", - "akita-error", - "akita-params", - "akita-schedules", - "akita-serialization", - "akita-types", - "jolt-field", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-config 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-schedules 0.1.0", + "akita-serialization 0.1.0", + "akita-types 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", ] [[package]] name = "akita-recursion-guest" version = "0.1.0" dependencies = [ - "akita-config", - "akita-error", - "akita-params", + "akita-config 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", "akita-recursion-glue", - "akita-serialization", - "akita-types", - "akita-verifier", - "jolt-field", + "akita-serialization 0.1.0", + "akita-types 0.1.0", + "akita-verifier 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-sdk", ] @@ -222,12 +363,12 @@ dependencies = [ name = "akita-recursion-host" version = "0.1.0" dependencies = [ - "akita-config", - "akita-params", + "akita-config 0.1.0", + "akita-params 0.1.0", "akita-recursion-glue", "akita-recursion-guest", - "akita-types", - "akita-verifier", + "akita-types 0.1.0", + "akita-verifier 0.1.0", "clap", "jolt-sdk", "jolt-sdk-macros", @@ -239,9 +380,21 @@ dependencies = [ name = "akita-schedules" version = "0.1.0" dependencies = [ - "akita-challenges", - "akita-error", - "akita-params", + "akita-challenges 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "serde", + "serde_json", +] + +[[package]] +name = "akita-schedules" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", "serde", "serde_json", ] @@ -250,8 +403,18 @@ dependencies = [ name = "akita-serialization" version = "0.1.0" dependencies = [ - "jolt-field", - "jolt-poly", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "thiserror", +] + +[[package]] +name = "akita-serialization" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "thiserror", ] @@ -259,13 +422,28 @@ dependencies = [ name = "akita-setup" version = "0.1.0" dependencies = [ - "akita-config", - "akita-cpu-backend", - "akita-error", - "akita-params", - "akita-serialization", - "akita-types", - "jolt-field", + "akita-config 0.1.0", + "akita-cpu-backend 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-serialization 0.1.0", + "akita-types 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "tracing", +] + +[[package]] +name = "akita-setup" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-cpu-backend 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "tracing", ] @@ -273,20 +451,43 @@ dependencies = [ name = "akita-sumcheck" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-error", - "akita-serialization", - "akita-transcript", - "jolt-field", - "jolt-poly", + "akita-algebra 0.1.0", + "akita-error 0.1.0", + "akita-serialization 0.1.0", + "akita-transcript 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", +] + +[[package]] +name = "akita-sumcheck" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", +] + +[[package]] +name = "akita-transcript" +version = "0.1.0" +dependencies = [ + "akita-error 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "spongefish 0.7.4", ] [[package]] name = "akita-transcript" version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" dependencies = [ - "akita-error", - "jolt-field", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "spongefish 0.7.4", ] @@ -294,15 +495,34 @@ dependencies = [ name = "akita-types" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-error", - "akita-params", - "akita-serialization", - "akita-sumcheck", - "akita-transcript", - "jolt-field", - "jolt-poly", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-serialization 0.1.0", + "akita-sumcheck 0.1.0", + "akita-transcript 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "rand_core 0.6.4", + "shake", + "tracing", +] + +[[package]] +name = "akita-types" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rand_core 0.6.4", "shake", "tracing", @@ -312,17 +532,37 @@ dependencies = [ name = "akita-verifier" version = "0.1.0" dependencies = [ - "akita-algebra", - "akita-challenges", - "akita-config", - "akita-error", - "akita-params", - "akita-serialization", - "akita-sumcheck", - "akita-transcript", - "akita-types", - "jolt-field", - "jolt-poly", + "akita-algebra 0.1.0", + "akita-challenges 0.1.0", + "akita-config 0.1.0", + "akita-error 0.1.0", + "akita-params 0.1.0", + "akita-serialization 0.1.0", + "akita-sumcheck 0.1.0", + "akita-transcript 0.1.0", + "akita-types 0.1.0", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "rayon", + "tracing", +] + +[[package]] +name = "akita-verifier" +version = "0.1.0" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rayon", "tracing", ] @@ -410,9 +650,9 @@ version = "0.5.0" source = "git+https://github.com/a16z/arkworks-algebra?branch=dev%2Ftwist-shout#76bb3a4518928f1ff7f15875f940d614bb9845e6" dependencies = [ "ark-ec", - "ark-ff 0.5.0", - "ark-serialize 0.5.0", - "ark-std 0.5.0", + "ark-ff", + "ark-serialize", + "ark-std", ] [[package]] @@ -421,10 +661,10 @@ version = "0.5.0" source = "git+https://github.com/a16z/arkworks-algebra?branch=dev%2Ftwist-shout#76bb3a4518928f1ff7f15875f940d614bb9845e6" dependencies = [ "ahash", - "ark-ff 0.5.0", + "ark-ff", "ark-poly", - "ark-serialize 0.5.0", - "ark-std 0.5.0", + "ark-serialize", + "ark-std", "educe", "fnv", "hashbrown 0.15.5", @@ -442,10 +682,10 @@ version = "0.5.0" source = "git+https://github.com/a16z/arkworks-algebra?branch=dev%2Ftwist-shout#76bb3a4518928f1ff7f15875f940d614bb9845e6" dependencies = [ "allocative", - "ark-ff-asm 0.5.0", - "ark-ff-macros 0.5.0", - "ark-serialize 0.5.0", - "ark-std 0.5.0", + "ark-ff-asm", + "ark-ff-macros", + "ark-serialize", + "ark-std", "arrayvec", "digest 0.10.7", "educe", @@ -457,23 +697,6 @@ dependencies = [ "zeroize", ] -[[package]] -name = "ark-ff" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f7a806ac6c8307b929df4645776290a50ee2aac754ad09d8bdf73391309e43af" -dependencies = [ - "ark-ff-asm 0.6.0", - "ark-ff-macros 0.6.0", - "ark-serialize 0.6.0", - "ark-std 0.6.0", - "digest 0.10.7", - "educe", - "num-bigint 0.4.8", - "num-traits", - "zeroize", -] - [[package]] name = "ark-ff-asm" version = "0.5.0" @@ -483,16 +706,6 @@ dependencies = [ "syn 2.0.119", ] -[[package]] -name = "ark-ff-asm" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1479009684adc073dff49a1025d3a7065b317a9ead25aaaca38cdc70058ba8a2" -dependencies = [ - "quote", - "syn 2.0.119", -] - [[package]] name = "ark-ff-macros" version = "0.5.0" @@ -505,28 +718,15 @@ dependencies = [ "syn 2.0.119", ] -[[package]] -name = "ark-ff-macros" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a0691ed21ef00ef89c1e9bda832eba493dda3ec2f8d892fb25b705f73f06bb8" -dependencies = [ - "num-bigint 0.4.8", - "num-traits", - "proc-macro2", - "quote", - "syn 2.0.119", -] - [[package]] name = "ark-poly" version = "0.5.0" source = "git+https://github.com/a16z/arkworks-algebra?branch=dev%2Ftwist-shout#76bb3a4518928f1ff7f15875f940d614bb9845e6" dependencies = [ "ahash", - "ark-ff 0.5.0", - "ark-serialize 0.5.0", - "ark-std 0.5.0", + "ark-ff", + "ark-serialize", + "ark-std", "educe", "fnv", "hashbrown 0.15.5", @@ -537,26 +737,14 @@ name = "ark-serialize" version = "0.5.0" source = "git+https://github.com/a16z/arkworks-algebra?branch=dev%2Ftwist-shout#76bb3a4518928f1ff7f15875f940d614bb9845e6" dependencies = [ - "ark-serialize-derive 0.5.0", - "ark-std 0.5.0", + "ark-serialize-derive", + "ark-std", "arrayvec", "digest 0.10.7", "num-bigint 0.4.8", "rayon", ] -[[package]] -name = "ark-serialize" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a74dd304fd536fb95d0a328e72be759209cc496a9da094c5bc56e5fea4f9e86b" -dependencies = [ - "ark-serialize-derive 0.6.0", - "ark-std 0.6.0", - "digest 0.10.7", - "num-bigint 0.4.8", -] - [[package]] name = "ark-serialize-derive" version = "0.5.0" @@ -567,17 +755,6 @@ dependencies = [ "syn 2.0.119", ] -[[package]] -name = "ark-serialize-derive" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4f153690697a2b91e5e1251ff98411ee5371500a111a0fd317a70e588eb300f9" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.119", -] - [[package]] name = "ark-std" version = "0.5.0" @@ -589,16 +766,6 @@ dependencies = [ "rayon", ] -[[package]] -name = "ark-std" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "367c9c827ed431bff6868b7aa926e05b16eb46603cc8b6e768e4a5553fa1d155" -dependencies = [ - "num-traits", - "rand 0.8.8", -] - [[package]] name = "arrayvec" version = "0.7.8" @@ -768,10 +935,10 @@ checksum = "1d07550c9036bf2ae0c684c4297d503f838287c83c53686d05370d0e139ae570" [[package]] name = "common" version = "0.2.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "allocative", - "ark-serialize 0.5.0", + "ark-serialize", "serde", "syn 3.0.5", ] @@ -950,9 +1117,9 @@ checksum = "065945e9fff3c7dac5d6f72f8260eac82ad577e7c7009b6290847d1252d14d78" dependencies = [ "ark-bn254", "ark-ec", - "ark-ff 0.5.0", - "ark-serialize 0.5.0", - "ark-std 0.5.0", + "ark-ff", + "ark-serialize", + "ark-std", "bincode 1.3.3", "blake2 0.10.6", "digest 0.10.7", @@ -1117,11 +1284,24 @@ dependencies = [ "cfg-if", "js-sys", "libc", - "r-efi", + "r-efi 5.3.0", "wasip2", "wasm-bindgen", ] +[[package]] +name = "getrandom" +version = "0.4.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "300e883d756b2e4ec94e02791f39b04b522276138852cfc41d9fb7e904106099" +dependencies = [ + "cfg-if", + "js-sys", + "libc", + "r-efi 6.0.0", + "wasm-bindgen", +] + [[package]] name = "gimli" version = "0.34.0" @@ -1198,15 +1378,6 @@ dependencies = [ "either", ] -[[package]] -name = "itertools" -version = "0.14.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2b192c782037fadd9cfa75548310488aabdbf3d2da73885b31bd0abd03351285" -dependencies = [ - "either", -] - [[package]] name = "itertools" version = "0.15.0" @@ -1222,19 +1393,44 @@ version = "1.0.18" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682" +[[package]] +name = "jolt-akita" +version = "0.1.0" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-pcs 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-planner", + "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "jolt-claims", + "jolt-crypto", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-openings", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-transcript", + "rayon", + "serde", + "tracing", +] + [[package]] name = "jolt-blindfold" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "jolt-claims", "jolt-crypto", - "jolt-field", - "jolt-poly", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-r1cs", "jolt-sumcheck", "jolt-transcript", - "jolt-utils", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "rand_core 0.6.4", "rayon", "serde", @@ -1244,17 +1440,19 @@ dependencies = [ [[package]] name = "jolt-claims" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "blake2 0.11.0", "derive_more", "jolt-claims-derive", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-lookup-tables", "jolt-openings", - "jolt-poly", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-r1cs", "jolt-riscv", - "jolt-utils", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "rayon", "serde", "thiserror", ] @@ -1262,7 +1460,7 @@ dependencies = [ [[package]] name = "jolt-claims-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "proc-macro2", "quote", @@ -1272,15 +1470,15 @@ dependencies = [ [[package]] name = "jolt-crypto" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "ark-bn254", "ark-ec", - "ark-ff 0.5.0", - "ark-serialize 0.5.0", - "ark-std 0.5.0", - "jolt-field", - "jolt-poly", + "ark-ff", + "ark-serialize", + "ark-std", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-transcript", "num-bigint 0.4.8", "num-integer", @@ -1293,17 +1491,17 @@ dependencies = [ [[package]] name = "jolt-dory" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "ark-bn254", "ark-ec", - "ark-serialize 0.5.0", + "ark-serialize", "dory-pcs", "jolt-crypto", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-openings", "jolt-optimizations", - "jolt-poly", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-transcript", "rayon", "serde", @@ -1313,11 +1511,24 @@ dependencies = [ [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" +dependencies = [ + "cc", + "num-traits", + "rand_core 0.6.4", + "rayon", + "serde", + "thiserror", +] + +[[package]] +name = "jolt-field" +version = "0.1.0" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "ark-bn254", - "ark-ff 0.5.0", - "ark-serialize 0.5.0", + "ark-ff", + "ark-serialize", "cc", "num-traits", "rand_core 0.6.4", @@ -1329,12 +1540,15 @@ dependencies = [ [[package]] name = "jolt-host" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "bincode 2.0.1", "common", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-platform", "jolt-program", "jolt-riscv", + "postcard", "serde", "tracer", "tracing", @@ -1343,19 +1557,19 @@ dependencies = [ [[package]] name = "jolt-kernels" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "jolt-claims", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-kernels-derive", "jolt-lookup-tables", "jolt-openings", - "jolt-poly", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-program", "jolt-r1cs", "jolt-riscv", "jolt-sumcheck", - "jolt-utils", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-verifier", "jolt-witness", "libc", @@ -1367,7 +1581,7 @@ dependencies = [ [[package]] name = "jolt-kernels-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "proc-macro2", "quote", @@ -1377,9 +1591,9 @@ dependencies = [ [[package]] name = "jolt-lookup-tables" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-riscv", "serde", "strum", @@ -1388,11 +1602,11 @@ dependencies = [ [[package]] name = "jolt-openings" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "jolt-crypto", - "jolt-field", - "jolt-poly", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-transcript", "serde", "thiserror", @@ -1406,9 +1620,9 @@ source = "git+https://github.com/a16z/arkworks-algebra?branch=dev%2Ftwist-shout# dependencies = [ "ark-bn254", "ark-ec", - "ark-ff 0.5.0", - "ark-serialize 0.5.0", - "ark-std 0.5.0", + "ark-ff", + "ark-serialize", + "ark-std", "arrayvec", "num-bigint 0.4.8", "num-integer", @@ -1420,7 +1634,7 @@ dependencies = [ [[package]] name = "jolt-platform" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "getrandom 0.2.17", "getrandom 0.3.4", @@ -1430,11 +1644,25 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" +dependencies = [ + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "num-traits", + "rand_core 0.6.4", + "serde", + "thiserror", + "tracing", +] + +[[package]] +name = "jolt-poly" +version = "0.1.0" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-transcript", - "jolt-utils", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "num-traits", "rand_core 0.6.4", "rayon", @@ -1446,12 +1674,13 @@ dependencies = [ [[package]] name = "jolt-program" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ - "ark-serialize 0.5.0", + "ark-serialize", "common", "jolt-riscv", "object", + "rayon", "serde", "thiserror", ] @@ -1459,17 +1688,19 @@ dependencies = [ [[package]] name = "jolt-prover" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "common", + "jolt-akita", "jolt-claims", "jolt-crypto", "jolt-dory", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-host", "jolt-kernels", "jolt-lookup-tables", "jolt-openings", - "jolt-poly", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-program", "jolt-riscv", "jolt-sumcheck", @@ -1479,30 +1710,26 @@ dependencies = [ "rayon", "serde", "thiserror", + "tracer", "tracing", ] [[package]] name = "jolt-r1cs" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ - "jolt-claims", - "jolt-field", - "jolt-poly", - "num-traits", - "rayon", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "serde", "thiserror", - "tracing", ] [[package]] name = "jolt-riscv" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ - "ark-serialize 0.5.0", + "ark-serialize", "serde", "strum", "thiserror", @@ -1511,7 +1738,7 @@ dependencies = [ [[package]] name = "jolt-sdk" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "bincode 2.0.1", "bytemuck", @@ -1519,7 +1746,7 @@ dependencies = [ "common", "jolt-crypto", "jolt-dory", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-host", "jolt-openings", "jolt-platform", @@ -1539,7 +1766,7 @@ dependencies = [ [[package]] name = "jolt-sdk-macros" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "common", "proc-macro2", @@ -1550,11 +1777,11 @@ dependencies = [ [[package]] name = "jolt-sumcheck" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "jolt-crypto", - "jolt-field", - "jolt-poly", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-r1cs", "jolt-transcript", "rand_core 0.6.4", @@ -1566,21 +1793,29 @@ dependencies = [ [[package]] name = "jolt-transcript" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "ark-bn254", - "ark-ff 0.5.0", + "ark-ff", "blake2 0.11.0", "digest 0.11.3", - "jolt-field", - "rand 0.8.8", - "spongefish 0.7.0", + "getrandom 0.4.3", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "spongefish 0.8.0", +] + +[[package]] +name = "jolt-utils" +version = "0.1.0" +source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" +dependencies = [ + "num-traits", ] [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "num-traits", "rayon", @@ -1589,9 +1824,9 @@ dependencies = [ [[package]] name = "jolt-verifier" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ - "ark-serialize 0.5.0", + "ark-serialize", "bincode 2.0.1", "blake2 0.11.0", "common", @@ -1599,12 +1834,11 @@ dependencies = [ "jolt-claims", "jolt-claims-derive", "jolt-crypto", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-lookup-tables", "jolt-openings", - "jolt-poly", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-program", - "jolt-r1cs", "jolt-riscv", "jolt-sumcheck", "jolt-transcript", @@ -1617,7 +1851,7 @@ dependencies = [ [[package]] name = "jolt-verifier-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "proc-macro2", "quote", @@ -1627,15 +1861,15 @@ dependencies = [ [[package]] name = "jolt-witness" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "common", "jolt-claims", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-lookup-tables", "jolt-program", "jolt-riscv", - "jolt-utils", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-witness-derive", "rayon", "thiserror", @@ -1645,7 +1879,7 @@ dependencies = [ [[package]] name = "jolt-witness-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "proc-macro2", "quote", @@ -1694,6 +1928,12 @@ version = "0.2.189" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2" +[[package]] +name = "libm" +version = "0.2.16" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b6d2cec3eae94f9f509c767b45932f1ada8350c4bdb85af2fcab4a3c14807981" + [[package]] name = "link-section" version = "0.19.3" @@ -1856,46 +2096,17 @@ version = "1.70.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe" -[[package]] -name = "p3-challenger" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5dbe67345642fcf37c589a6d1af9372358481750553c1bfb48572abf0592aeb3" -dependencies = [ - "p3-field 0.5.4", - "p3-maybe-rayon 0.5.4", - "p3-monty-31 0.5.4", - "p3-symmetric 0.5.4", - "p3-util 0.5.4", - "tracing", -] - [[package]] name = "p3-challenger" version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "84d5d5e1ecf2c80b09b48ce870e8abd08b643454101c5dc9d0fd71bfbd78224d" dependencies = [ - "p3-field 0.6.3", - "p3-maybe-rayon 0.6.3", - "p3-monty-31 0.6.3", - "p3-symmetric 0.6.3", - "p3-util 0.6.3", - "tracing", -] - -[[package]] -name = "p3-dft" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "83055e9db4ef464008ee8b0b9ef2b4b01a7aa1bdedf4d1c49c17e72ce247771b" -dependencies = [ - "itertools 0.14.0", - "p3-field 0.5.4", - "p3-matrix 0.5.4", - "p3-maybe-rayon 0.5.4", - "p3-util 0.5.4", - "spin 0.10.1", + "p3-field", + "p3-maybe-rayon", + "p3-monty-31", + "p3-symmetric", + "p3-util", "tracing", ] @@ -1906,30 +2117,14 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "4321a952da2721ecd85ca593ea189798dfb4e439a2cc1378ce1442091880f173" dependencies = [ "itertools 0.15.0", - "p3-field 0.6.3", - "p3-matrix 0.6.3", - "p3-maybe-rayon 0.6.3", - "p3-util 0.6.3", + "p3-field", + "p3-matrix", + "p3-maybe-rayon", + "p3-util", "spin 0.12.3", "tracing", ] -[[package]] -name = "p3-field" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "45391a9c842ff37f9a6164957c6b8ec40268ff10f9607b35e4d6192ed1ab4045" -dependencies = [ - "itertools 0.14.0", - "num-bigint 0.4.8", - "p3-maybe-rayon 0.5.4", - "p3-util 0.5.4", - "paste", - "rand 0.10.2", - "serde", - "tracing", -] - [[package]] name = "p3-field" version = "0.6.3" @@ -1938,59 +2133,28 @@ checksum = "53db75d38e04fc255826f388eca9d05976733dc9754aa3db411bc9ea1a37c1a0" dependencies = [ "itertools 0.15.0", "num-bigint 0.5.1", - "p3-maybe-rayon 0.6.3", - "p3-util 0.6.3", + "p3-maybe-rayon", + "p3-util", "paste", "rand 0.10.2", "serde", "tracing", ] -[[package]] -name = "p3-koala-bear" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "46cc96aeb0acd85147e00ecb097a40ab050afb894b60808192ac000d7f09ce70" -dependencies = [ - "p3-challenger 0.5.4", - "p3-field 0.5.4", - "p3-mds 0.5.4", - "p3-monty-31 0.5.4", - "p3-poseidon1 0.5.4", - "p3-poseidon2 0.5.4", - "p3-symmetric 0.5.4", - "rand 0.10.2", -] - [[package]] name = "p3-koala-bear" version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "70cbc82137c157673e2d33d95f936a94ce237a790d46e0a2b3165dccfc385dd6" dependencies = [ - "p3-challenger 0.6.3", - "p3-field 0.6.3", - "p3-mds 0.6.3", - "p3-monty-31 0.6.3", - "p3-poseidon1 0.6.3", - "p3-poseidon2 0.6.3", - "p3-symmetric 0.6.3", - "rand 0.10.2", -] - -[[package]] -name = "p3-matrix" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "64eb448f47bf7245ca281e3c42fb2e33d3fe5c86d283c0ef91e2fb8245b2d0e9" -dependencies = [ - "itertools 0.14.0", - "p3-field 0.5.4", - "p3-maybe-rayon 0.5.4", - "p3-util 0.5.4", + "p3-challenger", + "p3-field", + "p3-mds", + "p3-monty-31", + "p3-poseidon1", + "p3-poseidon2", + "p3-symmetric", "rand 0.10.2", - "serde", - "tracing", ] [[package]] @@ -2000,74 +2164,31 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "473eb920c446a6f4536e0d3528fbdca2a23c0e24e1d0d7767452e6d385dd335c" dependencies = [ "itertools 0.15.0", - "p3-field 0.6.3", - "p3-maybe-rayon 0.6.3", - "p3-util 0.6.3", + "p3-field", + "p3-maybe-rayon", + "p3-util", "rand 0.10.2", "serde", "tracing", ] -[[package]] -name = "p3-maybe-rayon" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7d1ffb2d24a932d4fa5258f3288130973175f1982c7606f9f7df5270c895531c" - [[package]] name = "p3-maybe-rayon" version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "e6fddfd435f96394769414cf5590b77058aa506659bf20d6592e9d1989e04440" -[[package]] -name = "p3-mds" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4139bf9ccbc3e88119a2d2e9f698a735a3e33a69a6735c3edb2ce333de972e70" -dependencies = [ - "p3-dft 0.5.4", - "p3-field 0.5.4", - "p3-symmetric 0.5.4", - "p3-util 0.5.4", - "rand 0.10.2", -] - [[package]] name = "p3-mds" version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "551ba0ab2cccd89f85a99450224898aff224e323bbf61f777ba6344f0896ef10" dependencies = [ - "p3-dft 0.6.3", - "p3-field 0.6.3", - "p3-symmetric 0.6.3", - "p3-util 0.6.3", - "rand 0.10.2", -] - -[[package]] -name = "p3-monty-31" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b6d1aa65b2f49d58dd097a99dbd3ebcb0600bbac45d86339a382839933780689" -dependencies = [ - "itertools 0.14.0", - "num-bigint 0.4.8", - "p3-dft 0.5.4", - "p3-field 0.5.4", - "p3-matrix 0.5.4", - "p3-maybe-rayon 0.5.4", - "p3-mds 0.5.4", - "p3-poseidon1 0.5.4", - "p3-poseidon2 0.5.4", - "p3-symmetric 0.5.4", - "p3-util 0.5.4", - "paste", + "p3-dft", + "p3-field", + "p3-symmetric", + "p3-util", "rand 0.10.2", - "serde", - "spin 0.10.1", - "tracing", ] [[package]] @@ -2078,15 +2199,15 @@ checksum = "871f635f7340cd0868b17e43e0c98fefdafdaed90469d0725caf6d8372a2a47c" dependencies = [ "itertools 0.15.0", "num-bigint 0.5.1", - "p3-dft 0.6.3", - "p3-field 0.6.3", - "p3-matrix 0.6.3", - "p3-maybe-rayon 0.6.3", - "p3-mds 0.6.3", - "p3-poseidon1 0.6.3", - "p3-poseidon2 0.6.3", - "p3-symmetric 0.6.3", - "p3-util 0.6.3", + "p3-dft", + "p3-field", + "p3-matrix", + "p3-maybe-rayon", + "p3-mds", + "p3-poseidon1", + "p3-poseidon2", + "p3-symmetric", + "p3-util", "paste", "rand 0.10.2", "serde", @@ -2094,39 +2215,15 @@ dependencies = [ "tracing", ] -[[package]] -name = "p3-poseidon1" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c57b5971577e54cb6aa969d75a92c0b7f5d1417722562bf6ffe687f05a003ef4" -dependencies = [ - "p3-field 0.5.4", - "p3-symmetric 0.5.4", - "rand 0.10.2", -] - [[package]] name = "p3-poseidon1" version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "8d0d304e9a1f29c0d66534aa84e69528e2118351fdce08dcf5898af4e0fecc32" dependencies = [ - "p3-field 0.6.3", - "p3-mds 0.6.3", - "p3-symmetric 0.6.3", - "rand 0.10.2", -] - -[[package]] -name = "p3-poseidon2" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c44d9bcb4972381b7ad44bb7f675233fce9ff072777dd3c027f912cf04bed8da" -dependencies = [ - "p3-field 0.5.4", - "p3-mds 0.5.4", - "p3-symmetric 0.5.4", - "p3-util 0.5.4", + "p3-field", + "p3-mds", + "p3-symmetric", "rand 0.10.2", ] @@ -2136,25 +2233,13 @@ version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "43eb8a73a26d14becaed1c67c3e8a047e4311d7909b402383c82ca9643ba17c6" dependencies = [ - "p3-field 0.6.3", - "p3-mds 0.6.3", - "p3-symmetric 0.6.3", - "p3-util 0.6.3", + "p3-field", + "p3-mds", + "p3-symmetric", + "p3-util", "rand 0.10.2", ] -[[package]] -name = "p3-symmetric" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "af42757f727b25aca1eac49f2562ad2131c99d259d7143e89075e7b7be6b7952" -dependencies = [ - "itertools 0.14.0", - "p3-field 0.5.4", - "p3-util 0.5.4", - "serde", -] - [[package]] name = "p3-symmetric" version = "0.6.3" @@ -2162,19 +2247,9 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2015ea80cad969b6aabf27a04884286fe1354393b166d968ee0d80a95126b2a4" dependencies = [ "itertools 0.15.0", - "p3-field 0.6.3", - "p3-util 0.6.3", - "serde", -] - -[[package]] -name = "p3-util" -version = "0.5.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d67ad92cd9397a7377acd7116d0920b603ba7bec9a3528ab56fe1224586f44c6" -dependencies = [ + "p3-field", + "p3-util", "serde", - "transpose", ] [[package]] @@ -2249,6 +2324,12 @@ version = "5.3.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f" +[[package]] +name = "r-efi" +version = "6.0.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" + [[package]] name = "rand" version = "0.8.8" @@ -2526,15 +2607,6 @@ version = "0.9.9" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "3763264f6b73151db08c50ff20d7d8a0b8796e021cdea7ceedad07b80155fa0e" -[[package]] -name = "spin" -version = "0.10.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "023a211cb3138dbc438680b32560ad89f699977624c9f8dbb95a47d5b4c07dd3" -dependencies = [ - "lock_api", -] - [[package]] name = "spin" version = "0.12.3" @@ -2561,14 +2633,13 @@ checksum = "3a0219bd7d979d58245a4f41f695e1ac9f8befdffadd7f61f1bae9e39abc6620" [[package]] name = "spongefish" -version = "0.7.0" -source = "git+https://github.com/arkworks-rs/spongefish?rev=d2d190b1329d35ac9577438d05aed4f17a57b9f9#d2d190b1329d35ac9577438d05aed4f17a57b9f9" +version = "0.7.4" +source = "git+https://github.com/arkworks-rs/spongefish?rev=ef9741346a150039427d9e0c02d6b2d73e93ec81#ef9741346a150039427d9e0c02d6b2d73e93ec81" dependencies = [ - "ark-ff 0.6.0", - "ark-serialize 0.6.0", "blake2 0.11.0", "digest 0.11.3", - "p3-koala-bear 0.5.4", + "keccak 0.2.2", + "p3-koala-bear", "rand 0.8.8", "sha2", "sha3 0.11.0", @@ -2576,16 +2647,15 @@ dependencies = [ [[package]] name = "spongefish" -version = "0.7.4" -source = "git+https://github.com/arkworks-rs/spongefish?rev=ef9741346a150039427d9e0c02d6b2d73e93ec81#ef9741346a150039427d9e0c02d6b2d73e93ec81" +version = "0.8.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "62560b5029264a655fc461a0ecadc4d24862799190897d3225b3272b7a3f13b7" dependencies = [ - "blake2 0.11.0", "digest 0.11.3", - "keccak 0.2.2", - "p3-koala-bear 0.6.3", - "rand 0.8.8", - "sha2", - "sha3 0.11.0", + "getrandom 0.4.3", + "shake", + "turboshake", + "zeroize", ] [[package]] @@ -2594,12 +2664,6 @@ version = "1.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596" -[[package]] -name = "strength_reduce" -version = "0.2.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fe895eb47f22e2ddd4dabc02bce419d2e643c8e3b585c78158b349195bc24d82" - [[package]] name = "strsim" version = "0.11.1" @@ -2687,17 +2751,17 @@ dependencies = [ [[package]] name = "tracer" version = "0.2.0" -source = "git+https://github.com/a16z/jolt?rev=c7c2d08d5bb0c7c80501f29f723e595af7fcff3c#c7c2d08d5bb0c7c80501f29f723e595af7fcff3c" +source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" dependencies = [ "addr2line", - "ark-serialize 0.5.0", + "ark-serialize", "clap", "common", "derive_more", "fnv", "inventory", "itertools 0.15.0", - "jolt-field", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", "jolt-platform", "jolt-program", "jolt-riscv", @@ -2776,13 +2840,14 @@ dependencies = [ ] [[package]] -name = "transpose" -version = "0.2.3" +name = "turboshake" +version = "0.7.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1ad61aed86bc3faea4300c7aee358b4c6d0c8d6ccc36524c96e4c92ccf26e77e" +checksum = "f892c6904b0bd5a9241eac848347abcbbbd2b9f3892bad23ac3e6efab8d6f06a" dependencies = [ - "num-integer", - "strength_reduce", + "digest 0.11.3", + "keccak 0.2.2", + "sponge-cursor", ] [[package]] diff --git a/profile/akita-recursion/artifact/Cargo.toml b/profile/akita-recursion/artifact/Cargo.toml index e5cb1f054..6c9868657 100644 --- a/profile/akita-recursion/artifact/Cargo.toml +++ b/profile/akita-recursion/artifact/Cargo.toml @@ -16,7 +16,7 @@ akita-recursion-glue = { path = "../glue" } akita-serialization = { path = "../../../crates/akita-serialization" } akita-config = { path = "../../../crates/akita-config", default-features = false, features = [ ] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/glue/Cargo.toml b/profile/akita-recursion/glue/Cargo.toml index 6feb12f28..617c16530 100644 --- a/profile/akita-recursion/glue/Cargo.toml +++ b/profile/akita-recursion/glue/Cargo.toml @@ -27,7 +27,7 @@ trusted-benchmark-artifact = [] akita-error = { version = "0.1.0", path = "../../../crates/akita-error" } akita-algebra = { version = "0.1.0", path = "../../../crates/akita-algebra" } akita-config = { version = "0.1.0", path = "../../../crates/akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/guest/Cargo.toml b/profile/akita-recursion/guest/Cargo.toml index 4ddea5b6c..a50e037ff 100644 --- a/profile/akita-recursion/guest/Cargo.toml +++ b/profile/akita-recursion/guest/Cargo.toml @@ -34,11 +34,11 @@ trusted-benchmark-artifact = ["akita-recursion-glue/trusted-benchmark-artifact"] akita-error = { path = "../../../crates/akita-error" } # Aliased as `jolt` so `#[jolt::provable]` and `jolt::start_cycle_tracking` # resolve the same way as in the upstream Jolt examples. -jolt = { package = "jolt-sdk", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false } +jolt = { package = "jolt-sdk", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } akita-recursion-glue = { path = "../glue" } akita-config = { path = "../../../crates/akita-config", default-features = false, features = [ ] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/host/Cargo.toml b/profile/akita-recursion/host/Cargo.toml index a9cabacaf..fd296af87 100644 --- a/profile/akita-recursion/host/Cargo.toml +++ b/profile/akita-recursion/host/Cargo.toml @@ -14,7 +14,7 @@ name = "akita-recursion-host" path = "src/main.rs" [dependencies] -jolt-sdk = { git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", default-features = false, features = [ +jolt-sdk = { git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ "host", ] } # We pin `jolt-sdk-macros` with `guest-std` directly so that the @@ -22,7 +22,7 @@ jolt-sdk = { git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f2 # its own `cfg(feature = "guest-std")` at host compile time). Going through # `jolt-sdk/guest-std` would also pull `zeroos-runtime-musl` in for the # host build, which fails to link on macOS / non-musl platforms. -jolt-sdk-macros = { git = "https://github.com/a16z/jolt", rev = "c7c2d08d5bb0c7c80501f29f723e595af7fcff3c", features = [ +jolt-sdk-macros = { git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", features = [ "guest-std", ] } guest = { package = "akita-recursion-guest", path = "../guest", features = [ diff --git a/scripts/check-jolt-pins-on-main.sh b/scripts/check-jolt-pins-on-main.sh new file mode 100755 index 000000000..e7bafb4e7 --- /dev/null +++ b/scripts/check-jolt-pins-on-main.sh @@ -0,0 +1,76 @@ +#!/usr/bin/env bash +set -euo pipefail + +# Every a16z/jolt revision Akita pins must be an ancestor of Jolt `main`. +# A commit that lives only on an unmerged branch can be garbage-collected +# once that branch is squash-merged or deleted, and the pin then stops +# resolving. +# +# Scans every tracked Cargo.toml (rev = "...") and Cargo.lock +# (?rev=...#) in the root, fuzz, and profile workspaces. A Jolt +# dependency pinned by branch or tag, or by an abbreviated rev, is rejected: +# only a full commit hash names an immutable revision. +# +# The ancestry check needs Jolt main's full commit graph, not a shallow +# history: a depth-limited clone would report an old pin as unrelated. A +# treeless partial clone fetches every commit and nothing else. + +JOLT_URL="${JOLT_URL:-https://github.com/a16z/jolt}" +JOLT_MAIN_BRANCH="${JOLT_MAIN_BRANCH:-main}" + +cd "$(git rev-parse --show-toplevel)" + +revs_file="$(mktemp)" +jolt_dir="$(mktemp -d)" +trap 'rm -rf "$revs_file" "$jolt_dir"' EXIT + +jolt_source='github\.com/a16z/jolt(\.git)?' +status=0 + +while IFS= read -r file; do + case "$file" in + *Cargo.toml) + while IFS= read -r line; do + number="${line%%:*}" + if [[ "$line" =~ rev[[:space:]]*=[[:space:]]*\"([0-9a-f]{40})\" ]]; then + printf '%s %s:%s\n' "${BASH_REMATCH[1]}" "$file" "$number" >>"$revs_file" + else + echo "error: $file:$number pins a16z/jolt without a full 40-hex rev" >&2 + status=1 + fi + done < <(grep -nE "git[[:space:]]*=[[:space:]]*\"https://$jolt_source\"" "$file" || true) + ;; + *Cargo.lock) + while IFS= read -r line; do + number="${line%%:*}" + if [[ "$line" =~ \?rev=[0-9a-f]+#([0-9a-f]{40})\" ]]; then + printf '%s %s:%s\n' "${BASH_REMATCH[1]}" "$file" "$number" >>"$revs_file" + else + echo "error: $file:$number resolves a16z/jolt without a pinned rev" >&2 + status=1 + fi + done < <(grep -nE "source = \"git\+https://$jolt_source[?#]" "$file" || true) + ;; + esac +done < <(git ls-files -- 'Cargo.toml' '*/Cargo.toml' 'Cargo.lock' '*/Cargo.lock') + +if [[ ! -s "$revs_file" ]]; then + echo "no a16z/jolt pins found" + exit "$status" +fi + +git clone --quiet --bare --filter=tree:0 --single-branch --no-tags \ + --branch "$JOLT_MAIN_BRANCH" "$JOLT_URL" "$jolt_dir" +main_head="$(git -C "$jolt_dir" rev-parse "refs/heads/$JOLT_MAIN_BRANCH")" + +while read -r rev; do + if git -C "$jolt_dir" merge-base --is-ancestor "$rev" "$main_head" 2>/dev/null; then + echo "ok: $rev is on a16z/jolt $JOLT_MAIN_BRANCH" + else + echo "error: $rev is not an ancestor of a16z/jolt $JOLT_MAIN_BRANCH ($main_head); pinned at:" >&2 + grep "^$rev " "$revs_file" | cut -d' ' -f2- | sed 's/^/ /' >&2 + status=1 + fi +done < <(cut -d' ' -f1 "$revs_file" | sort -u) + +exit "$status" From 5333ddb5415b4da3911a00894db8b97b976ff5f4 Mon Sep 17 00:00:00 2001 From: Quang Dao Date: Fri, 23 Oct 2026 14:13:27 -0400 Subject: [PATCH 2/4] fix(profile): pin Jolt main 14315e958 and handle verify's Result Jolt main's generated verifier now returns Result<(), VerifierError> instead of bool (a16z/jolt#2064), so the recursion host's `!is_valid` no longer compiles. The host reports the verifier's error and logs `accepted` in place of `is_valid`; the README and the Book follow. Every pin moves to Jolt main 14315e958, which also carries #2107. That change moves Jolt's own Akita pin to dfdbd7674 (Akita main, NIST category 3), which reaches the recursion profile's lockfile only through jolt-sdk; dfdbd7674 pins Jolt 1618f4b6d, also on main. Proof blobs are unchanged. --- Cargo.lock | 8 +- book/src/usage/jolt-recursion.md | 2 +- crates/akita-algebra/Cargo.toml | 4 +- crates/akita-challenges/Cargo.toml | 2 +- crates/akita-config/Cargo.toml | 2 +- crates/akita-cpu-backend/Cargo.toml | 4 +- crates/akita-labinius-prover/Cargo.toml | 4 +- crates/akita-labinius-verifier/Cargo.toml | 2 +- crates/akita-metal/Cargo.toml | 4 +- crates/akita-params/Cargo.toml | 2 +- crates/akita-pcs/Cargo.toml | 4 +- crates/akita-prover/Cargo.toml | 4 +- crates/akita-serialization/Cargo.toml | 4 +- crates/akita-setup/Cargo.toml | 2 +- crates/akita-sumcheck/Cargo.toml | 4 +- crates/akita-transcript/Cargo.toml | 2 +- crates/akita-types/Cargo.toml | 4 +- crates/akita-verifier/Cargo.toml | 4 +- crates/akita-zk-prover/Cargo.toml | 2 +- crates/akita-zk-verifier/Cargo.toml | 2 +- fuzz/Cargo.lock | 6 +- fuzz/Cargo.toml | 2 +- profile/akita-recursion/Cargo.lock | 412 ++++++++++---------- profile/akita-recursion/README.md | 2 +- profile/akita-recursion/artifact/Cargo.toml | 2 +- profile/akita-recursion/glue/Cargo.toml | 2 +- profile/akita-recursion/guest/Cargo.toml | 4 +- profile/akita-recursion/host/Cargo.toml | 4 +- profile/akita-recursion/host/src/main.rs | 8 +- 29 files changed, 253 insertions(+), 255 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 698a34fd4..7cb9e61e1 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1012,7 +1012,7 @@ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682" [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "bytemuck", "cc", @@ -1026,7 +1026,7 @@ dependencies = [ [[package]] name = "jolt-metal" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "bytemuck", "jolt-field", @@ -1039,7 +1039,7 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "jolt-field", "jolt-utils", @@ -1053,7 +1053,7 @@ dependencies = [ [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "num-traits", ] diff --git a/book/src/usage/jolt-recursion.md b/book/src/usage/jolt-recursion.md index 33b1e45ac..ba83ef040 100644 --- a/book/src/usage/jolt-recursion.md +++ b/book/src/usage/jolt-recursion.md @@ -140,7 +140,7 @@ ZEROOS_GUEST_RUSTFLAGS=-Zunstable-options \ The full command performs Jolt preprocessing, proves the guest execution, and verifies the resulting Jolt proof. Success ends with -`Akita-in-Jolt proof OK`, `is_valid=true`, and `guest_panic=false`. +`Akita-in-Jolt proof OK`, `accepted=true`, and `guest_panic=false`. The 32 variable target is intended for a server with enough memory for its large input and trace. Measure it with `--trace-only` first. The current diff --git a/crates/akita-algebra/Cargo.toml b/crates/akita-algebra/Cargo.toml index d2ca65072..242a2cf6f 100644 --- a/crates/akita-algebra/Cargo.toml +++ b/crates/akita-algebra/Cargo.toml @@ -10,11 +10,11 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } rand_core = { version = "0.6", features = ["getrandom"] } rayon = { version = "1.10", optional = true } diff --git a/crates/akita-challenges/Cargo.toml b/crates/akita-challenges/Cargo.toml index 2d3a22b04..7dd227a18 100644 --- a/crates/akita-challenges/Cargo.toml +++ b/crates/akita-challenges/Cargo.toml @@ -11,7 +11,7 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } serde = { version = "1", features = ["derive"] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-config/Cargo.toml b/crates/akita-config/Cargo.toml index 387e95fce..e2b415acf 100644 --- a/crates/akita-config/Cargo.toml +++ b/crates/akita-config/Cargo.toml @@ -31,7 +31,7 @@ dev-protocol = ["akita-params/dev-protocol"] [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-cpu-backend/Cargo.toml b/crates/akita-cpu-backend/Cargo.toml index cfaf48430..cf5b14f20 100644 --- a/crates/akita-cpu-backend/Cargo.toml +++ b/crates/akita-cpu-backend/Cargo.toml @@ -14,11 +14,11 @@ akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-labinius-prover/Cargo.toml b/crates/akita-labinius-prover/Cargo.toml index 8d9e04c2d..40082b981 100644 --- a/crates/akita-labinius-prover/Cargo.toml +++ b/crates/akita-labinius-prover/Cargo.toml @@ -17,12 +17,12 @@ tracing = "0.1" akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-params = { version = "0.1.0", path = "../akita-params", default-features = false } akita-labinius-verifier = { version = "0.1.0", path = "../akita-labinius-verifier", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } [dev-dependencies] akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-labinius-verifier/Cargo.toml b/crates/akita-labinius-verifier/Cargo.toml index 124be3691..b486e2574 100644 --- a/crates/akita-labinius-verifier/Cargo.toml +++ b/crates/akita-labinius-verifier/Cargo.toml @@ -17,7 +17,7 @@ akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-fe akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-params = { version = "0.1.0", path = "../akita-params", default-features = false } akita-types = { version = "0.1.0", path = "../akita-types", default-features = false, optional = true } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-metal/Cargo.toml b/crates/akita-metal/Cargo.toml index 9820c2ca5..450e55b01 100644 --- a/crates/akita-metal/Cargo.toml +++ b/crates/akita-metal/Cargo.toml @@ -18,11 +18,11 @@ akita-cpu-backend = { version = "0.1.0", path = "../akita-cpu-backend", default- akita-error = { version = "0.1.0", path = "../akita-error" } akita-types = { version = "0.1.0", path = "../akita-types", default-features = false } bytemuck = { version = "1.16", features = ["derive"] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "bytemuck", "solinas", ] } -jolt-metal = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34" } +jolt-metal = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937" } thiserror = "2.0" [dev-dependencies] diff --git a/crates/akita-params/Cargo.toml b/crates/akita-params/Cargo.toml index 1977603f9..808e58f5a 100644 --- a/crates/akita-params/Cargo.toml +++ b/crates/akita-params/Cargo.toml @@ -12,7 +12,7 @@ readme = "../../README.md" akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-pcs/Cargo.toml b/crates/akita-pcs/Cargo.toml index bdfd8f9e6..19cc4f797 100644 --- a/crates/akita-pcs/Cargo.toml +++ b/crates/akita-pcs/Cargo.toml @@ -104,7 +104,7 @@ akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } akita-cpu-backend = { version = "0.1.0", path = "../akita-cpu-backend", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } @@ -119,7 +119,7 @@ tracing = "0.1" rayon = { version = "1.10", optional = true } [dev-dependencies] -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } # Test-only: pull in `akita-config`'s workspace artifact loader and ring-plan # seed. Schedule rows remain checked-in external artifacts loaded at runtime. akita-config = { version = "0.1.0", path = "../akita-config", default-features = false, features = [ diff --git a/crates/akita-prover/Cargo.toml b/crates/akita-prover/Cargo.toml index f4e6c57ab..c75a0c763 100644 --- a/crates/akita-prover/Cargo.toml +++ b/crates/akita-prover/Cargo.toml @@ -13,11 +13,11 @@ akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-serialization/Cargo.toml b/crates/akita-serialization/Cargo.toml index fdcee1b7e..79fe6a377 100644 --- a/crates/akita-serialization/Cargo.toml +++ b/crates/akita-serialization/Cargo.toml @@ -9,11 +9,11 @@ repository = "https://github.com/LayerZero-Labs/akita" readme = "../../README.md" [dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } thiserror = "2.0" [lints] diff --git a/crates/akita-setup/Cargo.toml b/crates/akita-setup/Cargo.toml index f61d0a67a..49e887942 100644 --- a/crates/akita-setup/Cargo.toml +++ b/crates/akita-setup/Cargo.toml @@ -29,7 +29,7 @@ disk-persistence = ["akita-cpu-backend/disk-persistence"] akita-error = { version = "0.1.0", path = "../akita-error" } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } akita-cpu-backend = { version = "0.1.0", path = "../akita-cpu-backend", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-sumcheck/Cargo.toml b/crates/akita-sumcheck/Cargo.toml index 545fff6cd..8e6334a9d 100644 --- a/crates/akita-sumcheck/Cargo.toml +++ b/crates/akita-sumcheck/Cargo.toml @@ -11,11 +11,11 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-transcript/Cargo.toml b/crates/akita-transcript/Cargo.toml index 082abb50c..942dbbb5d 100644 --- a/crates/akita-transcript/Cargo.toml +++ b/crates/akita-transcript/Cargo.toml @@ -10,7 +10,7 @@ readme = "../../README.md" [dependencies] akita-error = { version = "0.1.0", path = "../akita-error" } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/crates/akita-types/Cargo.toml b/crates/akita-types/Cargo.toml index 156b5839b..46dbca69f 100644 --- a/crates/akita-types/Cargo.toml +++ b/crates/akita-types/Cargo.toml @@ -13,11 +13,11 @@ akita-params = { version = "0.1.0", path = "../akita-params", default-features = akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-verifier/Cargo.toml b/crates/akita-verifier/Cargo.toml index e81fc450e..40cad49f1 100644 --- a/crates/akita-verifier/Cargo.toml +++ b/crates/akita-verifier/Cargo.toml @@ -18,11 +18,11 @@ akita-error = { version = "0.1.0", path = "../akita-error" } akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-challenges = { version = "0.1.0", path = "../akita-challenges", default-features = false } akita-config = { version = "0.1.0", path = "../akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } -jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt-poly = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-serialization = { version = "0.1.0", path = "../akita-serialization" } akita-sumcheck = { version = "0.1.0", path = "../akita-sumcheck", default-features = false } akita-transcript = { version = "0.1.0", path = "../akita-transcript", default-features = false } diff --git a/crates/akita-zk-prover/Cargo.toml b/crates/akita-zk-prover/Cargo.toml index 2ac8c7c59..d94d2f5af 100644 --- a/crates/akita-zk-prover/Cargo.toml +++ b/crates/akita-zk-prover/Cargo.toml @@ -16,7 +16,7 @@ akita-algebra = { version = "0.1.0", path = "../akita-algebra" } rand_core = "0.6" [dev-dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "solinas", ] } rand = "0.8" diff --git a/crates/akita-zk-verifier/Cargo.toml b/crates/akita-zk-verifier/Cargo.toml index c7a739a73..8ecfb1887 100644 --- a/crates/akita-zk-verifier/Cargo.toml +++ b/crates/akita-zk-verifier/Cargo.toml @@ -16,7 +16,7 @@ akita-algebra = { version = "0.1.0", path = "../akita-algebra" } akita-error = { version = "0.1.0", path = "../akita-error" } [dev-dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "solinas", ] } rand = "0.8" diff --git a/fuzz/Cargo.lock b/fuzz/Cargo.lock index f01c9bab3..b2bc54f0d 100644 --- a/fuzz/Cargo.lock +++ b/fuzz/Cargo.lock @@ -227,7 +227,7 @@ dependencies = [ [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "cc", "num-traits", @@ -239,7 +239,7 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "jolt-field", "jolt-utils", @@ -253,7 +253,7 @@ dependencies = [ [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "num-traits", ] diff --git a/fuzz/Cargo.toml b/fuzz/Cargo.toml index 508527868..a74b121bb 100644 --- a/fuzz/Cargo.toml +++ b/fuzz/Cargo.toml @@ -8,7 +8,7 @@ publish = false cargo-fuzz = true [dependencies] -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/Cargo.lock b/profile/akita-recursion/Cargo.lock index 10a567080..7ccc1c3d7 100644 --- a/profile/akita-recursion/Cargo.lock +++ b/profile/akita-recursion/Cargo.lock @@ -51,8 +51,8 @@ version = "0.1.0" dependencies = [ "akita-error 0.1.0", "akita-serialization 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rand_core 0.6.4", "rayon", "tracing", @@ -61,10 +61,10 @@ dependencies = [ [[package]] name = "akita-algebra" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rand_core 0.6.4", @@ -78,7 +78,7 @@ version = "0.1.0" dependencies = [ "akita-error 0.1.0", "akita-transcript 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "keccak 0.1.6", "serde", "smallvec", @@ -87,10 +87,10 @@ dependencies = [ [[package]] name = "akita-challenges" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "keccak 0.1.6", "serde", @@ -108,21 +108,21 @@ dependencies = [ "akita-serialization 0.1.0", "akita-transcript 0.1.0", "akita-types 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", ] [[package]] name = "akita-config" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", ] @@ -140,8 +140,8 @@ dependencies = [ "akita-sumcheck 0.1.0", "akita-transcript 0.1.0", "akita-types 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rayon", "tracing", ] @@ -149,18 +149,18 @@ dependencies = [ [[package]] name = "akita-cpu-backend" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" -dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-prover 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-prover 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rayon", @@ -177,7 +177,7 @@ dependencies = [ [[package]] name = "akita-error" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ "thiserror", ] @@ -193,7 +193,7 @@ dependencies = [ "akita-sumcheck 0.1.0", "akita-transcript 0.1.0", "blake2 0.11.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "serde", "sha3 0.12.0", ] @@ -201,14 +201,14 @@ dependencies = [ [[package]] name = "akita-params" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "blake2 0.11.0", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "serde", @@ -231,7 +231,7 @@ dependencies = [ "akita-transcript 0.1.0", "akita-types 0.1.0", "akita-verifier 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rayon", "tracing", ] @@ -239,20 +239,20 @@ dependencies = [ [[package]] name = "akita-pcs" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" -dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-cpu-backend 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-prover 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-setup 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-verifier 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-cpu-backend 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-prover 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-setup 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-verifier 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rayon", "tracing", @@ -261,12 +261,12 @@ dependencies = [ [[package]] name = "akita-planner" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "libm", ] @@ -283,25 +283,25 @@ dependencies = [ "akita-sumcheck 0.1.0", "akita-transcript 0.1.0", "akita-types 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "tracing", ] [[package]] name = "akita-prover" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" -dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "tracing", @@ -322,7 +322,7 @@ dependencies = [ "akita-types 0.1.0", "akita-verifier 0.1.0", "clap", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rand 0.8.8", "rayon", "tracing", @@ -341,7 +341,7 @@ dependencies = [ "akita-schedules 0.1.0", "akita-serialization 0.1.0", "akita-types 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", ] [[package]] @@ -355,7 +355,7 @@ dependencies = [ "akita-serialization 0.1.0", "akita-types 0.1.0", "akita-verifier 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-sdk", ] @@ -390,11 +390,11 @@ dependencies = [ [[package]] name = "akita-schedules" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "serde", "serde_json", ] @@ -403,15 +403,15 @@ dependencies = [ name = "akita-serialization" version = "0.1.0" dependencies = [ - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "thiserror", ] [[package]] name = "akita-serialization" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", @@ -428,21 +428,21 @@ dependencies = [ "akita-params 0.1.0", "akita-serialization 0.1.0", "akita-types 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "tracing", ] [[package]] name = "akita-setup" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-cpu-backend 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-cpu-backend 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "tracing", ] @@ -455,19 +455,19 @@ dependencies = [ "akita-error 0.1.0", "akita-serialization 0.1.0", "akita-transcript 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", ] [[package]] name = "akita-sumcheck" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", ] @@ -477,16 +477,16 @@ name = "akita-transcript" version = "0.1.0" dependencies = [ "akita-error 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "spongefish 0.7.4", ] [[package]] name = "akita-transcript" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "spongefish 0.7.4", ] @@ -502,8 +502,8 @@ dependencies = [ "akita-serialization 0.1.0", "akita-sumcheck 0.1.0", "akita-transcript 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rand_core 0.6.4", "shake", "tracing", @@ -512,15 +512,15 @@ dependencies = [ [[package]] name = "akita-types" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rand_core 0.6.4", @@ -541,8 +541,8 @@ dependencies = [ "akita-sumcheck 0.1.0", "akita-transcript 0.1.0", "akita-types 0.1.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rayon", "tracing", ] @@ -550,17 +550,17 @@ dependencies = [ [[package]] name = "akita-verifier" version = "0.1.0" -source = "git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891#d0c375ec2d76c9c548cc074d63599dc5432eb891" -dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", +source = "git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b#dfdbd7674cab5cfbe95243e947d1b10a982f232b" +dependencies = [ + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-serialization 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-sumcheck 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-transcript 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "rayon", @@ -935,7 +935,7 @@ checksum = "1d07550c9036bf2ae0c684c4297d503f838287c83c53686d05370d0e139ae570" [[package]] name = "common" version = "0.2.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "allocative", "ark-serialize", @@ -1396,22 +1396,22 @@ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682" [[package]] name = "jolt-akita" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ - "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-pcs 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-algebra 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-challenges 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-config 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-error 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-params 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-pcs 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "akita-planner", - "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", - "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=d0c375ec2d76c9c548cc074d63599dc5432eb891)", + "akita-schedules 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", + "akita-types 0.1.0 (git+https://github.com/LayerZero-Labs/akita.git?rev=dfdbd7674cab5cfbe95243e947d1b10a982f232b)", "jolt-claims", "jolt-crypto", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-openings", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-transcript", "rayon", "serde", @@ -1421,16 +1421,16 @@ dependencies = [ [[package]] name = "jolt-blindfold" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "jolt-claims", "jolt-crypto", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-r1cs", "jolt-sumcheck", "jolt-transcript", - "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rand_core 0.6.4", "rayon", "serde", @@ -1440,18 +1440,18 @@ dependencies = [ [[package]] name = "jolt-claims" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "blake2 0.11.0", "derive_more", "jolt-claims-derive", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-lookup-tables", "jolt-openings", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-r1cs", "jolt-riscv", - "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "rayon", "serde", "thiserror", @@ -1460,7 +1460,7 @@ dependencies = [ [[package]] name = "jolt-claims-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "proc-macro2", "quote", @@ -1470,15 +1470,15 @@ dependencies = [ [[package]] name = "jolt-crypto" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "ark-bn254", "ark-ec", "ark-ff", "ark-serialize", "ark-std", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-transcript", "num-bigint 0.4.8", "num-integer", @@ -1491,17 +1491,17 @@ dependencies = [ [[package]] name = "jolt-dory" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "ark-bn254", "ark-ec", "ark-serialize", "dory-pcs", "jolt-crypto", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-openings", "jolt-optimizations", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-transcript", "rayon", "serde", @@ -1511,8 +1511,11 @@ dependencies = [ [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ + "ark-bn254", + "ark-ff", + "ark-serialize", "cc", "num-traits", "rand_core 0.6.4", @@ -1524,11 +1527,8 @@ dependencies = [ [[package]] name = "jolt-field" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" dependencies = [ - "ark-bn254", - "ark-ff", - "ark-serialize", "cc", "num-traits", "rand_core 0.6.4", @@ -1540,11 +1540,11 @@ dependencies = [ [[package]] name = "jolt-host" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "bincode 2.0.1", "common", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-platform", "jolt-program", "jolt-riscv", @@ -1557,19 +1557,19 @@ dependencies = [ [[package]] name = "jolt-kernels" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "jolt-claims", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-kernels-derive", "jolt-lookup-tables", "jolt-openings", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-program", "jolt-r1cs", "jolt-riscv", "jolt-sumcheck", - "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-verifier", "jolt-witness", "libc", @@ -1581,7 +1581,7 @@ dependencies = [ [[package]] name = "jolt-kernels-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "proc-macro2", "quote", @@ -1591,9 +1591,9 @@ dependencies = [ [[package]] name = "jolt-lookup-tables" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-riscv", "serde", "strum", @@ -1602,11 +1602,11 @@ dependencies = [ [[package]] name = "jolt-openings" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "jolt-crypto", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-transcript", "serde", "thiserror", @@ -1634,7 +1634,7 @@ dependencies = [ [[package]] name = "jolt-platform" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "getrandom 0.2.17", "getrandom 0.3.4", @@ -1644,12 +1644,14 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", - "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-transcript", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "num-traits", "rand_core 0.6.4", + "rayon", "serde", "thiserror", "tracing", @@ -1658,14 +1660,12 @@ dependencies = [ [[package]] name = "jolt-poly" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" dependencies = [ - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-transcript", - "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f)", "num-traits", "rand_core 0.6.4", - "rayon", "serde", "thiserror", "tracing", @@ -1674,7 +1674,7 @@ dependencies = [ [[package]] name = "jolt-program" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "ark-serialize", "common", @@ -1688,19 +1688,19 @@ dependencies = [ [[package]] name = "jolt-prover" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "common", "jolt-akita", "jolt-claims", "jolt-crypto", "jolt-dory", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-host", "jolt-kernels", "jolt-lookup-tables", "jolt-openings", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-program", "jolt-riscv", "jolt-sumcheck", @@ -1717,9 +1717,9 @@ dependencies = [ [[package]] name = "jolt-r1cs" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "serde", "thiserror", ] @@ -1727,7 +1727,7 @@ dependencies = [ [[package]] name = "jolt-riscv" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "ark-serialize", "serde", @@ -1738,7 +1738,7 @@ dependencies = [ [[package]] name = "jolt-sdk" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "bincode 2.0.1", "bytemuck", @@ -1746,7 +1746,7 @@ dependencies = [ "common", "jolt-crypto", "jolt-dory", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-host", "jolt-openings", "jolt-platform", @@ -1766,7 +1766,7 @@ dependencies = [ [[package]] name = "jolt-sdk-macros" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "common", "proc-macro2", @@ -1777,11 +1777,11 @@ dependencies = [ [[package]] name = "jolt-sumcheck" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "jolt-crypto", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-r1cs", "jolt-transcript", "rand_core 0.6.4", @@ -1793,38 +1793,38 @@ dependencies = [ [[package]] name = "jolt-transcript" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "ark-bn254", "ark-ff", "blake2 0.11.0", "digest 0.11.3", "getrandom 0.4.3", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "spongefish 0.8.0", ] [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "num-traits", + "rayon", ] [[package]] name = "jolt-utils" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=1618f4b6dc97effcec3568ca7cf2b7420ac9e75f#1618f4b6dc97effcec3568ca7cf2b7420ac9e75f" dependencies = [ "num-traits", - "rayon", ] [[package]] name = "jolt-verifier" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "ark-serialize", "bincode 2.0.1", @@ -1834,10 +1834,10 @@ dependencies = [ "jolt-claims", "jolt-claims-derive", "jolt-crypto", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-lookup-tables", "jolt-openings", - "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-poly 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-program", "jolt-riscv", "jolt-sumcheck", @@ -1851,7 +1851,7 @@ dependencies = [ [[package]] name = "jolt-verifier-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "proc-macro2", "quote", @@ -1861,15 +1861,15 @@ dependencies = [ [[package]] name = "jolt-witness" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "common", "jolt-claims", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-lookup-tables", "jolt-program", "jolt-riscv", - "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-utils 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-witness-derive", "rayon", "thiserror", @@ -1879,7 +1879,7 @@ dependencies = [ [[package]] name = "jolt-witness-derive" version = "0.1.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "proc-macro2", "quote", @@ -2751,7 +2751,7 @@ dependencies = [ [[package]] name = "tracer" version = "0.2.0" -source = "git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34#5aa807b03e5c1edfad8a88b80eb58af3cff0be34" +source = "git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937#14315e95896c7dcb5288b3b53b104dbf889ec937" dependencies = [ "addr2line", "ark-serialize", @@ -2761,7 +2761,7 @@ dependencies = [ "fnv", "inventory", "itertools 0.15.0", - "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=5aa807b03e5c1edfad8a88b80eb58af3cff0be34)", + "jolt-field 0.1.0 (git+https://github.com/a16z/jolt?rev=14315e95896c7dcb5288b3b53b104dbf889ec937)", "jolt-platform", "jolt-program", "jolt-riscv", diff --git a/profile/akita-recursion/README.md b/profile/akita-recursion/README.md index 0289aed2a..8f7a51368 100644 --- a/profile/akita-recursion/README.md +++ b/profile/akita-recursion/README.md @@ -97,7 +97,7 @@ ZEROOS_GUEST_RUSTFLAGS=-Zunstable-options \ ``` On success the host reports `Akita-in-Jolt proof OK` with -`is_valid=true` and `guest_panic=false`. +`accepted=true` and `guest_panic=false`. The guest output is a status code: `0` means verification succeeded, `1` means input decoding failed, and `2` means the verifier rejected the proof. diff --git a/profile/akita-recursion/artifact/Cargo.toml b/profile/akita-recursion/artifact/Cargo.toml index 6c9868657..044a347f3 100644 --- a/profile/akita-recursion/artifact/Cargo.toml +++ b/profile/akita-recursion/artifact/Cargo.toml @@ -16,7 +16,7 @@ akita-recursion-glue = { path = "../glue" } akita-serialization = { path = "../../../crates/akita-serialization" } akita-config = { path = "../../../crates/akita-config", default-features = false, features = [ ] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/glue/Cargo.toml b/profile/akita-recursion/glue/Cargo.toml index 617c16530..6b4688f7a 100644 --- a/profile/akita-recursion/glue/Cargo.toml +++ b/profile/akita-recursion/glue/Cargo.toml @@ -27,7 +27,7 @@ trusted-benchmark-artifact = [] akita-error = { version = "0.1.0", path = "../../../crates/akita-error" } akita-algebra = { version = "0.1.0", path = "../../../crates/akita-algebra" } akita-config = { version = "0.1.0", path = "../../../crates/akita-config", default-features = false } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/guest/Cargo.toml b/profile/akita-recursion/guest/Cargo.toml index a50e037ff..1205da2b9 100644 --- a/profile/akita-recursion/guest/Cargo.toml +++ b/profile/akita-recursion/guest/Cargo.toml @@ -34,11 +34,11 @@ trusted-benchmark-artifact = ["akita-recursion-glue/trusted-benchmark-artifact"] akita-error = { path = "../../../crates/akita-error" } # Aliased as `jolt` so `#[jolt::provable]` and `jolt::start_cycle_tracking` # resolve the same way as in the upstream Jolt examples. -jolt = { package = "jolt-sdk", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false } +jolt = { package = "jolt-sdk", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false } akita-recursion-glue = { path = "../glue" } akita-config = { path = "../../../crates/akita-config", default-features = false, features = [ ] } -jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-field = { version = "=0.1.0", git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "asm", "solinas", ] } diff --git a/profile/akita-recursion/host/Cargo.toml b/profile/akita-recursion/host/Cargo.toml index fd296af87..f230c9804 100644 --- a/profile/akita-recursion/host/Cargo.toml +++ b/profile/akita-recursion/host/Cargo.toml @@ -14,7 +14,7 @@ name = "akita-recursion-host" path = "src/main.rs" [dependencies] -jolt-sdk = { git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", default-features = false, features = [ +jolt-sdk = { git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", default-features = false, features = [ "host", ] } # We pin `jolt-sdk-macros` with `guest-std` directly so that the @@ -22,7 +22,7 @@ jolt-sdk = { git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88 # its own `cfg(feature = "guest-std")` at host compile time). Going through # `jolt-sdk/guest-std` would also pull `zeroos-runtime-musl` in for the # host build, which fails to link on macOS / non-musl platforms. -jolt-sdk-macros = { git = "https://github.com/a16z/jolt", rev = "5aa807b03e5c1edfad8a88b80eb58af3cff0be34", features = [ +jolt-sdk-macros = { git = "https://github.com/a16z/jolt", rev = "14315e95896c7dcb5288b3b53b104dbf889ec937", features = [ "guest-std", ] } guest = { package = "akita-recursion-guest", path = "../guest", features = [ diff --git a/profile/akita-recursion/host/src/main.rs b/profile/akita-recursion/host/src/main.rs index 7c25d00c4..f30f37363 100644 --- a/profile/akita-recursion/host/src/main.rs +++ b/profile/akita-recursion/host/src/main.rs @@ -355,12 +355,10 @@ macro_rules! run_selected_guest { ); let now = Instant::now(); - let is_valid = verify($blob, output, program_io.panic, proof); + let verified = verify($blob, output, program_io.panic, proof); let verifier_secs = now.elapsed().as_secs_f64(); - info!(verifier_secs, is_valid, "Jolt verifier finished"); - if !is_valid { - return Err("Jolt verifier rejected the proof".to_string()); - } + info!(verifier_secs, accepted = verified.is_ok(), "Jolt verifier finished"); + verified.map_err(|err| format!("Jolt verifier rejected the proof: {err}"))?; if output != 0 { return Err(format!("guest reported Akita-verify failure: {output}")); } From fb032f9410f0fe7755391298d72a229075143d0e Mon Sep 17 00:00:00 2001 From: Quang Dao Date: Fri, 23 Oct 2026 14:35:18 -0400 Subject: [PATCH 3/4] style(profile): rustfmt the recursion workspace imports cargo fmt --check inside profile/akita-recursion failed on dev: imports were out of order or over-long in six files. rustfmt only reorders and wraps use lines. --- profile/akita-recursion/artifact/src/main.rs | 11 ++++++++--- profile/akita-recursion/glue/src/statement.rs | 6 ++++-- profile/akita-recursion/glue/src/wire/mod.rs | 7 +++++-- profile/akita-recursion/glue/src/wire/tests.rs | 11 +++++++++-- profile/akita-recursion/guest/src/integration.rs | 4 ++-- profile/akita-recursion/host/src/main.rs | 4 ++-- 6 files changed, 30 insertions(+), 13 deletions(-) diff --git a/profile/akita-recursion/artifact/src/main.rs b/profile/akita-recursion/artifact/src/main.rs index 93914ffac..e272697ef 100644 --- a/profile/akita-recursion/artifact/src/main.rs +++ b/profile/akita-recursion/artifact/src/main.rs @@ -17,13 +17,18 @@ use akita_config::proof_optimized::{fp128, fp32, fp64}; use akita_config::{CommitmentConfig, RecursiveCommitmentConfig}; use akita_cpu_backend::{AkitaProverSetup, CommitOutput, CpuBackend, GroupContext, OneHotPoly}; +use akita_params::ScheduleLookupKey; +use akita_params::{ + lagrange_weights, BasisMode, OpeningClaimsLayout, PolynomialGroupLayout, + PrecommittedGroupProfiles, +}; use akita_pcs::AkitaCommitmentScheme; use akita_prover::SelectedProverOpeningData; use akita_recursion_glue::{AkitaJoltCase, AkitaJoltInputs}; use akita_serialization::{AkitaSerialize, Valid}; -use akita_types::{CommittedGroup, FpExtEncoding, GroupBatchStatement, OpeningClaims, PolynomialGroupClaims}; -use akita_params::ScheduleLookupKey; -use akita_params::{lagrange_weights, BasisMode, OpeningClaimsLayout, PolynomialGroupLayout, PrecommittedGroupProfiles}; +use akita_types::{ + CommittedGroup, FpExtEncoding, GroupBatchStatement, OpeningClaims, PolynomialGroupClaims, +}; use akita_verifier::AkitaVerifier; use clap::Parser; use jolt_field::{ diff --git a/profile/akita-recursion/glue/src/statement.rs b/profile/akita-recursion/glue/src/statement.rs index 11575c608..d02a3cc11 100644 --- a/profile/akita-recursion/glue/src/statement.rs +++ b/profile/akita-recursion/glue/src/statement.rs @@ -2,8 +2,10 @@ use crate::AkitaJoltCase; use akita_error::AkitaError; -use akita_types::{AkitaVerifierSetup, CommittedGroup, GroupBatchStatement, OpeningClaims, PolynomialGroupClaims}; -use akita_params::{OpeningScheduleSelection}; +use akita_params::OpeningScheduleSelection; +use akita_types::{ + AkitaVerifierSetup, CommittedGroup, GroupBatchStatement, OpeningClaims, PolynomialGroupClaims, +}; use jolt_field::Field; /// One ordered commitment group carried in a multi-group verifier statement. diff --git a/profile/akita-recursion/glue/src/wire/mod.rs b/profile/akita-recursion/glue/src/wire/mod.rs index aeac4b6c1..3ef6926c3 100644 --- a/profile/akita-recursion/glue/src/wire/mod.rs +++ b/profile/akita-recursion/glue/src/wire/mod.rs @@ -10,11 +10,14 @@ use crate::{AkitaJoltCase, AkitaJoltInputs, AkitaJoltOpeningGroup}; use akita_config::{CommitmentConfig, TrustedScheduleCatalog, MAX_TRUSTED_SCHEDULE_ARTIFACT_BYTES}; use akita_error::checked; +use akita_params::{FlatMatrix, OpeningScheduleSelection}; use akita_serialization::{ AkitaDeserialize, AkitaSerialize, Compress, SerializationError, Valid, Validate, }; -use akita_types::{AkitaExpandedSetup, AkitaSetupDescriptor, AkitaVerifierSetup, CommittedGroup, SetupPrefixVerifierRegistry, MAX_GENERIC_SETUP_DECODE_FIELD_ELEMENTS}; -use akita_params::{FlatMatrix, OpeningScheduleSelection}; +use akita_types::{ + AkitaExpandedSetup, AkitaSetupDescriptor, AkitaVerifierSetup, CommittedGroup, + SetupPrefixVerifierRegistry, MAX_GENERIC_SETUP_DECODE_FIELD_ELEMENTS, +}; use jolt_field::{CanonicalEncoding, ExtField, Field}; use std::sync::Arc; diff --git a/profile/akita-recursion/glue/src/wire/tests.rs b/profile/akita-recursion/glue/src/wire/tests.rs index 3cbc12d90..e50e65043 100644 --- a/profile/akita-recursion/glue/src/wire/tests.rs +++ b/profile/akita-recursion/glue/src/wire/tests.rs @@ -2,8 +2,15 @@ use super::*; use akita_challenges::SparseChallengeConfig; use akita_config::proof_optimized::{fp128, fp32}; use akita_params::sis::sis_table_key_for_linf_bound; -use akita_types::{derive_public_matrix_prefix, sample_akita_setup_seed, RingVec, SetupPrefixPublicCommitment, SetupPrefixVerifierSlot}; -use akita_params::{scheduled_setup_prefix, CompressionChainPlan, GroupCommitPhaseParams, GroupOpenPhaseParams, GroupOpeningPlan, InnerCommitMatrixParams, OuterCommitMatrixParams, PolynomialGroupLayout, SisMatrixRole, SisModulusProfileId, SisTableDigest, SisTableKey, DEFAULT_SIS_SECURITY_POLICY}; +use akita_params::{ + scheduled_setup_prefix, CompressionChainPlan, GroupCommitPhaseParams, GroupOpenPhaseParams, + GroupOpeningPlan, InnerCommitMatrixParams, OuterCommitMatrixParams, PolynomialGroupLayout, + SisMatrixRole, SisModulusProfileId, SisTableDigest, SisTableKey, DEFAULT_SIS_SECURITY_POLICY, +}; +use akita_types::{ + derive_public_matrix_prefix, sample_akita_setup_seed, RingVec, SetupPrefixPublicCommitment, + SetupPrefixVerifierSlot, +}; use jolt_field::Zero; type TestCfg = fp128::OneHot; diff --git a/profile/akita-recursion/guest/src/integration.rs b/profile/akita-recursion/guest/src/integration.rs index 81f41cb36..a493f75c2 100644 --- a/profile/akita-recursion/guest/src/integration.rs +++ b/profile/akita-recursion/guest/src/integration.rs @@ -2,10 +2,10 @@ use akita_config::{CommitmentConfig, TrustedScheduleCatalog}; use akita_error::AkitaError; +use akita_params::BasisMode; use akita_recursion_glue::{AkitaJoltCase, AkitaJoltInputs}; use akita_serialization::{AkitaDeserialize, AkitaSerialize, SerializationError, Valid}; -use akita_types::{FpExtEncoding}; -use akita_params::{BasisMode}; +use akita_types::FpExtEncoding; use akita_verifier::AkitaVerifier; use jolt::{end_cycle_tracking, start_cycle_tracking}; use jolt_field::{CanonicalBytes, CanonicalEncoding, ExtField, Field, PseudoMersenne}; diff --git a/profile/akita-recursion/host/src/main.rs b/profile/akita-recursion/host/src/main.rs index f30f37363..ddc3b3047 100644 --- a/profile/akita-recursion/host/src/main.rs +++ b/profile/akita-recursion/host/src/main.rs @@ -19,9 +19,9 @@ use std::time::Instant; use akita_config::proof_optimized::{fp128, fp32, fp64}; use akita_config::{CommitmentConfig, RecursiveCommitmentConfig}; +use akita_params::BasisMode; use akita_recursion_glue::{read_blob_case, AkitaJoltCase, AkitaJoltInputs, MAX_JOLT_BLOB_BYTES}; -use akita_types::{prepared_verifier_ntt_cache_metadata}; -use akita_params::{BasisMode}; +use akita_types::prepared_verifier_ntt_cache_metadata; use akita_verifier::{build_riscv64_terminal_ntt_cache, AkitaVerifier}; use clap::Parser; use tracing::info; From bc7dc67b6fbef17146079f5a5e0a6567fab84074 Mon Sep 17 00:00:00 2001 From: Quang Dao Date: Fri, 23 Oct 2026 14:44:36 -0400 Subject: [PATCH 4/4] chore(deps): bump ctutils to 0.4.5 for RUSTSEC-2026-0385 --- Cargo.lock | 4 ++-- fuzz/Cargo.lock | 4 ++-- profile/akita-recursion/Cargo.lock | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 7cb9e61e1..8890a80bd 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -775,9 +775,9 @@ dependencies = [ [[package]] name = "ctutils" -version = "0.4.2" +version = "0.4.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7d5515a3834141de9eafb9717ad39eea8247b5674e6066c404e8c4b365d2a29e" +checksum = "38d28fb6aa7dd680b3ffd1a3e64e115c177bdba63c0ae7f9cd48129ff05c4fa0" dependencies = [ "cmov", ] diff --git a/fuzz/Cargo.lock b/fuzz/Cargo.lock index b2bc54f0d..0a4f2d814 100644 --- a/fuzz/Cargo.lock +++ b/fuzz/Cargo.lock @@ -143,9 +143,9 @@ dependencies = [ [[package]] name = "ctutils" -version = "0.4.2" +version = "0.4.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7d5515a3834141de9eafb9717ad39eea8247b5674e6066c404e8c4b365d2a29e" +checksum = "38d28fb6aa7dd680b3ffd1a3e64e115c177bdba63c0ae7f9cd48129ff05c4fa0" dependencies = [ "cmov", ] diff --git a/profile/akita-recursion/Cargo.lock b/profile/akita-recursion/Cargo.lock index 7ccc1c3d7..8e7ac0fad 100644 --- a/profile/akita-recursion/Cargo.lock +++ b/profile/akita-recursion/Cargo.lock @@ -1047,9 +1047,9 @@ dependencies = [ [[package]] name = "ctutils" -version = "0.4.2" +version = "0.4.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7d5515a3834141de9eafb9717ad39eea8247b5674e6066c404e8c4b365d2a29e" +checksum = "38d28fb6aa7dd680b3ffd1a3e64e115c177bdba63c0ae7f9cd48129ff05c4fa0" dependencies = [ "cmov", ]