chore: release `v2.0.0`#2941

Draft

shuklaayush wants to merge 635 commits into

mainfrom

develop-v2.0.0-rc.3

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

Commits on Jun 26, 2026

chore: differentiate def_hook_cached_commit and def_hook_vk_commit (#2580)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: host verify crate should match root circuit w.r.t. recursion_flag (#2582)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: add continuations, SDK, and deferral workflows (#2589)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: remove native extension-specific code (#2590)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2-beta): get `cargo-openvm` compiling (#2588)
shuklaayush
committed
chore(script): add local pre-CI check script (#2578)

authored and
shuklaayush
committed
chore: feature-gate root prover and Bn254 in continuations (#2593)

stephenh-axiom-xyz
authored and
shuklaayush
committed
docs: update continuations and deferral documentation (#2596)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: host verify checks Proof cached commit (#2598)

stephenh-axiom-xyz
authored and
shuklaayush
committed
docs: update verify-stark docs + rename verify_proof_output (#2600)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: root circuit uses re-introduced DagCommitSubAir (#2602)

authored and
shuklaayush
committed
fix: avoid legacy aws rustls dependency path
shuklaayush
committed
feat: deferral extension CUDA tracegen (#2601)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: remove VmCommittedExe struct (#2604)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: Root GPU prover in continuations and sdk tests (#2560)

gaxiom
authored and
shuklaayush
committed
feat: implement codec for VersionedNonRootStarkProof (#2616)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(cuda): bn254 prover perf (#2614)

gaxiom
authored and
shuklaayush
committed
chore: port ptx_details.sh script (#2619)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2): get benchmarks crates to compile (#2618)
shuklaayush
committed
feat: Halo2 static verifier crate and SDK integration (#2622)

committed
fix(v2-beta): race condition in recursion tracegen (#2624)
shuklaayush
committed
fix(v2-beta): race condition in recursion preflight (#2626)
shuklaayush
committed
fix: add global_cached_idx to CachedCommitBusMessage (#2628)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2-beta): add hint buffer check that num_words > 0 (#2633)
shuklaayush
committed
chore: cuda lint (#2638)

Golovanov399
authored and
shuklaayush
committed
chore: match cpu/gpu program air tracegen for empty program (#2635)
shuklaayush
committed
chore: add an assertion for the address space size being a power of two or zero (#2637)

Golovanov399
authored and
shuklaayush
committed
chore(cuda): switch MemoryMerkleSubTree to use default stream (#2634)

jonathanpwang
authored and
shuklaayush
committed
fix: cuda test and add a comment about a potential race condition (#2636)

Golovanov399
authored and
shuklaayush
committed
chore: update CLI crate with new SDK (#2625)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: add s3 download option to cargo openvm setup (#2642)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: add more context to CLI error messages (#2641)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: cargo openvm prove generates baseline file (#2644)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: CLI cleanup refactor (#2648)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: make GenericSdk immutable and introduce builder (#2649)

stephenh-axiom-xyz
authored and
shuklaayush
committed
ci: cache guest build artifacts (#2650)

authored and
shuklaayush
committed
feat: use new MultiFieldChallenger in static verifier (#2627)

zlangley
authored and
shuklaayush
committed
fix(ci): use bash array for nextest args in guest-lib-tests (#2651)

committed
chore: feature gate SDK root prover (#2652)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: split app-dependent and independent fields in agg pk (#2655)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: finalize SDK and naming nomenclature (#2656)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: initial SDK + CLI doc update and some cleanup (#2657)

stephenh-axiom-xyz
authored and
shuklaayush
committed
ci(v2-beta): add back e2e benchmarks (#2653)
shuklaayush
committed
docs: SDK and CLI book findings + fixes (#2658)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: update static-verifier to use new poseidon2 (#2660)

zlangley
authored and
shuklaayush
committed
chore: remove unused Streams field hint_space (#2664)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2-beta): assert that divisor is non-zero in static verifier (#2668)
shuklaayush
committed
fix(metering): memory estimation to account for interpolation (#2669)

jonathanpwang
authored and
shuklaayush
committed
docs(v2-beta): minor fixes to continuations docs (#2673)
shuklaayush
committed
docs(v2-beta): minor fixes to deferral docs (#2676)
shuklaayush
committed
feat: reduce sample bias in static-verifier (#2690)

zlangley
authored and
shuklaayush
committed
fix(static-verifier): replace invalid use of is_big_less_than_safe (#2697)

zlangley
authored and
shuklaayush
committed
fix: make implicit proof less malleable (#2742)

zlangley
authored and
shuklaayush
committed
chore: update stark backend ref (#2773)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: fixes after rebasing v1.6.0

jonathanpwang
authored and
shuklaayush
committed
feat: new keccak (#2303)

GunaDD
authored and
shuklaayush
committed
feat(new-keccak): add xorin cuda tracegen (#2326)

GunaDD
authored and
shuklaayush
committed
feat(new-keccak): add keccakf cuda tracegen (#2327)
shuklaayush
committed
perf: new keccak run reth (#2328)

GunaDD
and
shuklaayush
committed
fix: use tiny-keccak fork in new keccak example
shuklaayush
committed
chore: revert old keccak example
shuklaayush
committed
fix: avoid xorin funct7 clash with sha512
shuklaayush
committed
feat(new-keccak): split keccakf into two AIRs (#2353)

jonathanpwang
authored and
shuklaayush
committed
feat(new-keccak): optimize guest to skip first xorin (#2360)

jonathanpwang
authored and
shuklaayush
committed
chore: update openvm `tiny-keccak` patch (#2362)

jonathanpwang
authored and
shuklaayush
committed
feat: SHA-2 incremental hasher design (#2182)

Avaneesh-axiom
authored and
shuklaayush
committed
fix: sha2 guest library implementation (#2374)

gdmlcjs
authored and
shuklaayush
committed
test: add test suite for sha2 guest (#2368)

jonathanpwang
authored and
shuklaayush
committed
fix: prevent overflow by changing type of Sha2 message length field (#2381)

gdmlcjs
authored and
shuklaayush
committed
feat: implement Hasher trait for Keccak guest library (#2386)

gdmlcjs
authored and
shuklaayush
committed
test: add test suite for Keccak guest (#2388)

gdmlcjs
authored and
shuklaayush
committed
test: run sha2 test vectors together (#2397)

gdmlcjs
authored and
shuklaayush
committed
chore: feature gate dependency on external sha2 crate (#2395)

gdmlcjs
authored and
shuklaayush
committed
feat: remove memory access adapters: CPU Boundary AIR, initialize/finalize memory (#2318)

authored and
shuklaayush
committed
feat: access adapter removal bigint (#2369)

authored and
shuklaayush
committed
feat: access adapter removal sha2 (#2375)

authored and
shuklaayush
committed
feat: remove cuda from algebra and ecc extensions (#2379)

Tuanlinh12312
authored and
shuklaayush
committed
feat: update algebra and ecc extensions to use BLOCK_SIZE=4 (#2370)

authored and
shuklaayush
committed
feat: verify metered execution works properly in tests (#2376)

876pol
authored and
shuklaayush
committed
fix: exclude VolatileBoundaryAir from metering tester (#2385)

876pol
authored and
shuklaayush
committed
feat: access adapter removal keccak256 (#2384)

Tuanlinh12312
authored and
shuklaayush
committed
feat: add gpu tracegen for boundary chip (#2378)

authored and
shuklaayush
committed
fix(cuda): convert initial memory values to Montgomery form in PersistentBoundary (#2453)

authored and
shuklaayush
committed
fix(cuda): optional access adapter fix (#2454)

jonathanpwang
authored and
shuklaayush
committed
feat: add on_height_change for SHA2 block hasher periphery chip (#2449)

authored and
shuklaayush
committed
fix: keccak cuda tests

jonathanpwang
authored and
shuklaayush
committed
fix: set constant trace heights for lookup AIRs in metered execution (#2478)

Tuanlinh12312
authored and
shuklaayush
committed
refactor: remove access adapter completely (#2485)

authored and
shuklaayush
committed
docs: update ISA docs for new keccak opcodes (#2515)

authored and
shuklaayush
committed
chore(cuda): stack usage reduce (#2524)

gaxiom
authored and
shuklaayush
committed
chore(v2): remove vestiges of access adapters (#2549)
shuklaayush
committed
feat: change new SHA2 AIRs to have v2 max constraint degree <= 3 (#2550)

authored and
shuklaayush
committed
fix: rebase conflicts
shuklaayush
committed
fix(v2-rc.1): simplify memory subsystem after access adapter removal (#2552)
shuklaayush
committed
fix: update sha tests to have new constraint degree (#2566)

authored and
shuklaayush
committed
fix(v2-rc1): remove `block_size` from config (#2572)
shuklaayush
committed
fix: rebase artifacts
shuklaayush
committed
fix: implement constant_trace_height for DeferralCircuitCountChip
shuklaayush
committed
fix: limit cuda threads in xorin
shuklaayush
committed
perf(v2-rc.1): optimize keccakf cuda kernel (#2599)
shuklaayush
committed
fix(deferral): remove volatile and MEMORY_OP_SIZE
shuklaayush
committed
fix(deferral): read deferral as in block size of 4 in tests
shuklaayush
committed
fix: add constant_trace_height for gpu deferral count chip
shuklaayush
committed
fix(v2-rc.1): load deferral as elems as felts in memory kernels (#2607)
shuklaayush
committed
chore: rebase fixes
shuklaayush
committed
chore(v2-rc.1): update benchmark guest programs (#2623)
shuklaayush
committed
fix(cuda): Poseidon2 dedup aliasing, buffer capacity, and zero-record crash (#2629)

authored and
shuklaayush
committed
fix: resolve deferral extension CUDA audit fixes (#2630)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: resolve proof shape module CUDA audit items (#2631)

stephenh-axiom-xyz
authored and
shuklaayush
committed
style: sha2 cuda add clarification comment (#2632)

876pol
authored and
shuklaayush
committed
fix: check index bound at the start of transcript kernel (#2643)

luffykai
authored and
shuklaayush
committed
fix(v2-rc1): avoid ub in keccakf cuda kernel (#2640)
shuklaayush
committed
chore: delete unused cuda code (#2645)

authored and
shuklaayush
committed
docs: extension + guest docs review and fixes (#2661)

stephenh-axiom-xyz
authored and
shuklaayush
committed
docs: resolve further book docs findings (#2663)

stephenh-axiom-xyz
authored and
shuklaayush
committed
docs: ensure ISA is up-to-date (#2667)

stephenh-axiom-xyz
authored and
shuklaayush
committed
docs: opcode-related reference spec docs update (#2671)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore(k256): revert `sha256` -> `sha2` feature rename (#2672)

jonathanpwang
authored and
shuklaayush
committed
perf(cuda): reduce stack/regs/spills in `keccakf_op` and `sha2_main` tracegen (#2670)

shuklaayush
and
axiom-agent
committed
docs: update spec for memory and frontend (#2675)

Golovanov399
authored and
shuklaayush
committed
fix(execution): metered precompute size for keccak (#2679)

jonathanpwang
authored and
shuklaayush
committed
chore: emit metered instructions in prof aggregate (#2680)
shuklaayush
committed
fix: sha2 main air constraints (#2684)

876pol
authored and
shuklaayush
committed
docs(v2-beta): update architecture and security docs (#2677)

zlangley
authored and
shuklaayush
committed
fix(v2-rc1): deduplicate keccakf round code in tracegen kernel (#2674)
shuklaayush
committed
feat(ci): set up sccache for compilation caching (#2683)

shuklaayush
and
Claude
committed
docs: ensure non-book documents are up to date (#2686)

stephenh-axiom-xyz
authored and
shuklaayush
committed
docs: extensions overview update + some small book fixes (#2687)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(ci): use runson sccache (#2688)
shuklaayush
committed
chore: remove ruint guest library (#2681)
shuklaayush
committed
fix: explicitly import bigint guest in example (#2693)
shuklaayush
committed
docs(v2-beta): add link to soundness calculator (#2691)

jonathanpwang
authored and
shuklaayush
committed
docs: assorted remaining doc fixes (#2694)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: bump openvm-build and nightly toolchains to `nightly-2026-01-18` (#2685)
shuklaayush
committed
chore: bump msrv to 1.91.1 (#2692)
shuklaayush
committed
feat: add sha2 benchmark (#2696)

luffykai
and
shuklaayush
committed
chore: bump workspace to `v2.0.0-beta.2` (#2678)

jonathanpwang
authored and
shuklaayush
committed
chore: link to solidity sdk v2.0-beta (#2698)
shuklaayush
committed
chore(ci): move solc installation below sccache (#2700)
shuklaayush
committed
chore(cuda): stream migration refactoring (#2662)

authored and
shuklaayush
committed
fix: stream migration stark-backend ref (#2701)

gaxiom
authored and
shuklaayush
committed
chore: gate debug_checks_enabled to fix warning (#2702)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: sha2 guest library api mismatch (#2703)

876pol
authored and
shuklaayush
committed
chore: clean up persistent boundary (#2705)

876pol
authored and
shuklaayush
committed
perf: optimize sha2 tracegen cuda kernel (#2695)
shuklaayush
committed
fix: mark keccak256 finalize and native_keccak256 as unsafe (#2706)

authored and
shuklaayush
committed
fix: sha2 AlignedBuf bug (#2707)

876pol
authored and
shuklaayush
committed
chore: algebra+ecc clean up and mark sha2 functions as unsafe (#2708)

876pol
authored and
shuklaayush
committed
fix: cleanup + improve edge case handling of public functions for algebra+ecc + update sha2 docs (#2710)

876pol
authored and
shuklaayush
committed
fix: resolve OOB read in native_xorin and mark unsafe (#2709)

authored and
shuklaayush
committed
chore: bigint + rv32im cleanup (#2713)

authored and
shuklaayush
committed
fix: verify-stark prover verifies deferral-enabled child proofs (#2717)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: resolve recursion_flag mismatch in prove_mixed (#2720)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: Poseidon2 chip tracegen handles no records (#2729)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: SDK merkle path generation uses right child when depth == 0 (#2731)

stephenh-axiom-xyz
authored and
shuklaayush
committed
perf(metering): update interaction weight for virtual GKR padding (#2764)

jonathanpwang
and
shuklaayush
committed
feat: Expose AIR column names (#2771)

authored and
shuklaayush
committed
chore: fix clippy
shuklaayush
committed
perf(metered): per-AIR need_rot in segmentation memory formula (#2782)

shuklaayush
and
claude
committed
fix: re-apply sha2 fix to new Sha2BlockHasher (#2788)

jonathanpwang
authored and
shuklaayush
committed
ci: fix claude-code-review sticky comment (#2796)

jonathanpwang
authored and
shuklaayush
committed
ci: trigger publish-vocs and release workflows on published release (#2785)

shuklaayush
and
claude
committed
feat: split for root prover benchmarking (#2799)

authored and
shuklaayush
committed
ci: fix claude permissions (#2818)

jonathanpwang
authored and
shuklaayush
committed
chore: update app max constraint degree to 3 + hook params (#2819)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: constrain AIRs are sorted by air_idx after trace height in recursion (#2822)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: Deferral Output Circuit Trace Filler (#2827)

nyunyunyunyu
authored and
shuklaayush
committed
chore: change kitchen-sink benchmark instance type (#2828)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: remove disabled SDK tests (#2836)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: better hygiene in user public values commit AIRs (#2837)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: add verify-stark deferral path prover constructor in SDK (#2843)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: collapse user public values to be dense in verify-stark guest (#2844)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: enforce CommitBytes canonical representation (#2839)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: constrain deferral circuit aggregation padding and depth (#2815)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: ensure verify crate and root continuations layer match (#2817)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: SDK verify_app_proof checks number of user pvs (#2835)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: prevent DeferralAggregationPvs values from overflowing (#2838)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: mark rc2 as the feature branch
shuklaayush
committed
fix: ensure required airs are added (#2847)

gdmlcjs
authored and
shuklaayush
committed
fix(v2-rc2): tie execution instances to executor inventory (#2849)
shuklaayush
committed
feat(v2-rc.2): emit metered execution metrics (#2859)
shuklaayush
committed
fix: resolve openvm v2.0 audit issues (#2845)

gdmlcjs
authored and
shuklaayush
committed
fix(static-verifier): require reduced BabyBear transcript inputs (#2848)

zlangley
authored and
shuklaayush
committed
fix(static-verifier): fold carry bit into BabyBear div reduction guards (#2858)

zlangley
authored and
shuklaayush
committed
fix(static-verifier): bound signed_div_mod quotient for negative dividends (#2860)

authored and
shuklaayush
committed
feat(v2-rc.2): use backend segment memory metering (#2861)
shuklaayush
committed
fix: differentiate deferral circuit leaf and internal hashes (#2857)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: constrain canonical deferral hook location in main agg tree (#2862)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore(runs-on): migrate runner labels for v3 (#2864)
shuklaayush
committed
feat(v2-rc.2): emit segmentation trigger metric (#2865)
shuklaayush
committed
fix: non-root def hook proofs should always have siblings (#2863)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2-rc.2/ci): speed up docs check, re-enable cargo shear (#2867)

shuklaayush
and
claude
committed
fix(static-verifier): phase3 nits (#2868)

zlangley
authored and
shuklaayush
committed
fix: update deferral docs + standardize verify-stark (#2866)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore: remove stale recursion TODOs (#2870)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2.1-rc.2): hard assert output len is 32 byte (#2872)
shuklaayush
committed
chore: cleanup safety in keccak guest library (#2873)

gdmlcjs
authored and
shuklaayush
committed
chore: some sdk refactor for distributed use case (#2871)

luffykai
authored and
shuklaayush
committed
fix: sha2 alignment issue fix (#2880)

authored and
shuklaayush
committed
fix(v2-rc.2): reject public values writes past configured limit (#2879)
shuklaayush
committed
chore(v2-rc.2): remove obsolete system profiling flag (#2885)
shuklaayush
committed
chore(v2-rc.2): resolve pending todos (#2874)

shuklaayush
and
claude
committed
fix(v2-rc.2): size GPU Poseidon2 scratch per segment (#2875)
shuklaayush
committed
perf(v2-rc.2): bump max segment trace height to 2^24 (#2869)
shuklaayush
committed
fix(docs): fix non-compiling fallback branches in keccak, sha256, and bigint examples (#2831)

alelpoan
authored and
shuklaayush
committed
fix(v2-rc.2): use max trace height from config in tests (#2886)
shuklaayush
committed
feat: add workflow dispatch for sdk tests (#2877)

authored and
shuklaayush
committed
feat: EVM verify optionally verifies app commit + CLI vk paths (#2884)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2-rc.2): derive segmentation limits from prover params (#2888)
shuklaayush
committed
chore: update recursion README (#2895)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: cargo openvm setup --evm stores halo2 pk (#2894)

stephenh-axiom-xyz
authored and
shuklaayush
committed
feat: change the recursion_flag public value to recursion_depth (#2900)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix: send `r` instead of squared over the `EqNegBaseRandBus` (#2903)

Golovanov399
authored and
shuklaayush
committed
fix: do not account for an absent air's interactions when computing total interactions (#2904)

Golovanov399
authored and
shuklaayush
committed
chore: update refs to enable halo2 GPU prover (#2906)

stephenh-axiom-xyz
authored and
shuklaayush
committed
fix(v2-rc.2): report metered segment memory utilization (#2907)
shuklaayush
committed
fix: final nits for phase3 (#2909)

zlangley
authored and
shuklaayush
committed
chore(v2-rc.2): add tracegen observability spans (#2911)
shuklaayush
committed
fix(v2-rc.2): cleanup prove-evm metrics (#2915)
shuklaayush
committed
fix: preserve AUIPC AOT immediates (#2855)

committed
fix(v2-rc.2): preserve AOT load side effects into x0 (#2918)

shuklaayush
and
1sgtpepper
committed
fix(v2-rc.2): handle dead AOT PC dispatch slots (#2919)

committed
fix: root layer tracegen and proving on the same GPU context (#2914)

stephenh-axiom-xyz
authored and
shuklaayush
committed
chore(v2): bump quin-proto to 0.11.15 (#2924)
shuklaayush
committed
feat: improve deferral interface + add verify-stark example (#2910)

authored and
shuklaayush
committed
feat: halo2-gpu feature flag (#2929)

gaxiom
authored and
shuklaayush
committed
fix: update ci dependencies and merkle test api
shuklaayush
committed
fix: guard EVM static verifier shape assumptions (#2940)
zlangley
authored

Commits on Jul 2, 2026