v0.1.0-alpha
·
742 commits
to main
since this release
What's Changed
- feat: add interaction permutation support to prover and verifier by @jonathanpwang in #1
- feat: add preprocessing support by @shuklaayush in #2
- chore: create
afs-chipscrate by @jonathanpwang in #5 - test: added an integration test, fib_triples by @OsamaAlkhodairy in #4
- Fix imported crate name by @nyunyunyunyu in #6
- chore: adding (pk, vk) to triples_fib integration test by @OsamaAlkhodairy in #7
- chore: add CI by @yi-sun in #8
- chore: update interaction docs by @yi-sun in #10
- fix: remove repeats in preprocessed trace iteration by @shuklaayush in #13
- chore: write interface-level Interaction doc by @yi-sun in #12
- fix: use permutation constraints for quotient degree calculation by @shuklaayush in #11
- fix: preprocessed indexing by @shuklaayush in #14
- Add integration test for interactions by @nyunyunyunyu in #9
- Test/range checker test by @OsamaAlkhodairy in #15
- feat: AIRs with partitioned main trace matrix by @jonathanpwang in #3
- chore: rename crates
afs-stark-backend, afs-deriveby @jonathanpwang in #22 - Chore: adding test utils crate by @OsamaAlkhodairy in #23
- chore: always use
rayonby @jonathanpwang in #24 - Feat/xor chip by @OsamaAlkhodairy in #18
- fix: p3-maybe-rayon
parallelfeature was not on by @jonathanpwang in #28 - feat: xor limbs chip by @OsamaAlkhodairy in #26
- feat: range checker chip using a gate by @OsamaAlkhodairy in #27
- bench: instrument hash counts for verifier by @jonathanpwang in #19
- chore:
ProverRap, VerifierRap, SymbolicRapcombo intoAnyRapby @jonathanpwang in #30 - chore: rename
*ProvingKeyto*PartialProvingKeyby @jonathanpwang in #31 - chore: add link to plonky3 guide by @jonathanpwang in #32
- chore: use derivative for clone by @jonathanpwang in #33
- feat: added page_read_chip and page_controller by @OsamaAlkhodairy in #29
- feat: add traits to formalize notion of sub-chip by @jonathanpwang in #35
- feat: add merkle tree chip by @shuklaayush in #25
- fix: add back page imports by @shuklaayush in #38
- chore: separate XorBits subair from chip by @jonathanpwang in #39
- feat: add vector equality chip by @cocohearts in #34
- chore: change MAX generic to instance field by @bfan05 in #40
- Add SumChip by @zlangley in #42
- feat: test-case to generalize existing tests by @cocohearts in #41
- feat: AssertSortedChip, IsLessThanChip, IsLessThanTupleChip by @bfan05 in #36
- chore: switch
IsZeroChiptoAB::Exprfor re-usability by @jonathanpwang in #43 - Revert "chore: switch
IsZeroChiptoAB::Exprfor re-usability" by @jonathanpwang in #51 - refactor: rename chip trait and clarify air vs chip by @zlangley in #48
- chore: rename
chip.rstobridge.rsby @jonathanpwang in #52 - refactor: use get_copy for primitives by @zlangley in #53
- fix:
create_commit_to_air_graphallocated using wrong bounds by @jonathanpwang in #55 - feat(backend): add debug check on cumulative sum per bus by @jonathanpwang in #56
- chore: use rust documentation style for tooling support by @zlangley in #54
- feat: implement SumAir v1 by @zlangley in #44
- refactor: small cleanup by @zlangley in #57
- chore: remove input from AssertSortedAir and into generate_trace by @bfan05 in #61
- [feat] Logical interface by @ytham in #49
- chore: optimize IsLessThanTupleCols by @bfan05 in #64
- Add is_less_than_bits chip by @TlatoaniHJ in #60
- Feat/is less than bits tuple chip by @TlatoaniHJ in #63
- chore: remove range_max field from IsLessThanAir and IsLessThanTupleAir by @bfan05 in #65
- chore: derive serialize for proof by @jonathanpwang in #67
- feat: page read write checker by @OsamaAlkhodairy in #45
- chore: satisfy clippy by @zlangley in #68
- chore: derive serialize for
ProverTraceDataby @jonathanpwang in #70 - feat: add
check-cumulative_sumsto debug prover by @jonathanpwang in #72 - feat: single page index scan with predicate by @bfan05 in #58
- feat: change default FRI config to blowup factor 4 by @jonathanpwang in #73
- feat: Offline Checker delete support by @OsamaAlkhodairy in #74
- feat: add engines for BabyBear with blake3 and keccak256 by @jonathanpwang in #78
- chore: auto-implement
Rapwhen builder is notSyncby @jonathanpwang in #80 - [feat] Query binary by @ytham in #46
- perf: Offline Checker Optimization by @OsamaAlkhodairy in #82
- [chore] Add macros for testing by @ytham in #81
- Feat/rename page air update from slice by @MonkeyKing-1 in #84
- chore: add sp1 eDSL by @zlangley in #87
- chore: make fields public in SumAir by @zlangley in #88
- Feat/Aggregation VM STARK by @TlatoaniHJ in #76
- Feat/Verify Aggregation VM with binary by @TlatoaniHJ in #89
- Chore/Remove CpuChip by @TlatoaniHJ in #94
- Feat/convert sp1 compiler to output our ISA by @TlatoaniHJ in #93
- chore: IndexScanPageAir use from_partitioned_slice by @bfan05 in #97
- Feat/PRINTF and FAIL instructions + make instruction set expansion easier by @TlatoaniHJ in #98
- chore: index scan optional ProverTraceData for input/output pages by @bfan05 in #99
- chore: unit tests for all crates in CI by @jonathanpwang in #102
- chore: change exposed_values_after_challenge type by @zlangley in #101
- Feat/Support generic
WORD_SIZEin CPU by @TlatoaniHJ in #103 - feat: constrain nonzero divisor by @cocohearts in #92
- fix: make tests compile by @zlangley in #104
- feat: inner join by @OsamaAlkhodairy in #71
- [feat] Query binary: predicate by @ytham in #85
- feat: is_alloc for FieldArithmetic by @cocohearts in #105
- Feat/Make compiler allocate 0 first by @TlatoaniHJ in #106
- feat: single page groupby by @cocohearts in #75
- Chore/Redesign VM trace generation by @TlatoaniHJ in #109
- feat: poseidon2 AIR by @cocohearts in #96
- Chore/Add .idea to .gitignore by @TlatoaniHJ in #111
- Chore/Memory chip convenience changes. by @TlatoaniHJ in #112
- chore: removing auxiliary folders from inner_join/ by @OsamaAlkhodairy in #114
- chore: rename
poseidon2crate toposeidon2-airby @jonathanpwang in #117 - feat: FieldExtensionArithmeticChip with add, sub, mul, inv operations by @bfan05 in #91
- [feat] Use config.toml for stark params by @ytham in #107
- Feat/Change VM to use timestamp by @TlatoaniHJ in #118
- feat: compiler opcodes for extension arithmetic by @bfan05 in #119
- chore: add VM readme by @jonathanpwang in #121
- [feat] Update logical interface and tests by @ytham in #123
- feat: hint opcode implementation by @bfan05 in #108
- [feat] Benchmark binary by @ytham in #115
- [feat] Configurable predicate by @ytham in #124
- feat: poseidon2 chip by @cocohearts in #120
- Feat/multitier page rw by @MonkeyKing-1 in #62
- feat: LoadE, LoadEI, StoreE, StoreEI, and PrintE instructions by @bfan05 in #125
- chore: cargo build and fmt by @zlangley in #128
- feat: hint_exts by @zlangley in #127
- chore: pull in changes from sp1 by @zlangley in #129
- Feat/eDSL conversion for Poseidon2 opcodes and E2E tests for eDSL/VM by @TlatoaniHJ in #126
- perf: improve M1 trace generation by @OsamaAlkhodairy in #130
- Feat/Change Poseidon2 instructions to read addresses by @TlatoaniHJ in #133
- chore: separate workflows by path by @jonathanpwang in #135
- feat: edsl fe branch instructions and ImmE by @bfan05 in #134
- [feat] Benchmark: Predicate by @ytham in #131
- feat: ext2felt by @zlangley in #132
- feat: improved debugging for interactions (logup) by @jonathanpwang in #137
- feat: move trace
degreefrom vkey to proof by @jonathanpwang in #138 - [chore] Add test configs and update readme by @ytham in #141
- feat: flat hash page read by @cocohearts in #59
- refactor: remove VmParamsConfig by @zlangley in #142
- refactor: Borrow proof and vk in verify by @zlangley in #144
- chore: store
PcsProverDataasArcby @jonathanpwang in #147 - feat: HintBits opcode by @zlangley in #145
- chore: deduplicate IsEqualVecCols by @bfan05 in #149
- fix: fix test_io by @zlangley in #151
- fix: Make ProverTraceData cloneable by @OsamaAlkhodairy in #158
- fix: Add Posiedon2Compress to instruction conversion by @zlangley in #154
- [feat] OLAP binary by @ytham in #116
- chore: update Cargo profiles for optimized release build by @jonathanpwang in #160
- fix: Fix BeqEI and BneEI by @zlangley in #159
- chore: instrument prover functions by @jonathanpwang in #162
- chore: make test-utils default Poseidon2 perm match VM config by @jonathanpwang in #163
- [feat] Refactor for fully configurable benchmark by @ytham in #161
- fix: Fix ext_from_base_slice by @zlangley in #155
- fix: benchmarks should use range bits = 16 by @jonathanpwang in #167
- [chore] Update
max_rw_opsgenerator by @ytham in #166 - chore: ec2 on demand runner for benchmarking by @jonathanpwang in #83
- chore: fix DivEIN bug by @bfan05 in #168
- feat: uni-stark verification in eDSL by @zlangley in #113
- chore: add goldilocks poseidon config by @jonathanpwang in #170
- chore: Fix lint by @zlangley in #172
- refactor: Multizip by @zlangley in #174
- chore: make "parallel" into optional feature by @jonathanpwang in #173
- chore: Remove Axiom* prefix in type names by @zlangley in #175
- chore: add more FRI params by @jonathanpwang in #176
- Feat/Add ExpandChip for VM Persistent Memory by @TlatoaniHJ in #150
- feat:
InteractionBuilderby @jonathanpwang in #143 - refactor: Remove BneInc instructions by @zlangley in #180
- fix: Duplicate import by @zlangley in #181
- chore: Re-ignore test_compiler_array by @zlangley in #182
- feat: general offline checker by @bfan05 in #164
- feat: renaming Poseidon2Chip->Poseidon2VmAir by @cocohearts in #184
- chore: make "parallel" is not default feature by @jonathanpwang in #189
- fix: Start heap at address 0 by @zlangley in #187
- finish multiter interactions by @MonkeyKing-1 in #188
- perf: reduced number of interactions and columns in IsLessThan by @OsamaAlkhodairy in #177
- fix: In-place division by @zlangley in #190
- feat: Hasher trait for Poseidon2Chip by @cocohearts in #186
- refactor: Remove Asm::(Sub|Div)FIN instructions by @zlangley in #183
- feat: print AIR widths and pretty-print benchmarks to stdout by @jonathanpwang in #191
- chore: split
afs-chipsintoafs-primitivesandafs-pageby @jonathanpwang in #192 - feat: add
jemallocandmimallocglobal allocators by @jonathanpwang in #193 - chore: use cargo machete to clean up deps by @jonathanpwang in #194
- feat: use mimalloc by @jonathanpwang in #195
- feat: optionally disable direct interactions by @cocohearts in #196
- perf: remove one column from PageOfflineChecker by @OsamaAlkhodairy in #197
- refactor: Change Poseidon2 instructions to take dst first by @zlangley in #202
- fix: Extension field arithmetic w/o chip by @zlangley in #201
- fix: Correct impl for Ext op Felt/F by @zlangley in #199
- refactor: Remove Asm::SubEIN by @zlangley in #204
- perf: powers of
betashould be cached by @jonathanpwang in #206 - feat: Cycle tracker by @ytham in #165
- Feat/Add MemoryInterfaceChip for VM Persistent Memory by @TlatoaniHJ in #156
- chore: add trace gen bench by @OsamaAlkhodairy in #205
- chore: Remove unused code by @zlangley in #210
- refactor: Remove Asm::ImmE by @zlangley in #208
- test: Cover field immediate arithmetic by @zlangley in #207
- test: Add tests to cover branch instructions by @zlangley in #211
- fix: Verification of VM proof by @zlangley in #215
- [feat] Support Loop Unroll by @nyunyunyunyu in #214
- Chore/Minor ExpandChip changes by @TlatoaniHJ in #209
- Feat/Support public values in VM by @TlatoaniHJ in #200
- perf: improve XorBitsChip trace generation by @OsamaAlkhodairy in #216
- Segment branch, cleaned by @cocohearts in #178
- [feat] Full Functional
Fixedby @nyunyunyunyu in #217 - chore: impl hintable for vec u8 by @luffykai in #220
- [chore] Branch Optimization for Usize by @nyunyunyunyu in #219
- chore: Misc clean up by @zlangley in #222
- perf: improve memory allocation to reduce PageOfflineChecker trace generation time by @OsamaAlkhodairy in #221
- feat: Compiler option for cycle tracker by @zlangley in #223
- fix: Tests by @zlangley in #224
- Feat/benchmark multitier by @MonkeyKing-1 in #198
- chore: make some poseidon2-air constants public by @luffykai in #227
- feat: benchmark vm by @bfan05 in #218
- chore: add vm benchmark README and change fri_params by @bfan05 in #228
- feat: print trace metrics after
proveby @jonathanpwang in #229 - perf: Improve memory usage in verification program by @zlangley in #230
- chore:
partial.pkshould bepkby @jonathanpwang in #232 - chore: collect timings and total cells in vm benchmarks by @jonathanpwang in #231
- chore: add recursion benchmark workflow and automate benchmark metric reporting by @jonathanpwang in #235
- feat: Improve metrics from cycle tracker by @zlangley in #236
- Feat/bench permutation trace by @MonkeyKing-1 in #237
- feat: interaction chunking by @OsamaAlkhodairy in #234
- fix: bench workflow needs gh cli by @luffykai in #245
- fix: address comments for interaction chunking by @OsamaAlkhodairy in #246
- chore: Organize imports by @zlangley in #250
- fix: setup gh by @luffykai in #251
- refactor: Jump instructions by @zlangley in #248
- fix: update benchmark workflow by @luffykai in #249
- chore: make metrics logging prettier and make git workflow print markdown by @jonathanpwang in #252
- chore: consolidate benchmark using workflow_call by @jonathanpwang in #254
- chore: Stricter settings for imports in rustfmt by @zlangley in #253
- refactor: Make Asm::Load|Store match ISA by @zlangley in #247
- chore: benchmark workflow custom VM metrics by @jonathanpwang in #255
- chore: save commit url directly into benchmark result by @jonathanpwang in #256
- perf: Perform MulEI on extension chip by @zlangley in #242
- chore: Remove support for extension field without chip by @zlangley in #257
- perf: logup trace generation optimizations by @MonkeyKing-1 in #239
- chore: move ISA spec from hackmd by @jonathanpwang in #258
- Feat/dynamic multitier capacity by @MonkeyKing-1 in #259
- fix: Typos in ISA by @zlangley in #261
- feat: opcode tracker by @bfan05 in #238
- bench: add filter workflow by @jonathanpwang in #263
- chore: bench workflow to auto-update branch with bench results by @jonathanpwang in #264
- Feat/error reduction by @MonkeyKing-1 in #262
- feat: opcode trace cell counts by @bfan05 in #267
- fix:
Poseidon2VmAirinteractions forPERM_POSEIDON2opcode by @jonathanpwang in #268 - refactor: Remove last usage of util register in conversion by @zlangley in #260
- feat: Usage address space 2 (memory) for stack by @MonkeyKing-1 in #269
- Feat/error reduction fix by @MonkeyKing-1 in #266
- spec: update ISA handling of word size by @jonathanpwang in #265
- chore: collapsable metrics and join tables by @jonathanpwang in #274
- Feat/Constrain initial/final roots in ExpandChip by @TlatoaniHJ in #226
- fix: cycle tracker with segmentation by @jonathanpwang in #275
- [refactor] Right Value Support & Constant Loop Break Support by @nyunyunyunyu in #241
- Chore/Separate execution from trace generation by @TlatoaniHJ in #280
- feat: less_than opcode by @luffykai in #271
- spec: add unsigned 32-bit SLTU instruction by @jonathanpwang in #272
- spec: u256 operations by @jonathanpwang in #284
- feat: add assert_var_array_eq by @luffykai in #283
- test: Fix challenger test by @zlangley in #286
- perf: Reduce mem access for immediates by @zlangley in #285
- [fix]DisableBreak flag in RangeBuilderWithBreaks by @nyunyunyunyu in #290
- test: Add pvs to fibonacci program test by @zlangley in #291
- perf: Copy field elements without arithmetic chip by @zlangley in #288
- refactor: Remove unused asm instructions by @zlangley in #289
- Feat/compiler get ref by @MonkeyKing-1 in #277
- perf: Improve mixed ext/felt support by @zlangley in #287
- Feat/stark dsl code opt by @MonkeyKing-1 in #282
- refactor: Improve Array ptr interface by @zlangley in #297
- [feat] Builder Static Mode by @nyunyunyunyu in #295
- feat: implement a chip for long addition by @Golovanov399 in #298
- feat: new LOADW2 and STOREW2 opcodes by @zlangley in #303
- Add loadw2/storew2 to ISA by @zlangley in #304
- feat: Support immediates in either position for arithmetic by @zlangley in #305
- Feat/Modular multiplication chips by @TlatoaniHJ in #244
- feat: Add indefinite loop construct to eDSL by @zlangley in #306
- [feat] Generalize Challenger & MultiField32ChallengerVariable by @nyunyunyunyu in #302
- Feat/Add support for modular arithmetic and EC add in the eDSL by @TlatoaniHJ in #293
- [fix] Fix test fixed-array-const by @nyunyunyunyu in #311
- feat: u256 subtraction by @Golovanov399 in #309
- fix: AnyRap::name by @zlangley in #312
- specs: add specs for overall VM design by @jonathanpwang in #313
- refactor: Use VecAutoHintable in fri/hints by @zlangley in #314
- feat: add LT and EQ to long arithmetic chip by @Golovanov399 in #317
- fix: Field arithmetic cell count by @zlangley in #321
- refactor: Simplify FieldArithmeticAir by @zlangley in #319
- feat: Memory Offline Checker by @OsamaAlkhodairy in #294
- [feat] Static Verifier by @nyunyunyunyu in #310
- refactor: Rename NEW_MEMORY_BUS to MEMORY_BUS by @zlangley in #328
- chore: use memory trace builder everywhere by @OsamaAlkhodairy in #331
- feat: finish renames and add scalar ops by @MonkeyKing-1 in #324
- feat: Ensure MemoryBridge consumes all aux cols by @zlangley in #330
- hint changes (compile time len) by @MonkeyKing-1 in #332
- complete hint changes by @MonkeyKing-1 in #333
- chore: remove initial timestamp from MemoryAuditAir by @OsamaAlkhodairy in #334
- feat: add proc_macro to create
*Varand implHintableby @jonathanpwang in #327 - refactor: Field extension chip by @zlangley in #325
- refactor: Move MemoryAccess into manager crate by @zlangley in #335
- fix: test_hint_bits_var by @zlangley in #336
- refactor: Remove disabled_op from public interface by @zlangley in #337
- chore: update comment by @jonathanpwang in #342
- perf: Optimize Memory Offline Checker by @OsamaAlkhodairy in #326
- feat: verification directly from vk by @jonathanpwang in #346
- feat: Modular VM by @TlatoaniHJ in #340
- chore: label to toggle benchmark by @luffykai in #345
- test: Restore Poseidon2 permute compiler test by @zlangley in #348
- spec: Memory Offline Checker by @OsamaAlkhodairy in #338
- refactor: MemoryChip by @zlangley in #350
- feat: check carry to zero air by @luffykai in #323
- [feat] Add function to generate on-chain verifier by @nyunyunyunyu in #344
- refactor: Move FieldArithmeticChip off of MemoryTraceBuilder by @zlangley in #353
- feat: BBE4DIV by @zlangley in #351
- refactor: Introduce MemoryRead and MemoryWrite types by @zlangley in #355
- feat: Make generate_trace consume self by @zlangley in #357
- feat: Remove op_type from MemoryOperation by @zlangley in #358
- fix: Make compile by @zlangley in #359
- [fix] Chip Metrics by @nyunyunyunyu in #361
- [fix] Trace Cell Contribution Metric by @nyunyunyunyu in #362
- refactor: Remove MemoryAccess by @zlangley in #360
- [refactor] Generic CycleTracker by @nyunyunyunyu in #354
- [chore] Improve Benchmark Readability by @nyunyunyunyu in #364
- feat: allow disabled memory trace to be free by @jonathanpwang in #363
- refactor: remove is valid from field arithmetic record by @jonathanpwang in #366
- refactor: Rename read/write to read_cell/write_cell by @zlangley in #369
- refactor: Remove is_valid from field arithmetic record by @zlangley in #368
- perf: save column
io.opcodein field arithmetic/extension chips by @jonathanpwang in #367 - refactor: Inteface for batch read/write by @zlangley in #370
- fix: always run benchmarks on push to main by @jonathanpwang in #372
- feat: modular multiplication with check carry by @luffykai in #349
- feat: keccak hasher chip and opcode by @jonathanpwang in #225
- chore: rename
afs-test-utilstoax-sdkand move to dev-dependencies by @jonathanpwang in #374 - chore: add
RangeCheckBusbus interface by @jonathanpwang in #375 - feat: HINT_BYTES opcode by @jonathanpwang in #377
- chore: make
VecAutoHintablenot generic inCby @jonathanpwang in #376 - chore: make
Hintablemacro create struct with public fields by @jonathanpwang in #380 - [chore] Improve testing utils & More metrics for halo2 verifier by @nyunyunyunyu in #378
- chore: remove
WORD_SIZEfrom utility function by @jonathanpwang in #382 - fix: keccak padding constraints to account for non-full padding rows by @jonathanpwang in #384
- feat: Make
MemoryBridgework for variable word size by @zlangley in #385 - [feat] Static Verifier Benchmark by @nyunyunyunyu in #379
- [chore] set/set_value of Array doesn't require
&mutby @nyunyunyunyu in #386 - Feat/mod arith update by @MonkeyKing-1 in #381
- refactor: Move
instructioninInstructionExecutorby @zlangley in #388 - refactor: Clean up cpu disabled read/write logic by @zlangley in #387
- chore: fix merge compile error by @jonathanpwang in #390
- fix: add
HINT_BYTEStoCORE_INSTRUCTIONSby @jonathanpwang in #392 - feat: change keccak256 opcode to write output as bytes by @jonathanpwang in #396
- [feat] EC Scalar Multiply by @MonkeyKing-1 in #341
- chore: add
trace_commitment_buildertoStarkEngineby @jonathanpwang in #397 - feat: Batch read/write in Poseidon2 by @zlangley in #393
- chore: re-export plonky3 crates from
stark-backendby @jonathanpwang in #400 - [chore] Rename BigIntVar to BigUintVar by @nyunyunyunyu in #399
- chore:
VerifierProgram::build_with_optionsby @jonathanpwang in #401 - feat: Fine-grained aux columns for memory operations by @zlangley in #398
- feat: use workstealing for recursive expression evaluation by @jonathanpwang in #402
- feat: variable range checker AIR + chip + bus by @stephenh-axiom-xyz in #394
- Feat: VM support for u256 arithmetic by @Golovanov399 in #383
- feat: Use the same new timestamp in batch access by @zlangley in #403
- spec: update
CASTFspec by @jonathanpwang in #408 - feat: switch all chips to use
VariableRangeCheckerby @jonathanpwang in #409 - perf: fine grained interaction chunking by @OsamaAlkhodairy in #407
- feat: DataFusion interface by @ytham in #281
- [feat] Add ECDSA implementation by @nyunyunyunyu in #406
- Add --profile=fast flag to db workflow by @ytham in #413
- Feat/range tuple checker by @Golovanov399 in #347
- [fix] Broken Tests by @nyunyunyunyu in #415
- fix: Add assertions to memory by @zlangley in #414
- feat: modular arithmetic by @luffykai in #371
- chore: re-enable modular arithmetic compiler tests by @jonathanpwang in #417
- [fix] Represent BigUintVar with 32 of 8 bits instead of 9 of 30 bits by @nyunyunyunyu in #416
- [feat] Use UintArithmeticChip for secp256k1 modular is_zero by @nyunyunyunyu in #418
- feat: assert_less_than by @arayikhalatyan in #405
- Feat/u256 compiler support by @Golovanov399 in #420
- feat: VM chip for modular arithmetic (add only first) by @luffykai in #419
- fix: Recursion program for LDE = 27 by @zlangley in #421
- feat: Print captured backtrace when eDSL program fails by @zlangley in #423
- fix: Panic when attempting to segment for now by @zlangley in #424
- [chore] update ISA spec for ec operations by @luffykai in #425
- refactor: Clean up exported API from memory module by @zlangley in #410
- feat: Borrow cols in memory checker by @zlangley in #427
- spec: Update ISA for any-word-size by @zlangley in #411
- feat: EC Add AIR by @luffykai in #391
- feat: MemoryBridge use AssertLessThan by @arayikhalatyan in #426
- feat: Make Read/WriteAuxCols derive AlignedBorrow by @zlangley in #430
- [feat] move vm mod arithmetic to use the new air by @luffykai in #422
- feat: uint_multiplication chip implementation by @stephenh-axiom-xyz in #429
- refactor: Make MemoryBridge the main interface for AIR constraints by @zlangley in #428
- spec: STARK-based database by @jonathanpwang in #373
- fix: compiler u256 lt/eq by @jonathanpwang in #432
- [feat] EC double AIR by @luffykai in #431
- chore: create
ax-ecc-libcrate by @jonathanpwang in #434 - [chore] memory module to read heap array by @luffykai in #433
- feat: CastF chip for casting a u30 into four u8's by @arayikhalatyan in #435
- feat: add compiler/edsl support for uint multiplication by @stephenh-axiom-xyz in #436
- [refactor] Add StarkFriEngine by @nyunyunyunyu in #437
- [feat] vm chip for ec add/double by @luffykai in #438
- feat: BitwiseOperationLookupChip implementation by @stephenh-axiom-xyz in #442
- chore: fix ECDSAInputVariable is_valid by @PangZhi in #445
- perf: Configure Poseidon2 max constraint degree by @OsamaAlkhodairy in #443
- feat: ShiftChip VM runtime support by @stephenh-axiom-xyz in #444
- spec: fix risc-v register description by @jonathanpwang in #447
- [test] Add benchmark workflow
tiny_e2eby @nyunyunyunyu in #441 - feat: eDSL support for secp256k1 add by @jonathanpwang in #449
- tests: add ec_add tests by @jonathanpwang in #452
- feat: VM chip and AIR for LUI opcode by @yi-sun in #448
- feat: no cpu by @Golovanov399 in #439
- feat: Allow MachineChip to provide multiple airs/traces by @zlangley in #458
- [test] Add small e2e benchmark workflow & generalize benchmark utilities by @nyunyunyunyu in #451
- cleanup(vm): remove native field less than by @jonathanpwang in #460
- chore: Merge ExecutionBus and ProgramBus into one by @Golovanov399 in #456
- utils: benchmarking functions and metrics dump by @jonathanpwang in #461
- [fix] FRI Parameters in Test by @nyunyunyunyu in #453
- feat: ModularArithmeticChip unification of add+sub, mult+div, uses const generics by @arayikhalatyan in #450
- chore: update the doc for no-cpu by @Golovanov399 in #462
- profiling: automatic diff display by @jonathanpwang in #463
- feat: flamegraph from cycle tracker spans by @jonathanpwang in #464
- chore: fix gh workflow issue by @jonathanpwang in #468
- fix: Remove redundant columns from CoreMemoryAccessCols by @zlangley in #466
- feat: ALU chip implementation by @stephenh-axiom-xyz in #459
- refactor: Use IsEqual instead of IsEqualVec in core air by @zlangley in #467
- perf: Make duplex challenger more efficient by @zlangley in #471
- [fix] Dynamic verifier doesn't require the order of AIRs by @nyunyunyunyu in #465
- [refactor] Public values are a part of proofs by @nyunyunyunyu in #469
- feat: Profiling improvements by @zlangley in #473
- feat: field expression framework by @luffykai in #470
- Ignore
bench_metricsin .gitignore by @Golovanov399 in #476 - [refactor] AIR with Public Values by @nyunyunyunyu in #477
- feat: Keccak batch reads and use of AlignedBorrow by @zlangley in #475
- feat: MemoryAccessAdapter by @zlangley in #455
- feat: change fri params to use conjectural soundness by @jonathanpwang in #479
- feat: shift chip execute and AIR implementation by @stephenh-axiom-xyz in #474
- [refactor] Add trait PartitionedBaseAir by @nyunyunyunyu in #481
- feat: eDSL support for all ALU operations by @stephenh-axiom-xyz in #483
- Initial vendor of risc0's rust adapter for RISC-V by @jonathanpwang in #454
- feat: testing function for partitioned and cached traces by @OsamaAlkhodairy in #486
- feat: add 256-bit integer ALU e2e benchmark by @stephenh-axiom-xyz in #487
- [refactor] PartitionedAirBuilder distinguishes Cached Mains by @nyunyunyunyu in #482
- feat: Support DslIr/opcode/air_name in same stack by @zlangley in #480
- chore: improve CI by @jonathanpwang in #488
- chore: refactor
archto re-export by @jonathanpwang in #489 - chore: improve CI and use cargo nextest by @jonathanpwang in #490
- feat: MachineIntegration API by @jonathanpwang in #491
- [feat] Multi Miller loop by @ytham in #446
- [feat] auto carry for field expression by @luffykai in #484
- Feat/opcode classes by @Golovanov399 in #492
- [fix] Fix benchmarks by @Golovanov399 in #496
- [fix] fix static verifier by @Golovanov399 in #498
- feat: MachineAdapter for RISC-V ALU chips by @stephenh-axiom-xyz in #497
- fix: cycle tracker metrics and opcode names by @jonathanpwang in #501
- [chore] opcode classes spec update by @Golovanov399 in #502
- [feat] Multi Miller loop for BN254 by @ytham in #500
- feat: RV32 adapter/integration ALU runtime by @stephenh-axiom-xyz in #505
- chore: add flamegraphs to public s3 and display in PR comments by @jonathanpwang in #504
- [chore] modular opcode supports different primes by @luffykai in #499
- chore: remove old crates to reduce maintenance by @jonathanpwang in #508
- feat: Pass hasher to MemoryChip finalize by @zlangley in #506
- feat: Adapter + Integration runtime impl for shift and LT by @stephenh-axiom-xyz in #507
- chore: make
to_pcoptional to indicate adapter should handle by @jonathanpwang in #511 - feat: Implementation of LoadStore runtime by @arayikhalatyan in #509
- feat: Implementation of LoadStore Extend runtime by @arayikhalatyan in #512
- [refactor] Add V2 Prover/Verifier to support optional AIRs by @nyunyunyunyu in #493
- feat: add aggregation to metrics by @yi-sun in #517
- chore: add back prover trace metrics emission by @jonathanpwang in #520
- chore: update metric formatting by @yi-sun in #518
- feat: RISC-V multiplication extension runtime by @stephenh-axiom-xyz in #513
- feat: cache program by @OsamaAlkhodairy in #503
- Feat/fixed scalar multiply by @MonkeyKing-1 in #478
- [feat] new functionality for expression framework by @luffykai in #514
- fix: ecc tests by @zlangley in #522
- [refactor] Reusable testing AIR by @nyunyunyunyu in #516
- [feat] Add a new class of opcodes to later implement functionality for by @Golovanov399 in #521
- [feat] modular add v2 by @luffykai in #510
- feat: Implementation of Jal and Lui opcode runtimes by @arayikhalatyan in #523
- feat: RISC-V branch opcode runtime implementations by @stephenh-axiom-xyz in #524
- [fix] Recursion Verifier Fix & Add V2 testing by @nyunyunyunyu in #525
- feat: Implementation of AUIPC runtime by @arayikhalatyan in #526
- [feat] Implement transpiler by @Golovanov399 in #527
- [chore] Remove unused field
bigint_limb_sizeby @nyunyunyunyu in #529 - feat: Implement
width()in AlignedBorrow by @zlangley in #530 - [feat] BN254 AssertFinalExponentiationIsOne by @ytham in #515
- chore: switch stark-backend to V2 by @jonathanpwang in #534
- refactor:
MachineChipowns single air by @jonathanpwang in #535 - feat: working
MachineAirWrapperby @jonathanpwang in #536 - feat: renamings by @yi-sun in #538
- chore: rename
innertocorein wrapper by @jonathanpwang in #539 - refactor: reorganize folders by @yi-sun in #540
- [feat] Make program.instructions a map instead of vector by @Golovanov399 in #532
- fix: fix benchmark directory by @yi-sun in #547
- chore:
VmCoreChiponly depends on interface by @jonathanpwang in #546 - chore: use workspace dependencies and default parallel by @jonathanpwang in #543
- [chore] Move program utils from compiler to program by @Golovanov399 in #544
- chore: remove const generic from Interface in VmAdapterChip by @stephenh-axiom-xyz in #550
- [feat] Add prover debug back by @nyunyunyunyu in #552
- [chore] ProgramChip instead of ProgramAir owns Program by @nyunyunyunyu in #556
- chore: rename local to local_core by @yi-sun in #557
- feat: Persistent memory by @zlangley in #519
- refactor: Rename MemoryChip to MemoryController by @zlangley in #548
- [refactor] Remove AirInfo by @nyunyunyunyu in #558
- fix: test_vm_1_persistent from merge by @zlangley in #562
- refactor: make
axvm-instructionscrate to separate out instructions by @jonathanpwang in #563 - feat: Make timestamp/pc u32 at runtime by @zlangley in #561
- [feat] fp2 arithmetic by @luffykai in #549
- [feat] modular add/sub mul/div runtime v2 by @luffykai in #551
- fix: u8 to usize in Program Tester to prevent opcode overflow by @arayikhalatyan in #565
- feat: ALU core and adapter chip AIR constraints + tests by @stephenh-axiom-xyz in #553
- feat:
FlatAdapterInterfaceby @jonathanpwang in #568 - feat: merkle module cleanup by @zlangley in #564
- feat: Delete Merkle proof chip by @zlangley in #569
- feat: refactor field_arithmetic, add NativeAdapterChip by @yi-sun in #560
- chore: memory record structs derive Copy by @stephenh-axiom-xyz in #573
- feat: move field_extension to Integration API by @yi-sun in #571
- refactor: move deprecated modules by @yi-sun in #576
- fix: branch eq runtime sign issue by @jonathanpwang in #575
- [ci] switch to runs-on self-hosted runners by @jonathanpwang in #579
- [feat] Test transpiler against runtime by @Golovanov399 in #545
- chore: setup tracing by default in sdk by @jonathanpwang in #567
- feat: generalized dummy adapter chip for testing by @stephenh-axiom-xyz in #570
- fix: fix CI error by @yi-sun in #583
- chore: add
from_pcfunction toVmAdapterInterfacetrait by @jonathanpwang in #586 - chore: add clone bound to
Sinfrom_pcby @jonathanpwang in #587 - feat: custom instruction config by @jonathanpwang in https://github.com/openvm-org/openvm/pull/585
- [fix] ec chip offset handling bug by @luffykai in https://github.com/openvm-org/openvm/pull/582
- feat: move CASTF to Integration API by @yi-sun in https://github.com/openvm-org/openvm/pull/572
- chore: replace CastF with NewCastF by @yi-sun in https://github.com/openvm-org/openvm/pull/588
- feat: JAL and LUI Air implementation by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/554
- [refactor] Remove VmChip and Use stark-backend Chip by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/578
- feat: add get_from_pc to VmAdapterAir interface by @yi-sun in https://github.com/openvm-org/openvm/pull/590
- feat: BLS12-381 final exponentiation by @ytham in https://github.com/openvm-org/openvm/pull/541
- [feat] modular v2 vm core AIR integration by @luffykai in https://github.com/openvm-org/openvm/pull/581
- [refactor] Create Chips from VmConfig by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/592
- refactor: make BasicAdapterInterface more general by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/600
- feat: ShiftCoreChip AIR, trace, and positive tests by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/595
- feat: AIR for LessThanCoreChip by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/593
- feat: AUIPC AIR implementation by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/591
- refactor: find_chip macro by @zlangley in https://github.com/openvm-org/openvm/pull/603
- [feat] VM Keygen by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/596
- feat: Make leaves of memory trie hashes by @zlangley in https://github.com/openvm-org/openvm/pull/601
- feat: Remove clock_cycles and timestamp from CoreState by @zlangley in https://github.com/openvm-org/openvm/pull/598
- feat: Rv32 vectorized heap adapter by @jonathanpwang in https://github.com/openvm-org/openvm/pull/599
- [doc] Add comments for interactions in SymbolicConstraints by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/607
- [feat] Runtime for short weierstrass curve operations over Fp by @luffykai in https://github.com/openvm-org/openvm/pull/566
- feat: Expose interface for initial memory by @zlangley in https://github.com/openvm-org/openvm/pull/604
- [feat] Fix the
x0behaviour, update the fibonacci program by @Golovanov399 in https://github.com/openvm-org/openvm/pull/602 - chore: remove old version of modular arithmetic by @yi-sun in https://github.com/openvm-org/openvm/pull/609
- fix: take
ctx.to_pcinto account in adapters by @yi-sun in https://github.com/openvm-org/openvm/pull/611 - fix: Use initial memory in trace generation by @zlangley in https://github.com/openvm-org/openvm/pull/612
- fix: merge by @jonathanpwang in https://github.com/openvm-org/openvm/pull/613
- [feat] Generalize NativeAdapter by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/610
- feat: RISC-V branch adapter + BEQ and BLT core chip AIR implementations by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/605
- feat: JALR AIR implementation by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/608
- [fix] Benchmark Workflow when No Diff by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/616
- feat: Continuations run-time execution by @zlangley in https://github.com/openvm-org/openvm/pull/614
- feat: Move initial/final pc to connector chip by @zlangley in https://github.com/openvm-org/openvm/pull/617
- [feat] generalize rv32_heap_vec adapter by @luffykai in https://github.com/openvm-org/openvm/pull/618
- [feat] Transpiler for custom intrinsics by @Golovanov399 in https://github.com/openvm-org/openvm/pull/589
- chore: clean up AdapterInterfaces by @yi-sun in https://github.com/openvm-org/openvm/pull/622
- chore: remove unused U32Opcode class by @yi-sun in https://github.com/openvm-org/openvm/pull/623
- chore: implement Chip for VmConnectorChip by @yi-sun in https://github.com/openvm-org/openvm/pull/625
- chore: rename solve_ to run_ by @yi-sun in https://github.com/openvm-org/openvm/pull/626
- chore: add
MemoryAuxColsFactorytogenerate_trace_rowby @yi-sun in https://github.com/openvm-org/openvm/pull/624 - refactor: instruction, register renaming by @yi-sun in https://github.com/openvm-org/openvm/pull/627
- feat: Remove redundant state management by CoreChip by @zlangley in https://github.com/openvm-org/openvm/pull/630
- [feat] Add fibonacci elf by @Golovanov399 in https://github.com/openvm-org/openvm/pull/632
- fix: Change
as_labelto use fewer bits in persistent memory by @zlangley in https://github.com/openvm-org/openvm/pull/631 - feat: Load and Store Air implementation by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/619
- refactor: change some instances of address to pointer by @yi-sun in https://github.com/openvm-org/openvm/pull/634
- feat: RISC-V multiplication adapter + core AIR by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/615
- chore: rename add_default_executor to add_executor by @yi-sun in https://github.com/openvm-org/openvm/pull/636
- [feat] Add PublicValuesChip by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/633
- [chore] Disable unnecessary metric collection by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/639
- [feat] riscv terminate nop by @Golovanov399 in https://github.com/openvm-org/openvm/pull/635
- [fix] fix benchmarks by @Golovanov399 in https://github.com/openvm-org/openvm/pull/643
- [feat] generalize native heap adapter by @luffykai in https://github.com/openvm-org/openvm/pull/644
- feat: add support for HintStoreW by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/640
- chore: rename
NopAirby @jonathanpwang in https://github.com/openvm-org/openvm/pull/645 - chore: remove OldCoreChip executor from
rv32config by @jonathanpwang in https://github.com/openvm-org/openvm/pull/646 - [feat] air integration of EC add and double by @luffykai in https://github.com/openvm-org/openvm/pull/620
- refactor: Some clean up in Core chip by @zlangley in https://github.com/openvm-org/openvm/pull/648
- [fix] more precise autosave by @luffykai in https://github.com/openvm-org/openvm/pull/642
- feat: move BNE, BEQ, JAL out of CoreChip by @yi-sun in https://github.com/openvm-org/openvm/pull/629
- feat: RV32I fibonacci proof by @jonathanpwang in https://github.com/openvm-org/openvm/pull/647
- feat: Make continuations test work via verification by @zlangley in https://github.com/openvm-org/openvm/pull/650
- [chore] some field expression refactor by @luffykai in https://github.com/openvm-org/openvm/pull/652
- [feat] riscv initial memory by @Golovanov399 in https://github.com/openvm-org/openvm/pull/654
- [refactor] primitives by @jonathanpwang in https://github.com/openvm-org/openvm/pull/621
- [feat] Fix critical AIR id in VM by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/656
- [feat] Bound pc in Program constructors by @Golovanov399 in https://github.com/openvm-org/openvm/pull/655
- [fix] VM cell count by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/657
- feat: Native Load Store by @yi-sun in https://github.com/openvm-org/openvm/pull/638
- feat: AlignedBorrow on MerkleMemoryCols by @zlangley in https://github.com/openvm-org/openvm/pull/661
- [feat] Committed Program by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/658
- chore: runs-on for benchmark by @PangZhi in https://github.com/openvm-org/openvm/pull/651
- feat: Clean up core chip by @zlangley in https://github.com/openvm-org/openvm/pull/663
- [feat] generic field expression vm chip by @luffykai in https://github.com/openvm-org/openvm/pull/653
- chore: fix runs_on by @PangZhi in https://github.com/openvm-org/openvm/pull/665
- [feat] Expose is_terminate as a public value by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/666
- feat: Always increment timestamp by @zlangley in https://github.com/openvm-org/openvm/pull/667
- [fix] fix expected opcode of field expression chip by @luffykai in https://github.com/openvm-org/openvm/pull/668
- [chore] transpile shamts in a more natural way by @Golovanov399 in https://github.com/openvm-org/openvm/pull/669
- [feat] Add exit code in the terminate transpilation by @Golovanov399 in https://github.com/openvm-org/openvm/pull/662
- chore: rename idx to pointer in some cases by @yi-sun in https://github.com/openvm-org/openvm/pull/674
- [feat] macro to auto derive trait for field expression chip wrapper by @luffykai in https://github.com/openvm-org/openvm/pull/671
- chore: collect bus constants in chip_set by @yi-sun in https://github.com/openvm-org/openvm/pull/673
- feat: RISC-V division/remainder AIR constraints + positive tests by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/637
- [chore] test helper to prepare memory heap data by @luffykai in https://github.com/openvm-org/openvm/pull/672
- feat: RV32 negative tests + cleanup + LT opcodes fix by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/679
- [feat] Leaf Verifier eDSL Program by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/676
- [chore] Move Program/Instruction into axvm-instructions by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/684
- feat: fp12_multiply by @ytham in https://github.com/openvm-org/openvm/pull/606
- chore: set default pc step to 4 everywhere by @jonathanpwang in https://github.com/openvm-org/openvm/pull/683
- chore: remove old CoreChip and introduce phantom instructions by @jonathanpwang in https://github.com/openvm-org/openvm/pull/685
- refactor: simplify ProcessedInstruction names by @yi-sun in https://github.com/openvm-org/openvm/pull/686
- chore: remove unused InstructionCols struct by @yi-sun in https://github.com/openvm-org/openvm/pull/687
- feat: move HINT_STOREW into a separate chip by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/678
- chore: rename modules/folders for rv32im by @jonathanpwang in https://github.com/openvm-org/openvm/pull/688
- dev: faster tests by @jonathanpwang in https://github.com/openvm-org/openvm/pull/689
- refactor: move
system/vmtoarchandmetricsby @yi-sun in https://github.com/openvm-org/openvm/pull/690 - refactor: rename crates by @jonathanpwang in https://github.com/openvm-org/openvm/pull/691
- refactor: separate derive crates and rename
ax-sdk->ax-stark-sdkby @jonathanpwang in https://github.com/openvm-org/openvm/pull/693 - chore: better macro for UsizeOpcode and cleanup by @jonathanpwang in https://github.com/openvm-org/openvm/pull/694
- chore: move PhantomChip to system by @jonathanpwang in https://github.com/openvm-org/openvm/pull/695
- chore: less nested directories by @jonathanpwang in https://github.com/openvm-org/openvm/pull/696
- chore: add placeholder keccak intrinsic by @jonathanpwang in https://github.com/openvm-org/openvm/pull/697
- test: Add continuations test for RISC-V by @zlangley in https://github.com/openvm-org/openvm/pull/677
- feat: Remove unused memory heap interface by @zlangley in https://github.com/openvm-org/openvm/pull/702
- feat: Elliptic curve constants by @ytham in https://github.com/openvm-org/openvm/pull/700
- spec: axVM v0.1 ISA by @jonathanpwang in https://github.com/openvm-org/openvm/pull/664
- refactor: Clean up access adapter trace TODO by @zlangley in https://github.com/openvm-org/openvm/pull/699
- feat: LoadStore to support 1 byte aligned lbu, sb and 2 byte aligned lhu,sh by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/701
- [feat] autosave for div by @luffykai in https://github.com/openvm-org/openvm/pull/692
- Fix definition of i32 in ISA by @zlangley in https://github.com/openvm-org/openvm/pull/706
- feat: Remove ability to Clone VM chips by @zlangley in https://github.com/openvm-org/openvm/pull/704
- feat: replace XorLookupChip with BitwiseOperationLookupChip by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/703
- [feat] transpiler without ecalls by @Golovanov399 in https://github.com/openvm-org/openvm/pull/710
- [refactor] Add AxVmExe by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/705
- [chore] Chipset Initialization doesn't require Streams by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/708
- feat: LoadSignExtend supports 1 byte aligned lb and 2 byte aligned lh by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/707
- [feat] move Ec operation chip from kernel to intrinsics by @luffykai in https://github.com/openvm-org/openvm/pull/709
- feat:
FieldExprfor Fp12add,sub; renamemultiplytomulby @ytham in https://github.com/openvm-org/openvm/pull/698 - chore: add list of all configuration parameters by @yi-sun in https://github.com/openvm-org/openvm/pull/715
- feat: loadstore adapter to support any AS by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/717
- fix: lui x0 handling and fence nop by @jonathanpwang in https://github.com/openvm-org/openvm/pull/719
- feat: initial vendor of RISC-V cargo_command by @jonathanpwang in https://github.com/openvm-org/openvm/pull/714
- feat: add
VirtualMachinefor keygen, execute, prove, verify by @yi-sun in https://github.com/openvm-org/openvm/pull/720 - [chore] Add AxVmCommittedExe by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/711
- [fix] q max overflow bits by @luffykai in https://github.com/openvm-org/openvm/pull/722
- chore: remove debug from instructions by @yi-sun in https://github.com/openvm-org/openvm/pull/724
- [chore] refactor ExprBuilderConfig struct by @luffykai in https://github.com/openvm-org/openvm/pull/723
- chore: trigger CI on all branches by @yi-sun in https://github.com/openvm-org/openvm/pull/729
- fix: remove duplicate CI runs by @yi-sun in https://github.com/openvm-org/openvm/pull/730
- [feat] Add the functionality for custom RISC-V intrinsics, support hints in RISC-V by @Golovanov399 in https://github.com/openvm-org/openvm/pull/726
- benchmarks: initial crate setup by @jonathanpwang in https://github.com/openvm-org/openvm/pull/721
- fix: RV32 shift takes lowest bits only by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/733
- feat: riscv-official-tests in ELF format by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/670
- chore: feature gate axvm io to zkvm target by @jonathanpwang in https://github.com/openvm-org/openvm/pull/734
- [feat] support flags in field expression core air by @luffykai in https://github.com/openvm-org/openvm/pull/736
- chore: add custom RISCV instruction constants by @jonathanpwang in https://github.com/openvm-org/openvm/pull/737
- [feat] miller double opcode by @luffykai in https://github.com/openvm-org/openvm/pull/713
- feat: mul_013_by_013 by @ytham in https://github.com/openvm-org/openvm/pull/712
- feat: RISC-V 256-bit Integer Chip Implementations by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/716
- [feat] VM exposes memory state after execution by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/732
- chore: add segment verification errors by @yi-sun in https://github.com/openvm-org/openvm/pull/728
- [feat] Extend implementation for Variable/MemVariable by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/740
- chore: remove halo2curves as non-dev dep by @jonathanpwang in https://github.com/openvm-org/openvm/pull/741
- [feat] miller double and add opcode by @luffykai in https://github.com/openvm-org/openvm/pull/727
- [chore] Improve Hintable Macro by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/742
- feat: mul_by_01234 by @ytham in https://github.com/openvm-org/openvm/pull/731
- Feat: add range checks to vec adapter by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/746
- [chore] VM Config Refactor by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/752
- feat: intrinsic for
revealby @jonathanpwang in https://github.com/openvm-org/openvm/pull/745 - feat:
axvm::readby @jonathanpwang in https://github.com/openvm-org/openvm/pull/744 - feat: add FriReducedOpeningChip by @TlatoaniHJ in https://github.com/openvm-org/openvm/pull/681
- feat: Support unaligned block memory accesses by @zlangley in https://github.com/openvm-org/openvm/pull/718
- feat: keccak256 intrinsic chip by @jonathanpwang in https://github.com/openvm-org/openvm/pull/753
- feat: RISC-V 256-bit integer branch chip adapter + core implementations by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/747
- feat: add transpilation of INT256 and update custom transpilation by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/749
- [feat] Leaf verifier program verifies public values root by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/748
- fix(spec): beq256 must be B-type by @jonathanpwang in https://github.com/openvm-org/openvm/pull/754
- bench: deploy USDC implementation contract with revm by @jonathanpwang in https://github.com/openvm-org/openvm/pull/751
- feat: ModularIsEqualChip adapter + core + positive tests by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/743
- chore: remove duplicate enum kinds by @jonathanpwang in https://github.com/openvm-org/openvm/pull/757
- feat: benchmark readme & allow axvm program to run on host with std by @jonathanpwang in https://github.com/openvm-org/openvm/pull/758
- fix: lint by @yi-sun in https://github.com/openvm-org/openvm/pull/762
- refactor: toolchain tests by @jonathanpwang in https://github.com/openvm-org/openvm/pull/760
- [fix] field expression abs for int mul when the int is negative by @luffykai in https://github.com/openvm-org/openvm/pull/759
- feat: mul_023_by_023 by @ytham in https://github.com/openvm-org/openvm/pull/735
- feat: mul_by_02345 by @ytham in https://github.com/openvm-org/openvm/pull/738
- feat: transpile keccak and add
axvmintrinsic by @jonathanpwang in https://github.com/openvm-org/openvm/pull/764 - [feat] fp2 chip by @luffykai in https://github.com/openvm-org/openvm/pull/739
- [feat] new 2read_adapter, and EvaluateLine chip by @luffykai in https://github.com/openvm-org/openvm/pull/750
- feat: IntModN class + Rust version support for arithmetic functions by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/756
- feat:
axvm::io::print(phantom) and panic handler msgs by @jonathanpwang in https://github.com/openvm-org/openvm/pull/768 - feat: u256 non zkvm version by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/765
- benchmark: regex by @HrikB in https://github.com/openvm-org/openvm/pull/755
- [feat] ec lib rust version by @luffykai in https://github.com/openvm-org/openvm/pull/766
- refactor: Simplify duplex challenger impl by @zlangley in https://github.com/openvm-org/openvm/pull/772
- feat: zkVM version support for modular arithmetic by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/767
- feat: Collatz conjecture test for rv32im by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/769
- [fix] fp2 chip adapter blocks by @luffykai in https://github.com/openvm-org/openvm/pull/775
- [feat] Add internal verifier & root verifier program by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/763
- feat: update Plonky3 commit by @zlangley in https://github.com/openvm-org/openvm/pull/774
- refactor: Use zero_vec by @zlangley in https://github.com/openvm-org/openvm/pull/777
- perf: Make alpha powers optimization from plonky3 by @zlangley in https://github.com/openvm-org/openvm/pull/778
- [chore] Support Serde for stark/VM outcome structs by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/780
- feat: ECC traits by @ytham in https://github.com/openvm-org/openvm/pull/773
- feat: extern
native_keccak256and update revm bench by @jonathanpwang in https://github.com/openvm-org/openvm/pull/782 - feat: update spec on fp2 and pairing instructions by @jonathanpwang in https://github.com/openvm-org/openvm/pull/783
- [feat] riscv moduli setup macro by @Golovanov399 in https://github.com/openvm-org/openvm/pull/771
- fix: the prime constant in sw.rs by @Golovanov399 in https://github.com/openvm-org/openvm/pull/784
- [fix] modular arith test by @Golovanov399 in https://github.com/openvm-org/openvm/pull/786
- chore: add fri.log_blowup to metrics by @jonathanpwang in https://github.com/openvm-org/openvm/pull/787
- bench: switch bench
agg_log_blowupto 1 by @jonathanpwang in https://github.com/openvm-org/openvm/pull/789 - bench: switch app,agg to log_blowup=2 by @jonathanpwang in https://github.com/openvm-org/openvm/pull/790
- [feat] ec add zkvm by @luffykai in https://github.com/openvm-org/openvm/pull/781
- feat: axvm IntMod trait by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/788
- chore: add
SelfRef<'a>to get double reference binops by @jonathanpwang in https://github.com/openvm-org/openvm/pull/794 - [feat] Add Circuit Prover/Verifier trait into stark-backend by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/791
- feat: transpile pairing opcodes by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/792
- feat: AXVM Fp2 class Rust version implementation by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/779
- [feat] ec point trait by @luffykai in https://github.com/openvm-org/openvm/pull/793
- chore: update p3 commit to
mainby @jonathanpwang in https://github.com/openvm-org/openvm/pull/797 - [feat] Support different FRI parameters for root/internal/leaf verifier by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/795
- chore: Remove generation of
use crate;in moduli_setup by @Golovanov399 in https://github.com/openvm-org/openvm/pull/798 - Feat: int256 axvm library + tests by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/770
- base64 and json benchmark by @HrikB in https://github.com/openvm-org/openvm/pull/776
- feat: pairing final exponentiation hints by @jonathanpwang in https://github.com/openvm-org/openvm/pull/801
- feat: axVM Fp2 intrinsic support + transpilation by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/799
- bench: switch revm bench to 100 transfers by @jonathanpwang in https://github.com/openvm-org/openvm/pull/802
- feat: initial
cargo axiomCLI by @jonathanpwang in https://github.com/openvm-org/openvm/pull/803 - chore: cleanup intrin.S by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/804
- [fix] Flamegraph computing by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/809
- [feat] multi scalar multiplication by @luffykai in https://github.com/openvm-org/openvm/pull/796
- [feat] Make
moduli_setup!callable multiple times by @Golovanov399 in https://github.com/openvm-org/openvm/pull/808 - feat: Rust implementation for axVM pairing opcodes by @ytham in https://github.com/openvm-org/openvm/pull/785
- Fix: cargo workspace default + some other compiler warnings by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/815
- [feat]
sw_setup!macro by @Golovanov399 in https://github.com/openvm-org/openvm/pull/812 - Add Fib E2E benchmark by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/800
- feat:
axvm-algebracrate by @ytham in https://github.com/openvm-org/openvm/pull/816 - [feat] Add CircuitPublish into eDSL by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/817
- feat: Update benchmark flow by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/814
- refactor: Remove unused symbolic_interactions by @zlangley in https://github.com/openvm-org/openvm/pull/818
- [chore] Add type VmProvingKey by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/819
- [feat] CastVF & VM Chip Height Override by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/821
- feat: Initial vendor of GKR + sumcheck by @zlangley in https://github.com/openvm-org/openvm/pull/810
- Use
Rv32VecHeapTwoReadsAdapterChipfor line mulitiplication by @ytham in https://github.com/openvm-org/openvm/pull/823 - fix: add vec heap2 range check by @jonathanpwang in https://github.com/openvm-org/openvm/pull/824
- [feat] Support Boundary Chip height override by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/829
- [feat] VM Execution return heights & Runtime Improvements by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/830
- feat: Pairing .insn directives by @ytham in https://github.com/openvm-org/openvm/pull/820
- [feat] (biguint) const support in expression framework by @luffykai in https://github.com/openvm-org/openvm/pull/827
- [feat] ecdsa, recover from prehash by @luffykai in https://github.com/openvm-org/openvm/pull/813
- feat: flamegraph span by function by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/835
- feat: add FRI verifier cost estimate by @jonathanpwang in https://github.com/openvm-org/openvm/pull/822
- [feat] modular transpiler by @Golovanov399 in https://github.com/openvm-org/openvm/pull/837
- chore: fix ci concurrency and less benchmarks by @jonathanpwang in https://github.com/openvm-org/openvm/pull/842
- chore: halo2 compiler displays eDSL backtrace by @jonathanpwang in https://github.com/openvm-org/openvm/pull/844
- feat: Implement
Fieldfor BN254 and BLS12-381Fp12by @ytham in https://github.com/openvm-org/openvm/pull/841 - refactor: Make prover more agnostic to exposed_values_after_challenge by @zlangley in https://github.com/openvm-org/openvm/pull/847
- feat: Enable fib_e2e benchmark by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/838
- [feat] better flags encoder by @Golovanov399 in https://github.com/openvm-org/openvm/pull/839
- chore: update plonky3 commit for poseidon2 AVX512 by @jonathanpwang in https://github.com/openvm-org/openvm/pull/825
- feat: Make our own StarkGenericConfig by @zlangley in https://github.com/openvm-org/openvm/pull/848
- chore: Use constants instead of hard-coded address spaces in rv32im by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/851
- chore: Rename axiom-vm to axvm-sdk by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/852
- fix: make sure e2e works by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/850
- feat: setup instruction for modular chips by @Golovanov399 in https://github.com/openvm-org/openvm/pull/826
- [fix] PartialEq implementation for SymbolicXXX by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/856
- [feat] implement enum for instruction executor macro by @luffykai in https://github.com/openvm-org/openvm/pull/855
- feat: Fp12 Frobenius map by @ytham in https://github.com/openvm-org/openvm/pull/846
- [feat] Root Verifier Proving Logic by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/831
- [fix] export setup fn by @luffykai in https://github.com/openvm-org/openvm/pull/857
- [fix] moduli setup mod idx by @Golovanov399 in https://github.com/openvm-org/openvm/pull/858
- [feat] Rename the "AXIOM_SERIALIZED_MODULI_" variable by @Golovanov399 in https://github.com/openvm-org/openvm/pull/859
- Feat/Make
ProgramsupportOption<(Instruction<F>, Option<DebugInfo>)>by @TlatoaniHJ in https://github.com/openvm-org/openvm/pull/862 - [feat] Change the
moduli_setupandsw_setupmacro structure by @Golovanov399 in https://github.com/openvm-org/openvm/pull/860 - feat: VM extension framework by @jonathanpwang in https://github.com/openvm-org/openvm/pull/845
- chore: Some more benchmark stuff by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/861
- [feat] Static Verifier in Continuation Vm by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/833
- docs: repo docs by @jonathanpwang in https://github.com/openvm-org/openvm/pull/867
- [fix] Remove branching to mitigate flaky used cells by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/866
- feat: add initial book setup by @yi-sun in https://github.com/openvm-org/openvm/pull/869
- [fix] div autosave bug by @luffykai in https://github.com/openvm-org/openvm/pull/863
- [chore] Strip debug_info when not collecting metrics by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/865
- [chore] Strip debug_info when not collecting metrics in new_segment by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/873
- feat: Miller Loop with axVM intrinsics by @ytham in https://github.com/openvm-org/openvm/pull/832
- feat: Pairing check by @ytham in https://github.com/openvm-org/openvm/pull/864
- feat: allow custom phantom sub-executors in
VmExtensionby @jonathanpwang in https://github.com/openvm-org/openvm/pull/874 - Feat: hintstore vm extension + change tests to use new structs by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/870
- [feat] setup opcode for field expression framework in general by @luffykai in https://github.com/openvm-org/openvm/pull/868
- feat: new crate for RV32IM VmExtension by @jonathanpwang in https://github.com/openvm-org/openvm/pull/879
- chore: remove unnecessary imports by @jonathanpwang in https://github.com/openvm-org/openvm/pull/881
- fix: pairing hint by @jonathanpwang in https://github.com/openvm-org/openvm/pull/878
- chore: split up enums for macro compatibility by @jonathanpwang in https://github.com/openvm-org/openvm/pull/882
- [feat] VmExtension enum generating proc-macro by @Golovanov399 in https://github.com/openvm-org/openvm/pull/871
- chore: rename
CustomInstructionProcessortoTranspilerExtensionby @jonathanpwang in https://github.com/openvm-org/openvm/pull/883 - [feat] benchmark k256 recover key by @luffykai in https://github.com/openvm-org/openvm/pull/840
- feat: E2EStarkProver and application/aggregation split by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/875
- fix: system constructor for PublicValuesChip degree by @jonathanpwang in https://github.com/openvm-org/openvm/pull/885
- feat: add rust std library support by @jonathanpwang in https://github.com/openvm-org/openvm/pull/884
- chore: Rename
max_degree->max_flag_degreein the encoder for cl… by @Golovanov399 in https://github.com/openvm-org/openvm/pull/886 - feat: expose getrandom that panics by @jonathanpwang in https://github.com/openvm-org/openvm/pull/890
- feat: custom transpiler when building axvm, change keccak test by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/891
- feat: modularize VM by @yi-sun in https://github.com/openvm-org/openvm/pull/887
- feat: remove old VmConfig, vm, segment by @yi-sun in https://github.com/openvm-org/openvm/pull/908
- feat: change the with_processor to with_extension for transpiler by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/910
- chore: folder reorg by @yi-sun in https://github.com/openvm-org/openvm/pull/909
- chore: add back ecrecover benchmark by @yi-sun in https://github.com/openvm-org/openvm/pull/912
- fix: update ecrecover by @yi-sun in https://github.com/openvm-org/openvm/pull/913
- [fix] Challenger observes trace log degrees by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/916
- [chore] Deprecate optional boundary_air_height by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/919
- [chore] Optimize reduce_32 by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/918
- [fix] Verifier check if required AIRs present by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/915
- chore: deploy mdbook to vercel by @yi-sun in https://github.com/openvm-org/openvm/pull/921
- [fix] moduli setup different compilation units by @Golovanov399 in https://github.com/openvm-org/openvm/pull/892
- [chore] identity check in pairing by @luffykai in https://github.com/openvm-org/openvm/pull/914
- chore: update repo docs for refactor by @yi-sun in https://github.com/openvm-org/openvm/pull/923
- fix(bench): ecrecover by @jonathanpwang in https://github.com/openvm-org/openvm/pull/922
- chore: add debugging log for loadstore by @jonathanpwang in https://github.com/openvm-org/openvm/pull/925
- chore: reduce logging by @jonathanpwang in https://github.com/openvm-org/openvm/pull/926
- feat: single StarkProver for both app and e2e proofs by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/911
- feat: axvm-sdk global struct API by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/920
- [fix] CastFV in halo2 by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/929
- Feat: move OPCODE, FUNCT3 and FUNCT7 constants to guest crates by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/928
- chore: fix the guest compiler's rust toolchain version by @jonathanpwang in https://github.com/openvm-org/openvm/pull/936
- [fix] Only collect halo2 metrics with spans during keygen by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/935
- [fix] Wrap Final Internal Proof when Heights Exceed by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/938
- chore: remove custom extension .section from Elf by @jonathanpwang in https://github.com/openvm-org/openvm/pull/939
- [fix] inline never on setup functions by @luffykai in https://github.com/openvm-org/openvm/pull/940
- feat: modularize axiom instructions by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/937
- feat: axvm-sdk API to keygen and cache/load aggregation pk by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/930
- fix: host hint_input implementation by @jonathanpwang in https://github.com/openvm-org/openvm/pull/941
- fix(toolchain): sys_write and re-entrancy protection by @jonathanpwang in https://github.com/openvm-org/openvm/pull/946
- chore:
io::printshould not newline by @jonathanpwang in https://github.com/openvm-org/openvm/pull/947 - chore: return
0on sys_getenv by @jonathanpwang in https://github.com/openvm-org/openvm/pull/949 - Feat: AxVmOpcode by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/943
- feat: add SystemPort to help the implementation of extension traits by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/944
- [fix] complex extensions by @Golovanov399 in https://github.com/openvm-org/openvm/pull/927
- [fix] proving for pairing tests by @luffykai in https://github.com/openvm-org/openvm/pull/948
- chore: Move ecc-execution and ecc-constants into pairing-guest by @ytham in https://github.com/openvm-org/openvm/pull/942
- feat: standardize input for SDK and VM by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/950
- [chore] Refactor Halo2WrapperCircuit by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/945
- [fix] turn on proving for toolchain tests by @luffykai in https://github.com/openvm-org/openvm/pull/952
- chore: rename
sw_setup!tosw_declare!by @jonathanpwang in https://github.com/openvm-org/openvm/pull/953 - feat: RapPhase trait by @zlangley in https://github.com/openvm-org/openvm/pull/876
- feat: global configurable SDK VmConfig by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/956
- fix: heap adapters
limb_shift -> limb_shift_bitsby @jonathanpwang in https://github.com/openvm-org/openvm/pull/959 - [feat] Halo2 circuits support serialize/deserialize by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/954
- feat: function to generate transpiler for SDK VmConfig by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/960
- [feat] Add Halo2 Proving Key into axvm-sdk by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/957
- [feat] reth benchmark placeholder by @luffykai in https://github.com/openvm-org/openvm/pull/965
- feat: Add scalar field elements for BN254 and BLS12-381 by @ytham in https://github.com/openvm-org/openvm/pull/958
- fix: do not use alloc in panic handler by @jonathanpwang in https://github.com/openvm-org/openvm/pull/967
- chore: add test for heap-embedded-alloc by @jonathanpwang in https://github.com/openvm-org/openvm/pull/969
- fix: is_eq_setup require
inout(reg)by @jonathanpwang in https://github.com/openvm-org/openvm/pull/970 - chore: rename Kernel chips to Native by @yi-sun in https://github.com/openvm-org/openvm/pull/971
- feat: phantom instruction HintDecompress for weierstrass extension by @jonathanpwang in https://github.com/openvm-org/openvm/pull/963
- ci: lint all features by @yi-sun in https://github.com/openvm-org/openvm/pull/973
- chore: Add function to set manifest dir by @ytham in https://github.com/openvm-org/openvm/pull/972
- chore: remove direct imports of p3_* by @yi-sun in https://github.com/openvm-org/openvm/pull/974
- chore: fix failing cargo fmt check by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/975
- [feat] sdk build by @Golovanov399 in https://github.com/openvm-org/openvm/pull/964
- chore: memory allocator for tests by @jonathanpwang in https://github.com/openvm-org/openvm/pull/976
- feat: template structs for SDK CLI commands by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/961
- feat: option for max segment length in BenchmarkCli by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/977
- chore: benchmark summary.md includes segment length by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/978
- feat: multi-scalar multiply via windowed method by @jonathanpwang in https://github.com/openvm-org/openvm/pull/980
- [refactor] SDK in axvm-sdk by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/966
- chore: log timing metrics by @jonathanpwang in https://github.com/openvm-org/openvm/pull/982
- [feat] Recycle memory space in verifier program by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/981
- [chore] Reuse Poseidon2 Parameters in Halo2 Compiler by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/979
- [chore] Fix fib_e2e setup by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/983
- [chore] Move axvm-circuit::prover into axvm-sdk::prover by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/985
- [refactor] Rename BabyBearPoseidon2OuterConfig to BabyBearPoseidon2RootConfig by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/987
- [chore] Remove PageConfig by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/988
- chore: update bench workflow by @jonathanpwang in https://github.com/openvm-org/openvm/pull/990
- chore: make stark-sdk optional dep of vm by @jonathanpwang in https://github.com/openvm-org/openvm/pull/992
- chore: workflow fixes by @jonathanpwang in https://github.com/openvm-org/openvm/pull/993
- feat: run, keygen, prove, init, and verify CLI commands by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/991
- [feat] cli build transpile by @Golovanov399 in https://github.com/openvm-org/openvm/pull/986
- feat: switch
axvm::io::readto use custom deserializer by @jonathanpwang in https://github.com/openvm-org/openvm/pull/996 - chore: update StarkProver benchmarks (Fibonacci only for now) by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/995
- [feat] reth benchmark by @luffykai in https://github.com/openvm-org/openvm/pull/968
- chore: SDK fixes by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/997
- [fix] add function span feature to reth benchmark by @luffykai in https://github.com/openvm-org/openvm/pull/999
- chore: allow set program name in ContinuationProver by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1000
- chore: add
set_profileto ContinuationProver by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1001 - chore: cleanup metric emission labels by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1004
- [feat] cargo axiom e2e test by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1003
- [refactor] Add Halo2ParamsReader by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/1005
- chore: metric emission fixes by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1007
- chore: instrument agg_keygen by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1008
- chore: make group for internal verifier not depend on height by @yi-sun in https://github.com/openvm-org/openvm/pull/1009
- chore: remove sdk-example from workspace by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1011
- chore: add build to CI by @yi-sun in https://github.com/openvm-org/openvm/pull/1012
- chore: add range tuple checker SDK config check by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1013
- [fix] benchmark md path by @luffykai in https://github.com/openvm-org/openvm/pull/1006
- [chore] add metadata script should not upload by @luffykai in https://github.com/openvm-org/openvm/pull/1014
- feat: ruint target zkvm by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/984
- [fix] benchmarks workflow by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1015
- feat: Add
Bls12_381G1AffineandBn254G1Affineby @ytham in https://github.com/openvm-org/openvm/pull/1010 - rename: OpenVM by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1017
- chore: add .git-blame-ignore-revs by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1018
- bench: switch to lto = thin for faster compiles by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1020
- chore: remove
stark-backendfrom workspace by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1023 - chore: Move build comments to CLI help descriptors by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1016
- perf: Memory by @zlangley in https://github.com/openvm-org/openvm/pull/1002
- [bench] rkyv and bincode deserialize by @HrikB in https://github.com/openvm-org/openvm/pull/834
- [chore] some ec curve changes by @luffykai in https://github.com/openvm-org/openvm/pull/1025
- [refactor] Implement AccessAdapterChipSet by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/1024
- chore: update s3 buckets by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1026
- chore: set book url by @yi-sun in https://github.com/openvm-org/openvm/pull/1031
- fix(book): wrong section for site-url by @yi-sun in https://github.com/openvm-org/openvm/pull/1033
- [feat] user book skeleton-ish + algebra part by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1021
- chore: fix CI by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1034
- [chore] Remove unused
sw_initwhich doesn't make sense anyway... by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1037 - feat: default paths for CLI keygen, proving, and verification by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1027
- [chore] Clean up legacy access adapter code by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/1032
- [docs] update ISA with setup opcodes by @luffykai in https://github.com/openvm-org/openvm/pull/1036
- chore: switch benchmark results branch by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1041
- feat: add initial rustdocs workflow by @yi-sun in https://github.com/openvm-org/openvm/pull/1042
- chore(docs): show only workspace crates in sidebar by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1044
- fix: libraries should use
complex_declare!with unique names by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1043 - perf: use windowed method for bn254 small msm by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1046
- [docs] user book: writing program by @luffykai in https://github.com/openvm-org/openvm/pull/1039
- chore: remove extraneous folder in specs by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1048
- book: introduction by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1050
- chore: add MIT license by @yi-sun in https://github.com/openvm-org/openvm/pull/1047
- [refactor] Implement Chip for All Memory Chips by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/1038
- [feat] axvm-algebra-guest usage by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1053
- [docs] update to writing program by @luffykai in https://github.com/openvm-org/openvm/pull/1049
- [chore] Parallelize Poseidon trace generation by @nyunyunyunyu in https://github.com/openvm-org/openvm/pull/1045
- chore: default exe and app_config path in CLI by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1056
- [book] chapter on ecc guest by @luffykai in https://github.com/openvm-org/openvm/pull/1057
- chore: fix filename in command by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1064
- [book] add the toml related stuff to the algebra chapter by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1063
- docs: keccak + bigint guest libraries by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/1058
- docs/crates cleanup by @zlangley in https://github.com/openvm-org/openvm/pull/1062
- [chore] [book] Turn MathJax on, replace
$...$ with \(...\) by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1067 - docs: Add Continuation VM doc to continuations.md by @zlangley in https://github.com/openvm-org/openvm/pull/1055
- docs: SDK and CLI usage for proving and verifying by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1051
- [book] Write the manual on how to create a new extension by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1060
- [book] describe
buildflags in the book by @Golovanov399 in https://github.com/openvm-org/openvm/pull/1066 - fix: output config TOML parse error when TOML exists but is incorrect by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1069
- chore: remove overview, testing from advanced, add new-extension by @yi-sun in https://github.com/openvm-org/openvm/pull/1070
- docs: SDK code runs by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1071
- fix: remove char in docs by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1072
- [docs]
ecc-pairingbook page by @ytham in https://github.com/openvm-org/openvm/pull/1054 - chore: rename sections by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1073
- Completed installation and quickstart sections by @HrikB in https://github.com/openvm-org/openvm/pull/1065
- [book] update writing program by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1075
- chore: cleanup by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1076
- chore: Fix LaTeX rendering in Pairings book section by @ytham in https://github.com/openvm-org/openvm/pull/1080
- docs: include verifier contract location in verify.md by @stephenh-axiom-xyz in https://github.com/openvm-org/openvm/pull/1077
- docs: short fix for keccak + bigint by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/1082
- docs: add config parameters to ecc Book by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/1068
- chore: update acknowledgments by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1081
- chore: intro edits by @yi-sun in https://github.com/openvm-org/openvm/pull/1084
- [book] update pairing config toml by @luffykai in https://github.com/openvm-org/openvm/pull/1085
- docs: template openvm.toml by @arayikhalatyan in https://github.com/openvm-org/openvm/pull/1083
- chore: add solc setup and keygen time by @PangZhi in https://github.com/openvm-org/openvm/pull/1087
- chore: update project layout by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1086
- chore: feature gate hard coded buses for testing only by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1088
- docs: merge verify and onchain-verify by @PangZhi in https://github.com/openvm-org/openvm/pull/1089
- chore: add licenses and update descriptions in license by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1090
- docs: Add a bit on system-level interactions by @zlangley in https://github.com/openvm-org/openvm/pull/1078
- chore: update main readme by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1091
- [fix] biguints serde with toml by @luffykai in https://github.com/openvm-org/openvm/pull/1092
- [book] small updates by @luffykai in https://github.com/openvm-org/openvm/pull/1094
- chore: tag
stark-backendrelease and ssh -> http by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1093 - [book]
cargo-openvminstall requires nightly by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1096 - chore: add tracing to cli by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1097
- [book] fix toml in keccak section by @luffykai in https://github.com/openvm-org/openvm/pull/1098
- chore: add imports in book by @jonathanpwang in https://github.com/openvm-org/openvm/pull/1099
New Contributors
- @shuklaayush made their first contribution in #2
- @OsamaAlkhodairy made their first contribution in #4
- @cocohearts made their first contribution in #34
- @bfan05 made their first contribution in #40
- @zlangley made their first contribution in #42
- @TlatoaniHJ made their first contribution in #60
- @Golovanov399 made their first contribution in #298
- @arayikhalatyan made their first contribution in #405
- @PangZhi made their first contribution in #445
- @HrikB made their first contribution in https://github.com/openvm-org/openvm/pull/755
Full Changelog: https://github.com/openvm-org/openvm/commits/v0.1.0-alpha