Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
264 commits
Select commit Hold shift + click to select a range
5506f06
fix: divrem tests (#1633)
arayikhalatyan May 7, 2025
9695af7
feat: bigint circuit to compile (#1639)
arayikhalatyan May 12, 2025
9174577
feat(new-execution): add codspeed execution benchmark (#1643)
shuklaayush May 13, 2025
169d5bb
feat: memory access adapters, boundary chips, merkle chip E3 (#1640)
Golovanov399 May 13, 2025
65ab533
fix: Cargo lock & format (#1650)
nyunyunyunyu May 14, 2025
8c33445
fix: new block initialization in memory access adapters (#1651)
Golovanov399 May 14, 2025
164eb0e
feat(new-execution): trigger codspeed ci on branch pushes (#1654)
shuklaayush May 15, 2025
327fe86
feat: new execution remove redundant controller memory e1 (#1653)
Golovanov399 May 15, 2025
d603ad0
feat: mod builder rewrite (#1644)
arayikhalatyan May 15, 2025
cf8bcdc
feat(new-execution): measure walltime in codspeed ci job (#1656)
shuklaayush May 15, 2025
00bab47
feat: rv32im working execution + tracegen + prove (aka integration te…
Golovanov399 May 16, 2025
5da1c54
feat: e1, e3 implementation for sha2 + keccak extensions (#1657)
arayikhalatyan May 20, 2025
950320b
feat(new-execution): metered execution (#1652)
shuklaayush May 20, 2025
e8afdad
fix: handle keccak256 input/output not 4-byte aligned (#1671)
jonathanpwang May 21, 2025
15a9ae8
fix: misaligned calls to sha256 (#1674)
arayikhalatyan May 21, 2025
87e9e3f
fix: remove serialized_modulus and align modulus constant (#1678)
jonathanpwang May 21, 2025
cc1002c
feat(new-execution): port native chips (#1665)
shuklaayush May 22, 2025
b1387a3
fix: integration test (#1679)
arayikhalatyan May 22, 2025
ae501ac
feat(new-execution): add interfaces for running different execute fun…
shuklaayush May 22, 2025
a32e4be
feat: port public values chip and native adapter (#1681)
shuklaayush May 22, 2025
fe29323
chore: bump stark backend (#1682)
shuklaayush May 22, 2025
61913de
fix: add InsExecutorE1 to sdk vc executor (#1684)
luffykai May 22, 2025
f188a93
fix(new-execution): return final memory (#1685)
shuklaayush May 23, 2025
46e36b0
fix(new-execution): add missing pc increment (#1687)
shuklaayush May 23, 2025
cb2a533
fix(new-execution): properly calculate total max cells (#1688)
shuklaayush May 23, 2025
cc62f86
feat: Poseidon2 chip (#1672)
nyunyunyunyu May 23, 2025
e9bc13d
fix: Fix setting initial memory (#1690)
Golovanov399 May 24, 2025
c9c7240
refactor: VM Executor for E1/E2 (#1699)
nyunyunyunyu May 30, 2025
3f3147b
fix(new-execution): use unpadded height for segmentation (#1698)
shuklaayush May 30, 2025
9b217c5
fix: fixes to get e2e benchmark working (#1696)
jonathanpwang May 30, 2025
a7f81dc
refactor: Make InsExecutorE1 Stateless (#1700)
nyunyunyunyu May 30, 2025
82f7ff9
fix(new-execution): return segments in `execute_metered` (#1702)
shuklaayush Jun 2, 2025
69aa7a0
refactor: Move `Streams` into `VmStateMut` (#1707)
nyunyunyunyu Jun 4, 2025
e8f34f4
feat: make merkle tree finalization parallel in new execution (#1701)
Golovanov399 Jun 5, 2025
356162e
feat: Do not build a `BTreeMap` when we don't need to (#1718)
Golovanov399 Jun 5, 2025
96d4b77
change guest openvm to develop (#1366)
jonathanpwang Apr 4, 2025
803f740
poseidon-air: simplify horizen_round_consts impl (#1362)
tcoratger Feb 22, 2025
716468f
Added Twisted Edwards chip
Avaneesh-axiom Jan 23, 2025
6d8e6d5
renamed WeierstrassExtension to EccExtension (etc)
Avaneesh-axiom Jan 22, 2025
a5d42ae
fix linter errors and address PR comments
Avaneesh-axiom Jan 23, 2025
59253b0
cleanup TwistedEdwardsPoint trait
Avaneesh-axiom Jan 24, 2025
01316c1
fix name collisions
Avaneesh-axiom Jan 24, 2025
b5ca860
change serde serialization for CurveConfig.coeffs to tagged
Avaneesh-axiom Jan 24, 2025
75d9c02
fix typo bug
Avaneesh-axiom Jan 24, 2025
d3832d1
update setup_all_curves to setup_all_sw_curves or setup_all_te_curves
Avaneesh-axiom Jan 24, 2025
a9f1c30
Updated the OpenVM book and example code for twisted Edwards curves
Avaneesh-axiom Jan 24, 2025
27f3d4c
delete vmexe (accidentally commited)
Avaneesh-axiom Jan 24, 2025
d666018
Add Ed25519 curve to the guest library
Avaneesh-axiom Jan 24, 2025
1a9aa83
bugs
Avaneesh-axiom Jan 25, 2025
084daf9
Move IntrinsicCurve trait definition to lib.rs (since it's common to …
Avaneesh-axiom Jan 27, 2025
4933d50
Implement IntrinsicCurve trivially for ed25519
Avaneesh-axiom Jan 27, 2025
380f7d1
Update book/src/custom-extensions/ecc.md
Avaneesh-axiom Jan 28, 2025
a48b602
Remove num-bigint-dig dependancy
Avaneesh-axiom Jan 28, 2025
b0a24f3
Add decompression hints for ed25519 and rewrite curve config
Avaneesh-axiom Jan 28, 2025
fcc8bb8
Add negative of ed25519 generator
Avaneesh-axiom Jan 29, 2025
2a91eb9
Update ecc extension section in the book to match CurveConfig rewrite
Avaneesh-axiom Jan 29, 2025
64f6bcd
fix issues introduced after rebase
Avaneesh-axiom Jan 29, 2025
df3aca0
update README for ecc macros
Avaneesh-axiom Jan 29, 2025
028e5c4
rename ecc opcodes
Avaneesh-axiom Jan 29, 2025
13274f3
Update contributer docs for ecc extension
Avaneesh-axiom Jan 29, 2025
5ab2ec4
fix small bugs
Avaneesh-axiom Jan 29, 2025
bd2f957
fix messed up rebase
Avaneesh-axiom Jan 29, 2025
8842181
update Cargo.lock
Avaneesh-axiom Jan 29, 2025
7e371ef
fix linter errors
Avaneesh-axiom Jan 29, 2025
10393ae
Add CachedMulTable for preprocessed msm for twisted edwards curves
Avaneesh-axiom Jan 30, 2025
1590c05
Add hint fallback for twisted Edwards curves
Avaneesh-axiom Mar 28, 2025
171bf40
fix rebase issues
Avaneesh-axiom Mar 28, 2025
62031bf
Fixed decompression tests for twisted edwards curves
Avaneesh-axiom Mar 31, 2025
4d62231
Fix codespell error on te (twisted edwards) abbreviation
Avaneesh-axiom Mar 31, 2025
6a6b32e
Fix lint errors and typos
Avaneesh-axiom Mar 31, 2025
0d69083
Update docs
Avaneesh-axiom Mar 31, 2025
e9d9a6a
fix(new-execution): remove hardcoded trace heights (#1715)
shuklaayush Jun 13, 2025
9364d65
chore: merge `main` branch (#1740)
jonathanpwang Jun 15, 2025
64e41c9
Remove code related to ecc phantom instructions
Avaneesh-axiom Jun 16, 2025
3d6c5f7
Add struct_name fields to curve configs
Avaneesh-axiom Jun 16, 2025
68909ce
Fix rebase issues
Avaneesh-axiom Jun 16, 2025
7aa8cbf
Add lazy setup for edwards curves
Avaneesh-axiom Jun 16, 2025
02d07b6
Delete commented code
Avaneesh-axiom Jun 16, 2025
9a69407
Add a bunch of #[inline(always)] for te curves
Avaneesh-axiom Jun 16, 2025
688d95d
Merge branch 'main' into feat/edwards-curve-support
Avaneesh-axiom Jun 16, 2025
34fbcda
Update comments on Group::is_identity impl
Avaneesh-axiom Jun 16, 2025
cf9e909
Add missing dep
Avaneesh-axiom Jun 16, 2025
e1f69d0
Fix bugs
Avaneesh-axiom Jun 16, 2025
ba8fb34
Update ecc example
Avaneesh-axiom Jun 16, 2025
9eb373c
Fix lint
Avaneesh-axiom Jun 16, 2025
652bf3c
Update ecc chip READMEs
Avaneesh-axiom Jun 16, 2025
021bb79
Fix import path bugs in pairing guest lib
Avaneesh-axiom Jun 16, 2025
39e2547
Minor change for clarity
Avaneesh-axiom Jun 16, 2025
ba2814a
Update ecc sw-macro and te-macro READMEs
Avaneesh-axiom Jun 16, 2025
d4beb7e
Fix lint
Avaneesh-axiom Jun 16, 2025
e8ded6c
chore: add serde to segment (#1749)
luffykai Jun 17, 2025
d5a267c
fix(new-execution): cleanup `vm.rs` (#1751)
shuklaayush Jun 18, 2025
2851dc5
chore(new-execution): clk/cycles -> instret/insns (#1755)
shuklaayush Jun 18, 2025
337f768
ci: add benches for `execute_metered` (#1752)
shuklaayush Jun 18, 2025
bc094fa
Merge branch 'main' into jpw/merge-main-again
jonathanpwang Jun 18, 2025
7d6f53a
fmt
jonathanpwang Jun 18, 2025
341cada
fix bad merge
jonathanpwang Jun 18, 2025
724ab98
fix again
jonathanpwang Jun 18, 2025
70ae977
chore: merge `main` (#1759)
jonathanpwang Jun 18, 2025
2fa8d0b
fix(new-execution): prevent segmentation in single segment executor (…
shuklaayush Jun 19, 2025
a67e46d
Merge branch 'main' into feat/edwards-curve-support
Avaneesh-axiom Jun 19, 2025
de5e835
fix: Handle decompression with x = 0 correctly
Avaneesh-axiom Jun 19, 2025
5a88dc6
Fix bad merge
Avaneesh-axiom Jun 19, 2025
cb4e446
Add #[serde(default)] to EccExtenison (allow omitting sw or te curves)
Avaneesh-axiom Jun 19, 2025
df0a38a
feat: generalize E3 with generic `RecordArena` (#1761)
jonathanpwang Jun 20, 2025
8730118
fix(new-execution): use `StdRng` for deterministic execution (#1769)
shuklaayush Jun 20, 2025
42d4dc7
chore: add execution insn/s logging (#1764)
jonathanpwang Jun 20, 2025
6cbe7d1
fix(ci): make codspeed instrumentation dispatch only (#1771)
shuklaayush Jun 20, 2025
b0b892f
chore(ci): fix REF_HASH calculation (#1776)
jonathanpwang Jun 23, 2025
5eba513
perf(new-execution): use page-based approach for merkle tree metering…
shuklaayush Jun 23, 2025
c5d731b
feat(sdk): derive Debug traits in config (#1777)
Qumeric Jun 23, 2025
2011411
feat: RecordArena implementation on DenseRecordArena for variable len…
arayikhalatyan Jun 24, 2025
d0399d7
chore: make testing ProgramDummyAir mod public (#1781)
stephenh-axiom-xyz Jun 24, 2025
29e11c3
chore: make RANGE_CHECKER_BUS pub (#1783)
stephenh-axiom-xyz Jun 24, 2025
9875e86
chore: add 'allocated' method to DenseRecordArena (#1785)
arayikhalatyan Jun 24, 2025
6446607
chore: fix last chore (#1786)
arayikhalatyan Jun 24, 2025
77983f5
feat: use memmap instead of paged_vecs on platforms that support it (…
pjabbarzade Jun 25, 2025
184b12e
chore: derive Clone for Segment
Qumeric Jun 25, 2025
ca2e67d
fix: proper memory access functions in `execute_e1_impl` in the nativ…
Golovanov399 Jun 25, 2025
bb20ff8
refactor(new-execution): make `ExecutionCtrl`s stateless (#1789)
shuklaayush Jun 25, 2025
d0f6585
chore(ci): make sdk and cli tests faster
jonathanpwang Jun 25, 2025
fc3d59e
chore: use tracing spans for metrics (#1791)
jonathanpwang Jun 25, 2025
9be060c
chore: make memory volatile and persistent boundary chips pub (#1792)
stephenh-axiom-xyz Jun 25, 2025
24786c5
fix(new-execution): no segmentation in single segment executor (#1796)
shuklaayush Jun 26, 2025
24dc65b
feat(new-execution): change default `PAGE_BITS` value in e2 to 6 (#1794)
shuklaayush Jun 26, 2025
b4cd1d7
refactor: use PagedVec for TracingMemory metadata storage (#1793)
jonathanpwang Jun 26, 2025
6169738
fix(new-execution): remove duplicate assignment (#1799)
shuklaayush Jun 26, 2025
054b336
ci(new-execution): run codspeed instrumentation on push (#1797)
shuklaayush Jun 26, 2025
6fce5ac
fix: account for E1 / E2 execution in metrics summary (#1800)
yi-sun Jun 27, 2025
6dffa9b
fix(new-execution): adapter offset should be boundary_idx + 1 (#1803)
shuklaayush Jun 27, 2025
9fafdbb
chore(ci): fix the instance type for codspeed benches (#1811)
jonathanpwang Jul 2, 2025
ffdfbbc
feat: new execution e4 for memory adapters (#1733)
Golovanov399 Jul 2, 2025
040d653
chore: update `stark-backend` commit (#1812)
jonathanpwang Jul 2, 2025
3f2b5fc
feat: extract_layout implementation for native Poseidon2 (#1813)
stephenh-axiom-xyz Jul 3, 2025
25ecd07
chore: make plonky3 nightly-features optional (#1818)
jonathanpwang Jul 3, 2025
8638194
fix(new-execution): disable loads from address space 1 (#1802)
shuklaayush Jul 5, 2025
0ed7820
feat(new-execution): ignore register addr space for memory ops (#1798)
shuklaayush Jul 5, 2025
378e076
feat: modify fri records + tests (#1819)
arayikhalatyan Jul 7, 2025
4a2f95e
fix: native Poseidon2 record size should be in bytes instead of u32 (…
stephenh-axiom-xyz Jul 7, 2025
c4e2cb6
fix(openvm-prof): replace unwraps with better error strings (#1833)
shuklaayush Jul 9, 2025
dabf5d5
fix(new-execution): add register contribtions on `reset_segment` (#1843)
shuklaayush Jul 10, 2025
45c2403
Merge branch 'main' into feat/new-exec-merge-1.3
jonathanpwang Jul 10, 2025
ad5e7c2
chore: fix merge
jonathanpwang Jul 10, 2025
ac7576d
Merge branch 'main' into feat/new-exec-merge-1.3
jonathanpwang Jul 10, 2025
a7d1125
chore: merge `main` (#1844)
jonathanpwang Jul 10, 2025
b821044
Merge branch 'main' into feat/edwards-curve-support
Avaneesh-axiom Jul 11, 2025
a6be3df
feat: use cached max trace heights in leaf/internal aggregation (#1839)
stephenh-axiom-xyz Jul 11, 2025
2e59e6f
Fix typo in ecc tests
Avaneesh-axiom Jul 11, 2025
197bb73
Merge branch 'feat/new-execution' into feat/edwards-curve-new-execution
Avaneesh-axiom Jul 11, 2025
48c80d7
feat: Add pubs needed for gpu (#1860)
Golovanov399 Jul 14, 2025
9315f1a
feat: RecordSeeker::get_aligned_record_size (#1863)
arayikhalatyan Jul 14, 2025
2187ce0
fix: bug in edwards chip test setup
Avaneesh-axiom Jul 14, 2025
29c9c70
fix: lint
Avaneesh-axiom Jul 14, 2025
e027992
refactor(new-execution): optimize E1/E2 implementation (#1827)
nyunyunyunyu Jul 15, 2025
1c43154
chore: General Sys phantom (#1867)
nyunyunyunyu Jul 15, 2025
97eaf48
fix(new-execution): don't pass total_widths to execute_metered (#1868)
shuklaayush Jul 15, 2025
831d8a4
Merge branch 'feat/new-execution' into feat/edwards-curve-new-execution
Avaneesh-axiom Jul 16, 2025
eaa07ab
feat: public sha2 trace (#1881)
matejav Jul 18, 2025
63667e2
fix: lint
arayikhalatyan Jul 18, 2025
2e23e24
feat: update architecture for generic `ProverBackend`s (#1836)
jonathanpwang Jul 24, 2025
9cac46b
Merge branch 'main' into feat/new-execution
jonathanpwang Jul 24, 2025
56531f2
chore: update MSRV to 1.86.0
jonathanpwang Jul 24, 2025
b269dbb
fix(tracing): metric name tracegen -> trace_gen
jonathanpwang Jul 24, 2025
af8f6c9
feat(new-execution): optimize algebra extension e1/e2 execution (#1882)
shuklaayush Jul 24, 2025
1643eba
fix(new-execution): use smaller fib number in `verify_stark` test (#1…
shuklaayush Jul 24, 2025
7b96336
chore: move record arena implementation to separate file (#1894)
jonathanpwang Jul 24, 2025
32ffd88
fix(new-execution): assign bls12_381 output properly (#1895)
shuklaayush Jul 24, 2025
41c2b4b
perf: remove `step` from `Program` (#1897)
jonathanpwang Jul 25, 2025
a35aa57
chore: use explicit `Result<_, ExecutionError>` and `pre_compute*` re…
jonathanpwang Jul 25, 2025
198eb39
fix(new-execution): replace segmentation strategy with segmentation l…
shuklaayush Jul 25, 2025
fb9007d
chore(perf): use constant for address space in `tracing_read` when po…
jonathanpwang Jul 25, 2025
0f1213d
fix: native `FriReducedOpeningRecord` size calculation (#1905)
teokitan Jul 25, 2025
e5e4dbc
perf(new-execution): use unchecked ops in e2 (#1902)
shuklaayush Jul 26, 2025
b788e45
feat: add host configurable memory cell type to `MemoryConfig` (#1903)
jonathanpwang Jul 26, 2025
a62e015
chore: make `SdkVmConfig::to_inner` pub (#1906)
jonathanpwang Jul 26, 2025
d572c40
chore: `PairingProverExt` is vacuous (#1907)
jonathanpwang Jul 26, 2025
0c44b81
chore: clean up benchmarks (#1908)
jonathanpwang Jul 27, 2025
beb385e
fix(metrics): cycle tracker spans recorded only with "perf-metrics" (…
jonathanpwang Jul 28, 2025
c228a4d
fix: update backtrace only when debug_info exists
jonathanpwang Jul 28, 2025
8520406
chore(tracing): trace individual AIR tracegen (#1911)
jonathanpwang Jul 28, 2025
2f03e2b
feat: `generate_app_proof` always verifies segment proofs (#1912)
jonathanpwang Jul 28, 2025
7cc545a
feat: `execute_metered` returns final memory (#1914)
jonathanpwang Jul 29, 2025
2c22314
feat: add "stark-debug" feature (#1915)
jonathanpwang Jul 30, 2025
4a02a39
fix(docs): update isa spec to specify alignment requirements (#1917)
shuklaayush Jul 30, 2025
b4d0ebc
fix(new-execution): always inline `execute_impl` (#1919)
shuklaayush Jul 31, 2025
ffc9f3e
fix(new-execution): fetch segments properly in kitchen_sink (#1921)
shuklaayush Jul 31, 2025
9086b77
chore: Optimistic E3 Execution for Poseidon2 Chip (#1896)
nyunyunyunyu Aug 1, 2025
a71b2a3
chore: remove `DenseRecordArena::current_size` (#1913)
jonathanpwang Aug 2, 2025
3f4d098
perf(new-execution): cache constants in pairing `final_exp_hint` (#1923)
shuklaayush Aug 2, 2025
d0cd609
refactor(new-execution): make `VmSegmentState` a superset of `VmState…
shuklaayush Aug 2, 2025
85dda3b
feat: `InterpretedInstance` holds pre-computed handlers (#1924)
jonathanpwang Aug 4, 2025
c1d907d
feat(new-execution): add `execute_preflight` benchmark for leaf verif…
shuklaayush Aug 5, 2025
f64949a
chore: add `AddressSpaceHostConfig::size` fn for clarity (#1927)
jonathanpwang Aug 5, 2025
fab1b3d
chore: rename segment.rs to state.rs (#1926)
jonathanpwang Aug 5, 2025
fedc167
chore: rename execution traits (#1932)
jonathanpwang Aug 5, 2025
b7f3572
feat(new-execution): add leaf verifier execute/execute_metered benche…
shuklaayush Aug 5, 2025
bf03b5a
perf(new-execution): use const generics for memory block_size and ali…
shuklaayush Aug 5, 2025
3fb163e
fix: setup e12 should also write to match e3 state (#1930)
luffykai Aug 6, 2025
289abce
fix(perf-metrics): perf instrumentation slow (#1936)
jonathanpwang Aug 6, 2025
22f1a5b
chore: update snark-verifier to v0.2.3 (#1938)
Qumeric Aug 6, 2025
e3f4ccb
feat: Field zero initialization (#1939)
arayikhalatyan Aug 6, 2025
8a71af1
feat: allow to override compiler's Rust toolchain (#1940)
Qumeric Aug 7, 2025
1f4eebd
fix(new-execution): revert "chore: update snark-verifier to v0.2.3 (#…
shuklaayush Aug 7, 2025
e67deab
perf(new-execution): optimize tracing memory functions (#1941)
shuklaayush Aug 7, 2025
55b26a1
ci(new-execution): use proper jemalloc settings for execute benchmark…
shuklaayush Aug 7, 2025
9629ac1
feat: Parse struct name in complex field + ECC init macros as string …
jonathanpwang Aug 7, 2025
be8d0d4
chore: cleanup metrics (#1947)
jonathanpwang Aug 7, 2025
37c9e8f
chore: rename `**Step` to `**Executor` (#1949)
jonathanpwang Aug 8, 2025
4869545
chore: rename `JalLuiCoreRecord` for consistency (#1951)
jonathanpwang Aug 8, 2025
f6a0bc1
chore: remove an old `assert!(address_space < NATIVE_AS)` (#1948)
Golovanov399 Aug 8, 2025
f21b19e
chore(metrics): instrument `total_proof_time_ms` directly (#1952)
jonathanpwang Aug 8, 2025
c98a4da
chore: return memory tests back (#1950)
Golovanov399 Aug 8, 2025
e94ef82
chore: update workspace version to `v1.4.0-rc.2` (#1953)
jonathanpwang Aug 9, 2025
b371303
chore: update Cargo.lock for alloy-eips v1.0.24 (#1954)
jonathanpwang Aug 9, 2025
9714147
Merge branch 'feat/new-execution' into feat/edwards-curve-new-execution
Avaneesh-axiom Aug 1, 2025
11d10fc
Use openvm_init
Avaneesh-axiom Aug 10, 2025
be1e5ec
fix bug: set should_finalize to true for edwards chips
Avaneesh-axiom Aug 10, 2025
24c3c36
Merge branch 'feat/ed25519' into feat/edwards-curve-new-execution
Avaneesh-axiom Aug 10, 2025
d4a9c83
Parse struct name in te_init as string
Avaneesh-axiom Jul 23, 2025
a79827d
fix lint
Avaneesh-axiom Aug 10, 2025
1849d45
fix bug: add quotes around sw_init args
Avaneesh-axiom Aug 10, 2025
55a1c2d
remove unused deps
Avaneesh-axiom Aug 10, 2025
3f0782e
Update openvm.toml format for ecc extension
Avaneesh-axiom Aug 10, 2025
16a8d32
delete debugging code
Avaneesh-axiom Aug 10, 2025
d09c15c
Merge branch 'feat/ed25519' into feat/edwards-curve-new-execution
Avaneesh-axiom Dec 27, 2025
edd189a
Merge branch 'develop-v1.6.0' into feat/edwards-curve-new-execution
Avaneesh-axiom Dec 27, 2025
da92902
Add twisted edwards to examples
Avaneesh-axiom Dec 28, 2025
1dbdb48
Remove old code
Avaneesh-axiom Dec 28, 2025
70b3e54
Update book and specs
Avaneesh-axiom Dec 28, 2025
ceb5f2e
Fix bad merge
Avaneesh-axiom Dec 28, 2025
eba5535
ci: address cargo-audit for ruint (#2335)
jonathanpwang Dec 29, 2025
54d35ce
fix: make with_halo2_pk panic on duplicate key (#2324)
GarmashAlex Dec 29, 2025
50b38ac
Ignore vulnerability in ruint (in unused function)
Avaneesh-axiom Dec 29, 2025
46345b2
fix: fix unbounded trace row generation for rv32im_hintbuffer (#2289)
Maillew Dec 5, 2025
7c172c2
feat: SHA-2 incremental hasher design (#2182)
Avaneesh-axiom Dec 22, 2025
5c281b3
chore: Add phantom instructions to algebra specs (#2334)
Avaneesh-axiom Dec 29, 2025
b5fd223
Merge branch 'feat/ed25519' into feat/edwards-curve-new-execution
Avaneesh-axiom Dec 29, 2025
4c7c5d9
fix(aot): execute_metered should error if exit code nonzero (#2336)
jonathanpwang Dec 30, 2025
1afa10d
fix: fix unbounded trace row generation for rv32im_hintbuffer (#2289)
Maillew Dec 5, 2025
a773947
feat: SHA-2 incremental hasher design (#2182)
Avaneesh-axiom Dec 22, 2025
03bf1b1
chore: Add phantom instructions to algebra specs (#2334)
Avaneesh-axiom Dec 29, 2025
6574872
Merge branch 'feat/ed25519' into feat/edwards-curve-new-execution
Avaneesh-axiom Dec 31, 2025
df1f7f2
Rename ecc circuit, transpiler, and test crates
Avaneesh-axiom Dec 31, 2025
f5601ce
Add shared ecc guest crate
Avaneesh-axiom Dec 31, 2025
fccb580
Update docs for shared ecc guest crate
Avaneesh-axiom Dec 31, 2025
e50d53b
Update code to use the shared ecc crate
Avaneesh-axiom Dec 31, 2025
d7cd935
Fix bugs and lint
Avaneesh-axiom Dec 31, 2025
8aaa1b0
Fix typo in book
Avaneesh-axiom Dec 31, 2025
5030438
Fix bugs and lint
Avaneesh-axiom Dec 31, 2025
79a8ceb
Rename ecc opcodes
Avaneesh-axiom Dec 31, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion .cargo/audit.toml
Original file line number Diff line number Diff line change
@@ -1,4 +1,11 @@
[advisories]
ignore = [
# an older version of tracing-subscriber 0.2.25 is used in ark-bn254 but it is an optional dependency that is not included in the crate graph even with all features enabled
# unfortunately cargo audit includes optional dependencies from Cargo.lock even if they are not in the crate graph
ignore = ["RUSTSEC-2025-0055"]
"RUSTSEC-2025-0055",
# all host ruint dependencies have been updated to >=1.17.1.
# the guest library ruint patch is currently pinned to 1.14 and will be updated in a future release.
# - the advisory concerns undefined behavior (UB) which may trigger memory corruption in a previously marked safe function `reciprocal_mg10`. The upstream fix is to change the safe function to `unsafe`.
# - the advisory does not affect correctness of existing code.
"RUSTSEC-2025-0137"
]
3 changes: 2 additions & 1 deletion .codespellignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,5 @@ InOut
inout
LoadE
SelectE
ser
ser
te
12 changes: 7 additions & 5 deletions .github/workflows/extension-tests.cuda.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ on:
machine_type:
description: "Runner machine type (e.g. test-gpu-nvidia/cpu=8+32)"
required: false
default: test-gpu-nvidia/family=g6+g5+g6e
default: test-gpu-nvidia/family=g6+g6e

concurrency:
group: ${{ github.workflow_ref }}-extension-tests-cuda-${{ github.event.pull_request.number || github.sha }}
Expand All @@ -35,9 +35,9 @@ jobs:
matrix:
extensions: # group extensions on the same runner based on test time
- "rv32im native"
- "keccak256 sha2 bigint algebra ecc pairing"
- "keccak256 sha2 bigint algebra weierstrass_ec edwards_ec pairing"
runs-on:
- runs-on=${{ github.run_id }}-extension-tests-cuda-${{ github.run_attempt }}-${{ strategy.job-index }}/runner=${{ github.event_name == 'workflow_dispatch' && github.event.inputs.machine_type || 'test-gpu-nvidia/family=g6+g5+g6e' }}
- runs-on=${{ github.run_id }}-extension-tests-cuda-${{ github.run_attempt }}-${{ strategy.job-index }}/runner=${{ github.event_name == 'workflow_dispatch' && github.event.inputs.machine_type || 'test-gpu-nvidia/family=g6+g6e' }}

steps:
- uses: runs-on/action@v2
Expand All @@ -63,8 +63,10 @@ jobs:
- "extensions/bigint/**"
algebra:
- "extensions/algebra/**"
ecc:
- "extensions/ecc/**"
weierstrass_ec:
- "extensions/weierstrass_ec/**"
edwards_ec:
- "extensions/edwards_ec/**"
pairing:
- "extensions/pairing/**"

Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/extension-tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,15 +34,17 @@ jobs:
- { name: "sha2", path: "sha2", aot: false }
- { name: "bigint", path: "bigint", aot: false }
- { name: "algebra", path: "algebra", aot: false }
- { name: "ecc", path: "ecc", aot: false }
- { name: "weierstrass_ec", path: "weierstrass_ec", aot: false }
- { name: "edwards_ec", path: "edwards_ec", aot: false }
- { name: "pairing", path: "pairing", aot: false }
- { name: "rv32im", path: "rv32im", aot: true }
- { name: "native", path: "native", aot: true }
- { name: "keccak256", path: "keccak256", aot: true }
- { name: "sha2", path: "sha2", aot: true }
- { name: "bigint", path: "bigint", aot: true }
- { name: "algebra", path: "algebra", aot: true }
- { name: "ecc", path: "ecc", aot: true }
- { name: "weierstrass_ec", path: "weierstrass_ec", aot: true }
- { name: "edwards_ec", path: "edwards_ec", aot: true }
- { name: "pairing", path: "pairing", aot: true }
platform:
- { runner: "64cpu-linux-x64", image: "ubuntu24-full-x64" }
Expand Down
Loading
Loading