v1.0.0-rc.2

This release candidate focuses on security fixes, in response to findings from the Cantina audit and an internal audit. In addition, improvements were made to the documentation throughout the repository, both in the code and in markdown specifications.

What's Changed

• chore: fix broken links and clean up READMEs by @dramarereg in #1360
• chore: add codespell lint by @yi-sun in #1364
• [chore] Add public const constructors by @Avaneesh-axiom in #1367
• chore: fix book typo by @OsamaAlkhodairy in #1368
• chore: fix macro usage order to prevent potential compilation errors by @famouswizard in #1372
• fix: lint by @yi-sun in #1373
• docs: fix broken link continuations.md by @lipsyre in #1375
• feat: Convert mdBook publish to workflow dispatch by @ytham in #1377
• chore: update stark-backend rev by @jonathanpwang in #1378
• [chore] make some fields public so we can do serde by @luffykai in #1379
• Grammar Fixes by @NeoByteXx in #1381
• chore: remove all Stateful implementations by @Jocn2020 in #1376
• [feat] Add constructors for ECDSA verifying key on main by @manh9203 in #1384
• chore: remove VmChipComplexState by @jonathanpwang in #1385
• fix(metrics): cycle count emission across segments by @jonathanpwang in #1388
• fix SdkVmConfig serde by @lispc in #1389
• [chore] fix derive more dep by @luffykai in #1391
• ecc: use p256::NistP256 by @lispc in #1390
• feat: memory-efficient ContinuationProver by @jonathanpwang in #1393
• V1 Cantina Audix Fixes by @jonathanpwang in #1396
• docs: fix broken link in benchmarks.md by @litvintech in #1397
• fix: hint offset between segments for FriReducedOpeningChip by @lispc in #1394
• chore: update spec on hint_space by @jonathanpwang in #1399
• fix: Add constraint to SHA extension that checks if the appended length is a multiple of 8 by @Avaneesh-axiom in #1400
• spec: update spec for mod-builder by @jonathanpwang in #1401
• fix: fix unused result of function call by @ozrg in #1402
• fix: Poseidon2 verify_batch start_top_level is not constrained only at start by @jonathanpwang in #1403
• chore: move code for better organization by @jonathanpwang in #1405
• [fix] Native ASM compiler checks stack overflow by @nyunyunyunyu in #1416
• [docs] RV32IM Extension specs by @manh9203 in #1404
• docs(spec): update SHA-2 VM extension spec by @jonathanpwang in #1414
• docs: Add documentation for NativePoseidon2 columns by @zlangley in #1417
• docs: Add more comments to explain BabyBearChip by @nyunyunyunyu in #1407
• refactor: Rename root_is_on_right to sibling_is_on_right for clarity by @zlangley in #1422
• chore: Fix constraints typos in RV32IM extension by @manh9203 in #1406
• feat: thinner pairing circuit by @jonathanpwang in #1413
• fix: Fix bug in setup row of modular equality chip (ModularIsEqualCoreChip) by @Avaneesh-axiom in #1409
• docs(spec): Native Compiler Docs by @nyunyunyunyu in #1415
• fix: prevent workload -> disabled transition in FriReducedOpeningAir by @zlangley in #1433
• docs: add documentation for FriReducedOpeningAir by @zlangley in #1432
• docs: Algebra VM Extension Specification by @Avaneesh-axiom in #1426
• chore: update stark-backend for more logging by @jonathanpwang in #1437
• fix: add missing boolean constraint on is_compress in NativePoseidon2 by @zlangley in #1434
• fix: add missing constraints on very_first_timestamp in NativePoseidon by @zlangley in #1435
• fix: always filter out build script target by @lightsing in #1421
• chore: remove bench command from CLI by @jonathanpwang in #1442
• docs: add readme/comments for primitives by @shuklaayush in #1440
• fix: prevent starting with is_exhausted in NativePoseidon by @zlangley in #1436
• fix: complete verify_segments functionality by @nyunyunyunyu in #1438
• fix: Don't segment if continuation is disabled by @nyunyunyunyu in #1445
• feat: remove deprecated #[clap] attribute by @lido333 in #1443
• feat: update stark-backend commit by @zlangley in #1446
• chore(refactor): separate openvm-continuations from SDK by @jonathanpwang in #1447
• fix: remove broken RVI transpilation by @zlangley in #1450
• fix: update stark-backend to protect against weak Fiat-Shamir by @jonathanpwang in #1449
• chore: remove deprecated #[clap] attribute by @lido333 in #1448
• docs: improve Poseidon2 column documentation by @zlangley in #1444
• fix: Fix out-of-bound accesses to pows_of_two by @nyunyunyunyu in #1452
• fix: change incorrect limb debug assertion to >= by @shuklaayush in #1454
• docs: explicitly mention count is assumed to be boolean by @shuklaayush in #1453
• fix: recursion max trace height check by @nyunyunyunyu in #1455
• fix: ECDSA verify should not panic when signature not reduced by @jonathanpwang in #1458
• chore: document safety assumptions on label_to_index by @jonathanpwang in #1459
• docs: ECC Extension specs by @manh9203 in #1456
• tests: add kitchen-sink e2e benchmark by @jonathanpwang in #1441
• fix: ensure all AlignedBorrow cols use repr(C) by @jonathanpwang in #1460
• feat: add #[repr(C)] to stack-allocated *Record structs by @jonathanpwang in #1461
• chore: expose more memory log API functions by @jonathanpwang in #1462
• fix: Add missing shape validation into recursion program by @nyunyunyunyu in #1464
• feat: Remove support for 64-cell accesses by @zlangley in #1466
• fix: Add constraint that initial timestamp must be zero by @zlangley in #1467
• fix: find_non_qr doesn't work for p = 1 mod 4 by @manh9203 in #1469
• fix: Validate length of proof.commit_phase_commits by @nyunyunyunyu in #1468
• bug: Added test for FROBENIUS_COEFF_FQ6_C1 and fixed incorrect constant by @Avaneesh-axiom in #1471
• fix: constrain pc to be same for intermediate keccak rows by @shuklaayush in #1472
• fix: completeness of ModBuilder trace generation by @jonathanpwang in #1473
• specs: circuit architecture, memory, continuations by @Golovanov399 in #1457
• chore: Add tests for some constants in the pairing extension by @Avaneesh-axiom in #1470
• chore: Range check carries to fixed value by @Avaneesh-axiom in #1475
• chore: Add #[ignore] to pairing fallback tests by @Avaneesh-axiom in #1476
• Added a test for bn254 pairing check hint by @Avaneesh-axiom in #1478
• docs: update specs on misaligned RV32 access not allowed by @jonathanpwang in #1474
• fix: Add bls12_381 feature to clippy command in lint CI by @Avaneesh-axiom in #1480
• chore: rewrite an outdated comment by @Golovanov399 in #1484
• chore: build...

