feat: make ShaVmAir's degree 3#2422

Draft

Golovanov399 wants to merge 268 commits intodevelop-v2.0.0-betafrom

feat/sha-lower-degree

This pull request is big! We're only showing the most recent 250 commits

Commits on Feb 11, 2026

chore: generate_blob aggregate metrics in prof

stephenh-axiom-xyz
authored and
branch-rebase-bot[bot]
committed
feat: separate aggregated metrics by phase (#2291)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
chore: aggregate more prover spans (#2294)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
chore: fix span name (#2295)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
chore: rename metric spans to reflect nesting (#2305)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
feat: add parameter for interaction contribution to cell count (#2309)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
chore: remove incorrect metrics when `cuda` enabled (#2310)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
fix: total cell calculation (#2311)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
chore: clippy and update stark-backend (#2312)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
fix: avoid implicit copies in segmentation structs (#2313)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
feat: add parallel proof time for fixed number of devices (#2314)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
fix: hybrid gpu chips should transpose on gpu (#2316)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
fix(develop-v2): byte conversion in openvm-prof (#2317)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
chore: reduce number of threads in divrem kernel (#2319)

shuklaayush
authored and
branch-rebase-bot[bot]
committed
feat(prof): switch memory chart to SVG (#2321)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
feat: add back debug_proving_ctx (#2329)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
fix: test-utils for aot

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
chore: remove rebase artifact

shuklaayush
authored and
branch-rebase-bot[bot]
committed
feat: update segmentation weights for hardware memory (#2341)

authored and
branch-rebase-bot[bot]
committed
chore(segmentation): add secondary weight for main cells (#2343)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
fix(v2): circuit primitives unit tests (#2347)

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
perf: remove preprocessed trace from VmConnectorAir (#2350)

Tuanlinh12312
authored and
branch-rebase-bot[bot]
committed
fix: clean up metrics reporting for cuda & recursion (#2355)

zlangley
authored and
branch-rebase-bot[bot]
committed
perf: remove preprocessed trace from VarRangeCheckerAIR (#2357)

Tuanlinh12312
authored and
branch-rebase-bot[bot]
committed
perf: remove preprocessed trace varrangecheckerair [gpu tracegen] (#2359)

Tuanlinh12312
authored and
branch-rebase-bot[bot]
committed
chore: update interaction cell weight (#2367)

zlangley
authored and
branch-rebase-bot[bot]
committed
perf: remove preprocessed trace from RangeTupleCheckerAir (#2358)

876pol
authored and
branch-rebase-bot[bot]
committed
perf: remove preprocessed trace bitwiseoplookupair [cpu & gpu tracegen] (#2366)

Tuanlinh12312
authored and
branch-rebase-bot[bot]
committed
perf: use native field arithmetic in preflight execution for algebra and ECC (#2372)

authored and
branch-rebase-bot[bot]
committed
chore(cuda): stack memory reduction (#2377)

gaxiom
authored and
branch-rebase-bot[bot]
committed
fix: set is_required on v1 chips (#2373)

zlangley
authored and
branch-rebase-bot[bot]
committed
fix: plonky3 trait updates

jonathanpwang
authored and
branch-rebase-bot[bot]
committed
perf: revisit varrangechecker (#2401)

Tuanlinh12312
and
claude
authored

Commits on Feb 16, 2026

chore(refactor): update to use new `openvm-stark-backend` (v2) (#2412)

jonathanpwang
and
claude
authored
chore: add initial recursion crate
jonathanpwang
committed
feat: add verifier circuit scaffolding (#8)

zlangley
authored and
jonathanpwang
committed
feat: simplify proof struct (#26)

zlangley
authored and
jonathanpwang
committed
fix: sample mu after observing claims (#27)

zlangley
authored and
jonathanpwang
committed
feat: preflight transcript execution (#29)

zlangley
authored and
jonathanpwang
committed
fix: preamble observes (#33)

zlangley
authored and
jonathanpwang
committed
fix: make proof and preflight transcripts agree (#37)

zlangley
and
jonathanpwang
committed
fix: preflight k_whir (#41)

zlangley
authored and
jonathanpwang
committed
feat: add grinding (#40)

jonathanpwang
and
zlangley
committed
feat: send real data across buses (#44)

zlangley
authored and
jonathanpwang
committed
refactor: make DuplexSponge a trait (#46)

zlangley
authored and
jonathanpwang
committed
fix: preflight when there are interactions (#47)

zlangley
authored and
jonathanpwang
committed
feat: whir verifier (#50)

zlangley
and
jonathanpwang
committed
feat: whir final poly (#56)

zlangley
and
jonathanpwang
committed
chore: appease clippy (#59)

zlangley
authored and
jonathanpwang
committed
feat: range and power-of-2 checker primitives AIRs (#64)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: `n_logup` calculation in proof_shape (#77)

shuklaayush
authored and
jonathanpwang
committed
feat: unify WHIR final poly logic using extra challenge (#76)

zlangley
authored and
jonathanpwang
committed
docs: AIR development guide README (#73)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: smarter AlignedBorrow (#80)

zlangley
authored and
jonathanpwang
committed
docs: add section on appended traces to guide (#79)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: update system buses based on refined design (#81)

zlangley
authored and
jonathanpwang
committed
feat: add proof_idx to scaffold (#82)

zlangley
authored and
jonathanpwang
committed
feat: stacking module AIR placeholders w/ dummy interactions (#83)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: claim sent to WhirModuleBus should be an RLC + tests (#84)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat(recursion): add gkr air module scaffold (#74)

shuklaayush
and
jonathanpwang
committed
chore: rename stacking_widths_* to stacking_indices_* (#87)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: add lambda_pow to ColumnClaimsBus (#88)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
refactor: move local buses into submodule (#89)

zlangley
authored and
jonathanpwang
committed
refactor: pass mvk to module for use in air defs (#90)

zlangley
authored and
jonathanpwang
committed
chore: add StarkEngineV2 and refactor test fixtures (#91)
jonathanpwang
committed
feat: add `AirBuilder` array methods (#97)

shuklaayush
authored and
jonathanpwang
committed
feat: allow sending/receiving array of messages (#93)

shuklaayush
authored and
jonathanpwang
committed
feat: add util methods for extension field ops (#94)

shuklaayush
authored and
jonathanpwang
committed
feat: add `n_global` to `GkrModuleBus` (#96)

shuklaayush
authored and
jonathanpwang
committed
feat: whir module scaffold (#95)

zlangley
authored and
jonathanpwang
committed
feat: convenience methods on TranscriptBus (#103)

zlangley
authored and
jonathanpwang
committed
feat: add util method for base_to_ext conversion (#108)

shuklaayush
authored and
jonathanpwang
committed
fix: make `ExpBitsLenBus` a global bus (#109)

shuklaayush
authored and
jonathanpwang
committed
feat: add proof_idx subair (#98)

shuklaayush
authored and
jonathanpwang
committed
fix: move `ExpBitsLenAir` to `primitives/` (#110)

authored and
jonathanpwang
committed
perf: make Mle::eval_at_point linear (#102)

zlangley
authored and
jonathanpwang
committed
fix: preprocessed shouldn't be a main part in dummy air shape bus msg (#111)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: remove `is_proof_end` column from `ProofIdxSubAir` (#113)

shuklaayush
authored and
jonathanpwang
committed
feat: scaffolding for aggregation verifier circuit (#25)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: make generate_trace not generic in TS (#115)

zlangley
authored and
jonathanpwang
committed
feat: stacking module AIR constraints and CPU tracegen (#106)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: whir opening point bus (#105)

authored and
jonathanpwang
committed
chore: remove unused Transcript struct (#119)

zlangley
authored and
jonathanpwang
committed
feat: proof shape module AIRs + CPU tracegen (#112)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: replace `ProofIdxSubAir` with a generic `NestedForLoopSubAir` (#114)

shuklaayush
authored and
jonathanpwang
committed
feat(recursion): add air constraints for gkr air module (#85)

shuklaayush
authored and
jonathanpwang
committed
feat: tracegen and AIRs for non-root continuation layers (#120)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: generalize nested loop AIR to take in Expr instead of Var (#123)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: transcript AIR with interaction only (#116)

luffykai
authored and
jonathanpwang
committed
feat: set up CUDA for recursion circuit (#129)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: use actual poseidon2 columns and constraint (#126)

luffykai
authored and
jonathanpwang
committed
feat: dummy merkle verify air (#131)

luffykai
authored and
jonathanpwang
committed
feat: handle multiple proofs in proof shape AIR module (#124)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: batch constraint interactions (#92)

Golovanov399
authored and
jonathanpwang
committed
fix(recursion, tracegen): make `generate_proof_inputs` take vector of inputs (#133)

shuklaayush
authored and
jonathanpwang
committed
feat(tracegen): make tracegen parallel for gkr air module (#121)

authored and
jonathanpwang
committed
feat: transcript module with multiple proofs (#135)

luffykai
authored and
jonathanpwang
committed
feat: whir multi proof (#136)

zlangley
authored and
jonathanpwang
committed
feat: make most of tracegen on batch constraints work with multiple proofs (#134)

Golovanov399
authored and
jonathanpwang
committed
feat(recursion): update interface to allow verifying multiple proofs (#137)

shuklaayush
authored and
jonathanpwang
committed
test(recursion): add tests for verifying multiple proofs (#138)

authored and
jonathanpwang
committed
fix(recursion, test): use different proofs in tests (#141)

shuklaayush
authored and
jonathanpwang
committed
fix(recursion): no interspersed disabled rows in `NestedForLoopSubAir` (#143)

shuklaayush
authored and
jonathanpwang
committed
feat: transcript air constraints (#132)

luffykai
authored and
jonathanpwang
committed
feat: CUDA tracegen setup + proof shape kernels (#144)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat(recursion): global tracegen interfaces (#148)
jonathanpwang
committed
feat: merkle verify tracegen + partial air (#147)

luffykai
and
jonathanpwang
committed
feat(recursion): module-specific tracegen interface (#150)
jonathanpwang
committed
feat: constraints for order of column claims in stacking module (#157)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: merkle verify bus struct (#155)

luffykai
authored and
jonathanpwang
committed
fix: remove vk reference store in proof shape module (#154)

stephenh-axiom-xyz
and
jonathanpwang
committed
feat: update hashing scheme (#158)

zlangley
authored and
jonathanpwang
committed
feat(recursion): batch constraint module (fraction folder, eq AIRs) constraints + tracegen (#142)

committed
feat: constraints and tracegen for WHIR module (#140)

zlangley
authored and
jonathanpwang
committed
feat(recursion): add univariate sumcheck constraints (#159)

shuklaayush
authored and
jonathanpwang
committed
feat: merkle verify AIR constraints (#151)

authored and
jonathanpwang
committed
chore: remove assert_eq_array in favor of existing assert_array_eq (#163)

zlangley
authored and
jonathanpwang
committed
feat: stacking AIR to support negative hypercube dimension (#161)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat(recursion): add multilinear sumcheck constraints (#160)

shuklaayush
authored and
jonathanpwang
committed
feat: turn on poseidon2 lookup in whir (#164)

luffykai
authored and
jonathanpwang
committed
fix(recursion): handle case when `n_global` is 0 (#166)

shuklaayush
authored and
jonathanpwang
committed
feat: support small heights (#153)

committed
fix: verifier circuit should handle actual column stacking (#168)

authored and
jonathanpwang
committed
chore(stark-backend): small fixes and additions for openvm integration (#170)

jonathanpwang
and
stephenh-axiom-xyz
committed
fix: ProvingContextV2 should sort by AIR index after Reverse(height) (#171)
jonathanpwang
committed
feat: `expr_eval` AIR constraints + tracegen (#162)

committed
fix(recursion): make sumcheck, fraction folder tracegen more parallel (#165)

shuklaayush
and
jonathanpwang
committed
feat: constraints folder air (#169)

Golovanov399
authored and
jonathanpwang
committed
fix: batch constraints sumcheck should use n_max instead of n_global (#176)

committed
feat: fixes for various AIRs for aggregation (#180)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: get rid of `eq_mle`, all work is done by `eq_3b` instead (#183)

Golovanov399
and
jonathanpwang
committed
chore: split `expr_eval` into several files and rename `EqMle*` to `Eq3b*` (#186)

jonathanpwang
and
Golovanov399
committed
feat: Add `Eq3bAir` <-> `InteractionsFoldingAir` communications (#187)

jonathanpwang
and
Golovanov399
committed
feat: utility to compute in-place prefix sums on CUDA arrays (#181)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix(recursion): avoid `par_iter` in CUDA tracegen (#189)
jonathanpwang
committed
feat: constrain selectors (#191)

zlangley
authored and
jonathanpwang
committed
feat: constrain `n` and pvs in symbolic expr air (#194)

zlangley
authored and
jonathanpwang
committed
feat: communication between `EqNsAir` and `ConstraintsFoldingAir` (#195)

Golovanov399
authored and
jonathanpwang
committed
fix: stacking module should observe column claims (#185)

authored and
jonathanpwang
committed
fix: compute height properly in `Eq3bAir` (#197)

Golovanov399
authored and
jonathanpwang
committed
feat: constrain column openings (#196)

zlangley
authored and
jonathanpwang
committed
feat: expr claim air (#192)

authored and
jonathanpwang
committed
chore: remove/rewrite/implement most of TODOs about missing constraints (#198)

authored and
jonathanpwang
committed
fix(recursion): add missing constraints and resolve todos (#199)

shuklaayush
authored and
jonathanpwang
committed
fix(recursion): constrain the total rounds of multilinear sumcheck (#202)

authored and
jonathanpwang
committed
feat: lower constraint degree (#205)

zlangley
authored and
jonathanpwang
committed
fix(recursion): reduce constraint degrees (#208)

shuklaayush
authored and
jonathanpwang
committed
fix: make exp bits len air stateless (#200)

shuklaayush
authored and
jonathanpwang
committed
feat: aggregation circuit CPU (#177)

committed
chore: delete build.rs from continuations crate (#210)

shuklaayush
authored and
jonathanpwang
committed
feat: interactions between verifier and aggregation sub-circuits (#215)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: instrument `VerifierSubCircuit::generate_proving_ctxs[_gpu]` (#216)
jonathanpwang
committed
feat(cuda): logup zerocheck (round 0) (#156)

gaxiom
and
jonathanpwang
committed
feat(recursion): add cuda tracegen for `ExpBitsLenAir` (#211)

shuklaayush
authored and
jonathanpwang
committed
feat: poseidon2 cuda tracegen (#212)

authored and
jonathanpwang
committed
fix: first => is_valid in whir AIRs (#221)

zlangley
authored and
jonathanpwang
committed
feat: cuda tracegen for InitialOpenedValuesAir (#218)

zlangley
authored and
jonathanpwang
committed
fix(recursion): add missing import rayon in release (#224)

shuklaayush
authored and
jonathanpwang
committed
chore: add missing debug assertions (#226)

shuklaayush
authored and
jonathanpwang
committed
feat: add touchemall check to gpu trace tests (#227)

zlangley
authored and
jonathanpwang
committed
fix: premature free in ExpBitsLen cuda tracegen (#229)

zlangley
authored and
jonathanpwang
committed
fix: don't allocate buffers on gpu in parallel (#230)

zlangley
authored and
jonathanpwang
committed
feat: minimal dependency crate for verify-stark (#228)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: remove dummy row tracegen in whir (#231)

zlangley
authored and
jonathanpwang
committed
fix: soundness issues related to multiplicities (#222)

zlangley
authored and
jonathanpwang
committed
test: add test for optional air (#234)

zlangley
authored and
jonathanpwang
committed
feat: v2 SDK (#232)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: add openvm-config and reth-bench crates (#214)

jonathanpwang
and
stephenh-axiom-xyz
committed
perf(cuda): StackedPcsData only stores matrix in mixed form (#240)
jonathanpwang
committed
feat: cuda tracegen FinalPolyMleEval (#233)

zlangley
authored and
jonathanpwang
committed
test: add gpu test with optional airs (#235)

zlangley
authored and
jonathanpwang
committed
feat: fully recursive STARK proving + benchmark setup with SDK (#245)

authored and
jonathanpwang
committed
chore(recursion): add tracing for `run_preflight`/`generate_blob` (#249)

shuklaayush
authored and
jonathanpwang
committed
feat: update verify-stark crate to match specifications (#254)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: cuda tracegen for NonInitialOpenedValuesAir (#242)

zlangley
authored and
jonathanpwang
committed
feat: symbolic expression cuda tracegen (#207)

Golovanov399
and
jonathanpwang
committed
feat(recursion): add cuda tracegen for `WhirFoldingAir` (#219)

shuklaayush
authored and
jonathanpwang
committed
bench: benchmark metrics and GitHub workflow (#253)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: update rebased `openvm` (#258)
jonathanpwang
committed
feat: `Eq3bAir` cuda tracegen (#248)

Golovanov399
authored and
jonathanpwang
committed
fix: assorted benchmark-related fixes (#260)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: lower recursion circuit max degree to 4 (#263)

zlangley
authored and
jonathanpwang
committed
feat: assorted changes for cloud proving (#265)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: do matrix transpose for hybrid traces on GPU (#268)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf(cuda): avoid upsampling for logup & zerocheck (#262)

jonathanpwang
and
stephenh-axiom-xyz
committed
test: call Rust verify after each app/agg prove (#271)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix(cuda): reduce number of threads (#272)

shuklaayush
authored and
jonathanpwang
committed
fix(ci): get reth-benchmark workflow to work (#276)

shuklaayush
authored and
jonathanpwang
committed
feat: add gpu memory tracking metrics (#274)

shuklaayush
and
jonathanpwang
committed
chore: update stark-backend-v2 (#280)
jonathanpwang
committed
fix: multi-interaction and mixture unit tests + associated fixes (#273)

authored and
jonathanpwang
committed
perf: do not cache `PleMatrix` in `StackedPcsDataGpu` (#281)
jonathanpwang
committed
feat: update spans to reveal more information (#282)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix(recursion): reduce constraint degree by using linear flags (#278)

shuklaayush
authored and
jonathanpwang
committed
chore: update stark-backend + openvm submodule (#293)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf: switch `StackedPcsData2` to store unstacked traces instead of `PleMatrix` (#292)
jonathanpwang
committed
fix: handle deep recursion with internal_recursive_vk_commit pv (#309)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: update openvm (#305)

shuklaayush
and
jonathanpwang
committed
feat: constrain user_pv_commit is unset on non-terminal segments (#316)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: make system params configurable (#317)
jonathanpwang
committed
perf: shouldn't use default MAX_NUM_PROOFS in SDK (#318)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf: shouldn't force a stream sync after tracegen (#319)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: make `l_skip` configurable in reth benchmark (#312)

shuklaayush
authored and
jonathanpwang
committed
feat: switch WHIR parameters to target 100-bits provable security (#336)
jonathanpwang
committed
feat: merkle verify cuda tracegen (#220)

committed
feat: grinding on GPU (#339)

authored and
jonathanpwang
committed
feat: update WHIR to vary queries by round (#340)

jonathanpwang
and
zlangley
committed
chore(sdk): re-export `openvm-circuit` and other dependencies (#350)

jonathanpwang
and
stephenh-axiom-xyz
committed
chore: adjust span level for recursion tracing for less verbosity (#348)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: remove unnecessary columns in FinalPolyQueryEvalAir (#349)

zlangley
authored and
jonathanpwang
committed
feat: perform preflight hashing in parallel to main transcript (#266)

zlangley
authored and
jonathanpwang
committed
perf: update openvm for `mark_parents` kernel (#357)
jonathanpwang
committed
feat(whir): update cuda+recursion circuit for folding grinding (#354) (#359)

jonathanpwang
and
zlangley
committed
perf: perform merkle precomp on gpu (#356)

zlangley
authored and
jonathanpwang
committed
chore: lower more launcher params for 5090 (#361)
jonathanpwang
committed
perf: use atomic u64 for stacked reduction (#375)
jonathanpwang
committed
chore: refactor batch MLE functions (#388)
jonathanpwang
committed
chore: AggregationProver stores device pkey (#401)
jonathanpwang
committed
fix: negative test expected panics (#425)
jonathanpwang
committed
perf: tune leaf aggregation to 4 children (#423)

committed
feat: compression aggregation circuit without cached trace (#393)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: OpeningClaimsAir + StackingClaimsAir CUDA tracegen (#442)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: stacking reduction tracegen kernels fill one too many columns (#451)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: remove par_iter in batch constraints module (#450)

stephenh-axiom-xyz
and
jonathanpwang
committed
feat: CUDA tracegen for Transcript AIR (#454)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: don't clone Proof or Preflight in tracegen when CUDA enabled (#462)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: constraint folding CUDA tracegen (#461)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf: tune leaf aggregation to n_stack=19 (total=21) (#434)

committed
feat: InteractionsFoldingAir CUDA tracegen (#472)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: cuda compilation (#473)
jonathanpwang
committed
perf: switch aggregation preflight to `std::thread` instead of rayon (#486)

jonathanpwang
and
claude
committed
fix: add span guards back to parallel run_preflight block for metrics (#489)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf: parallelize CPU tracegen for GKR, WHIR, and stacking modules (#491)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
fix: add second internal-recursive layer before compression (#494)

stephenh-axiom-xyz
and
jonathanpwang
committed
feat: AIRs to handle public values at the root continuations level (#497)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf: integrate Poseidon2 compress bus into recursion circuit (#501)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
chore: update Plonky3 to `v0.4.1` (#504)

jonathanpwang
and
claude
committed
chore: fix warnings (#506)

zlangley
authored and
jonathanpwang
committed
feat: root layer integration into continuations + SDK crates (#503)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
perf: remove user_pvs_commit public value from non-root pvs (#505)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: modify ModuleChip to enable forced recursion circuit trace heights (#508)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: do not compute rotation when not needed (#495)

Golovanov399
authored and
jonathanpwang
committed
feat: set and enforce root layer constant trace heights (#509)

stephenh-axiom-xyz
authored and
jonathanpwang
committed
feat: use eval-to-coeff RS encoding (#512)

committed
fix(sdk-v2): update import paths for stark-backend(v2) (#2413)
jonathanpwang
authored
feat: add stacked columns batching PoW (#2414)

zlangley
and
jonathanpwang
authored
fix: migrate more crates to v2 (#2415)
zlangley
authored
chore: Cargo.toml fixes (#2416)
jonathanpwang
authored

Commits on Feb 17, 2026

ci(temp): turn off failing CI (#2417)
jonathanpwang
authored

Commits on Feb 18, 2026

Hopefully make the degree of sha airs lower while adjusting the cpu tracegen
Alexander Golovanov
committed