v1.0.0-rc.1

This release consists primarily of performance optimizations on the STARK aggregation (recursion) program and chips, and the performance of the VM memory during execution and trace generation.

What's Changed

• feat(prof): add aggregate metric output in Bencher JSON format by @jonathanpwang in #1315
• perf: Write directly into access adapter chips rather than via buffer by @zlangley in #1317
• fix(prof): benchmark output formatting and deserialization by @jonathanpwang in #1321
• perf: Remove touch address for VolatileMemory by @zlangley in #1323
• perf: More efficient touch_range by @zlangley in #1322
• [chore] Add more cycle tracker for hint by @nyunyunyunyu in #1325
• chore: add OpenVM favicon and logo svgs by @moixagg in #1333
• [perf] VerifyBatch direct hint by @nyunyunyunyu in #1328
• [perf] Store blocks in a potentially smarter way by @Golovanov399 in #1335
• fix(test): hint_load test by @jonathanpwang in #1337
• [perf] Optimize hint for Var/Felt by @nyunyunyunyu in #1330
• perf: Compute initial memory Merkle tree using multiple threads by @zlangley in #1341
• chore: update primitive crate to enable serde std by @jonathanpwang in #1343
• [perf] Use Vec instead of BTreeMap in tree_from_memory by @Golovanov399 in #1338
• [perf] Make set_range and range_vec faster via unsafe by @Golovanov399 in #1340
• perf: optimize poseidon by @MonkeyKing-1 in #1344
• [perf] opened_values direct hint by @nyunyunyunyu in #1347
• chore: Prefer log_height to height by @zlangley in #1351
• perf: trivial opt to reduce alloc in recursion by @jonathanpwang in #1352
• perf: parallelize persistent memory finalize by @jonathanpwang in #1356
• fix: Check shape of inputs by @zlangley in #1350
• chore: bump workspace version to v1.0.0-rc.1 by @jonathanpwang in #1359
• chore: add code comment clarifying reduced opening by @jonathanpwang in #1358

New Contributors

• @moixagg made their first contribution in #1333

Full Changelog: v1.0.0-rc.0...v1.0.0-rc.1

v1.0.0-rc.0

What's Changed

• perf: lock-free cycle count increment by @jonathanpwang in #1169
• chore: Update SDK example for app and EVM proofs by @ytham in #1163
• refactor(ci): consolidate extension test workflows into matrix by @0x471 in #1166
• fix: broken links by @cypherpepe in #1171
• chore: remove unnecessary workflow files by @jonathanpwang in #1172
• chore(book): cleanup examples by @jonathanpwang in #1173
• fix(ci): paths-filter after checkout by @jonathanpwang in #1174
• bench: add back profiling mode to benchmarks by @jonathanpwang in #1170
• refactor: Simplify persistent finalize by @zlangley in #1157
• chore: prof md doesn't need to display cycle_tracker_span by @jonathanpwang in #1177
• feat: Offline memory by @zlangley in #1162
• chore: update plonky3 and stark-backend commits by @jonathanpwang in #1179
• fix(ci): benchmark-e2e params dir by @jonathanpwang in #1180
• refactor: OfflineMemory by @zlangley in #1181
• Fix: Ensure program trace for frequencies skips None instructions by @TlatoaniHJ in #1178
• chore: add profiling command to benchmark docs by @jonathanpwang in #1183
• fix: docs warnings by @pedroafabri in #1184
• chore: Remove legacy flatten/from_iter APIs by @zlangley in #1186
• chore: Remove unused NativeVecHeapAdapter by @zlangley in #1189
• fix typo Update sdk.md by @Hack666r in #1188
• fix typo Update benchmarks.md by @petryshkaCODE in #1190
• fix typo Update layout.md by @VitalikBerashvili in #1192
• feat: quotient polynomial evaluation from serialized constraints by @jonathanpwang in #1187
• perf: Do less conversion between u32 and F by @zlangley in #1182
• perf: Move range checks to trace gen by @zlangley in #1194
• feat: Change execute to take &Instruction by @zlangley in #1196
• chore: Remove Debug derive from chips by @zlangley in #1197
• perf: Preallocate records by @zlangley in #1185
• [feat] support weiestrass curve, add p256 by @luffykai in #1107
• [chore] Make all chip records serde by @nyunyunyunyu in #1195
• Normal format for custom_insn_* macros we have by @Golovanov399 in #1193
• [fix] turn on first row check for setup by @luffykai in #1202
• fix(test): add setup instruction to fp2 tests by @jonathanpwang in #1204
• chore: Remove old FIXME by @zlangley in #1207
• fix(castf): handle range check correctly for padding rows by @lispc in #1206
• feat: native compiler cleanup by @yi-sun in #1161
• chore: revert removal of operand g in ISA docs by @yi-sun in #1208
• [chore] Implement Stateful for all Chips by @nyunyunyunyu in #1199
• [fix] summary workflow by @luffykai in #1213
• feat: E2E benchmark halo2 generate flamegraphs by @stephenh-axiom-xyz in #1203
• [chore] Remove unnecessary generic in MemoryReadAuxCols by @nyunyunyunyu in #1215
• feat: native guest macro for kernel functions by @TlatoaniHJ in #1191
• [chore] use expr builder for modular chips by @luffykai in #1212
• [feat] Implement Stateful for VmChipComplex by @nyunyunyunyu in #1211
• chore: remove unused committed values DslIr instructions by @yi-sun in #1209
• [fix] Stateful for FriReducedOpeningChip by @nyunyunyunyu in #1218
• chore: reduce macro hidden import by @jonathanpwang in #1220
• fix: bigint extern functions were not updated on macro usage by @jonathanpwang in #1222
• chore: fix typo README.md by @petryshkaCODE in #1223
• chore: replace num-bigint-dig with num-bigint throughout by @stephenh-axiom-xyz in #1225
• chore: make handling of LOADW4 / STOREW4 / HINT_STOREW4 uniform by @yi-sun in #1230
• fix: WeierstrassConfig zip moduli by @jonathanpwang in #1227
• chore: remove TODO on phases since we only use 1 phase for now by @yi-sun in #1229
• [doc] Remove unnecessary FIXME by @nyunyunyunyu in #1233
• chore: cleanup num2bits by @yi-sun in #1231
• fix: remove setup on first row constraint by @jonathanpwang in #1235
• [chore] Clean up unused structs by @nyunyunyunyu in #1237
• fix: EcDoubleChip dummy row by @jonathanpwang in #1239
• chore: remove unused compiler options by @yi-sun in #1232
• use mul add in babybear felt ops by @MonkeyKing-1 in #1175
• feat: cache alpha powers in static verifier by @yi-sun in #1238
• chore: clean up for loops and breaks by @yi-sun in #1234
• feat: Customizable static verifier public values handler by @ytham in #1226
• Feat: Native Poseidon2 chip by @TlatoaniHJ in #1219
• feat: optimize computation of generator exponents by @yi-sun in #1236
• [chore] sdk refactor: separate leaf running + scheduling by @luffykai in #1221
• [feat] opcode offsets redesign by @Golovanov399 in #1242
• chore: add telegram link to readme by @jonathanpwang in #1246
• [chore] Optimize alpha_pow computation by @nyunyunyunyu in #1244
• chore: remove unused Hintable macro by @yi-sun in #1249
• [feat] Make online and offline memory use vectors of pages instead of hashmaps by @Golovanov399 in #1224
• feat: Pairing check hint for target_os != zkvm by @ytham in #1253
• [chore] Optimize Static Verifier alpha pow computation by @nyunyunyunyu in #1250
• chore: MemoryAuxColsFactory functions to mutate trace rows in place by @jonathanpwang in #1258
• [feat] support custom segmentation by @luffykai in #1254
• [feat] support execute until segment by @luffykai in #1251
• [perf] Optimize FriReducedOpeningChip by @nyunyunyunyu in #1248
• chore: Use aux_cols_factory.generate_*_aux by @zlangley in #1263
• [fix] modular setup macro padding by @luffykai in #1252
• [fix] rm assert on double chip vars by @luffykai in #1264
• Add cargo openvm run to the app-level-cli CI job by @Avaneesh-axiom in #1266
• chore: Remove AffineCoords trait by @ytham in #1265
• Revert "[feat] support execute until segment" by @luffykai in #1268
• chore: Prefer copy_from_slice to clone().try_into().unwrap() by @zlangley in #1267
• Feat/HINT_BUFFER opcode for Rv32 by @TlatoaniHJ in #1256
• [fix] support execute until segment by @luffykai in #1271
• [feat] polish declare/init macros (rename and move to one place etc) by @Golovanov399 in #1262
• Updated mod-builder to support better setup and finalization by @Avaneesh-axiom in #1269
• [chore] expose root verifier input by @luffykai in #1272
• [perf] Optimize alpha_pow for Static Verifier by @nyunyunyunyu in #1261
• Revert "Feat/HINT_BUFFER opcode for Rv32 (#1256)" by @...

v0.1.1-alpha

Highlights

• feat: use Plonky3 Poseidon2Air, split aggregation and system chips by @stephenh-axiom-xyz in #1122
• feat: SHA256 by @arayikhalatyan in #1022
• feat: (halo2) SNARK verifier by @MonkeyKing-1 in #805
• feat(ecc): Weierstrass affine curves over complex fields by @jonathanpwang in #1127

Bug Fixes

• fix: Incorrect lazy initialization of memory data structure by @zlangley in #1113
• [fix] build_guest_package didn't target any specific package, there was no way to build examples with it by @Golovanov399 in #1114
• fix: cli build with profile by @jonathanpwang in #1143
• [update] Update openvm-stark-backend to v0.1.1-alpha by @nyunyunyunyu in #1117 -- fixed vkey size issue

What's Changed

• chore: remove old link in keccak readme by @jonathanpwang in #1103
• Fix: short fix of a link in bigint extension doc by @arayikhalatyan in #1105
• chore: update benchmark's fibonacci example path by @AdventureSeeker987 in #1108
• perf: Use u32 for address_space and address internally by @zlangley in #1101
• chore: fix CI for fork repos by @jonathanpwang in #1112
• docs: cleanup documents by @osrm in #1111
• fix: Incorrect lazy initialization of memory data structure by @zlangley in #1113
• [fix] build_guest_package didn't target any specific package, there was no way to build examples with it by @Golovanov399 in #1114
• chore: fix links and comments by @yi-sun in #1115
• [update] Update openvm-stark-backend to v0.1.1-alpha by @nyunyunyunyu in #1117
• feat: modularize toolchain tests by @arayikhalatyan in #1102
• chore: fix fibonacci runtime bench by @jonathanpwang in #1118
• chore: add doc check to lint by @jonathanpwang in #1119
• book: sdk usage correction by @alv-around in #1120
• feat: use Plonky3 Poseidon2Air, split aggregation and system chips by @stephenh-axiom-xyz in #1122
• refactor(toolchain): consolidate env vars and cleanup code by @keroro520 in #1124
• feat(ecc): Weierstrass affine curves over complex fields by @jonathanpwang in #1127
• chore: simplify test code by reusing helper functions by @keroro520 in #1128
• chore: fix bench workflow for forks by @jonathanpwang in #1129
• chore: add regex_execute binary for profiling by @jonathanpwang in #1130
• book: build sdk example by @alv-around in #1123
• chore: replace 4 with DEFAULT_PC_STEP by @yi-sun in #1140
• fix: lints to guest programs by @rkdud007 in #1131
• chore: refactor metrics collection by @jonathanpwang in #1142
• fix: cli build with profile by @jonathanpwang in #1143
• fix(bench): verify_fibair use volatile memory by @jonathanpwang in #1145
• feat: SHA256 by @arayikhalatyan in #1022
• feat: rewrite metrics_unify using Rust by @keroro520 in #1148
• feat: (halo2) SNARK verifier by @MonkeyKing-1 in #805
• book: add sha2 summary section by @jonathanpwang in #1149
• chore: update native ISA specs to match impl by @yi-sun in #1146
• chore: add SHA2 to the README and book intro by @yi-sun in #1151
• chore: leaf aggregation tuning by @jonathanpwang in #1150
• perf(recursion): remove extraneous functions from TwoAdicPcs verify by @jonathanpwang in #1152
• chore: change address space in native compiler by @yi-sun in #1147
• feat: aggregate and summarize metrics with rust by @jonathanpwang in #1154
• chore: fix CI and bump to v0.1.1 by @jonathanpwang in #1158
• fix(doc): block access does not need to be aligned by @jonathanpwang in #1159
• chore(prof): uniformize halo2 metrics and add aggregate summary by @jonathanpwang in #1164
• chore: fix markdown ms to s conversion by @jonathanpwang in #1167

New Contributors

• @AdventureSeeker987 made their first contribution in #1108
• @osrm made their first contribution in #1111
• @alv-around made their first contribution in #1120
• @keroro520 made their first contribution in #1124
• @rkdud007 made their first contribution in #1131

Full Changelog: v0.1.0-alpha...v0.1.1-alpha

v0.1.0-alpha

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-chips crate 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-derive by @jonathanpwang in #22
• Chore: adding test utils crate by @OsamaAlkhodairy in #23
• chore: always use rayon by @jonathanpwang in #24
• Feat/xor chip by @OsamaAlkhodairy in #18
• fix: p3-maybe-rayon parallel feature 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, SymbolicRap combo into AnyRap by @jonathanpwang in #30
• chore: rename *ProvingKey to *PartialProvingKey by @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 IsZeroChip to AB::Expr for re-usability by @jonathanpwang in #43
• Revert "chore: switch IsZeroChip to AB::Expr for re-usability" by @jonathanpwang in #51
• refactor: rename chip trait and clarify air vs chip by @zlangley in #48
• chore: rename chip.rs to bridge.rs by @jonathanpwang in #52
• refactor: use get_copy for primitives by @zlangley in #53
• fix: create_commit_to_air_graph allocated 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 ProverTraceData by @jonathanpwang in #70
• feat: add check-cumulative_sums to 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 Rap when builder is not Sync by @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_SIZE in 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 poseidon2 crate to poseidon2-air by @jonathanpwang in #117
• feat: FieldExtensionArithmeticChip with add, sub, mul, inv operations by @bfan05 in #91
• [feat] Use config.toml for stark params b...