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 @zlangley in #1277
• feat: config inheritance in the VmConfig derive macro by @stephenh-axiom-xyz in #1274
• [chore] update sdk fs api by @luffykai in #1276
• [fix] complex macro by @Golovanov399 in #1278
• [fix] algebra example after last complex macro fix by @Golovanov399 in #1279
• chore: stark-backend v0.2.1 and replace AnyRap with AirRef by @jonathanpwang in #1275
• perf: update stark-backend to v0.3.0 by @jonathanpwang in #1284
• [chore] test building twice consistency by @luffykai in #1283
• change to inner product by @MonkeyKing-1 in #1280
• chore: change AS::Native to 4 in accordance with docs by @yi-sun in #1290
• [feat] Add HintLoad phantom opcode by @nyunyunyunyu in #1286
• [docs] Document specification and implementation of VERIFY_BATCH by @TlatoaniHJ in #1270
• perf: stark-backend v0.4 with better interaction chunking by @jonathanpwang in #1287
• [fix] expr builder eval inconsistency by @luffykai in #1289
• [docs] Add contributor documentation for the mod-builder framework by @Avaneesh-axiom in #1273
• Sdk::verify_evm_proof fallible by @roynalnaruto in #1288
• chore: cleanup FIXMEs in code by @jonathanpwang in #1292
• feat: HINT_BUFFER for RV32 by @TlatoaniHJ in #1282
• chore: stark-backend v0.4.1 by @jonathanpwang in #1293
• [docs] Add contributor documentations for circuit primitives by @manh9203 in #1281
• chore: fix keccak address space e = 2 by @jonathanpwang in #1295
• [feat] Implement sys_rand by @Golovanov399 in #1294
• fix: cycle tracker pass between segments by @jonathanpwang in #1297
• chore: cleanup and address TODOs by @jonathanpwang in #1299
• chore: remove re-exported testing constants by @jonathanpwang in #1300
• chore: Remove Vec from MemoryRecord interface by @zlangley in #1298
• chore: remove openvm-snark-verifier crate by @jonathanpwang in #1301
• chore: move guest-macro to test by @jonathanpwang in #1302
• chore: bump stark-backend tag by @jonathanpwang in #1303
• chore: tracing log of cycle count by @jonathanpwang in #1304
• chore: update docs by @yi-sun in #1291
• feat: constrain address spaces in native extension by @yi-sun in #1305
• fix: update integration tests for new native address space restrictions by @yi-sun in #1308
• fix: remove incorrect nop transpilation for intrinsics by @yi-sun in #1306
• fix: Restore or remove commented tests by @zlangley in #1307
• chore: update comment on MAX_LOG_WIDTH by @yi-sun in #1309
• chore: workspace v1.0.0-rc.0 by @jonathanpwang in #1314

New Contributors

• @0x471 made their first contribution in #1166
• @cypherpepe made their first contribution in #1171
• @pedroafabri made their first contribution in #1184
• @Hack666r made their first contribution in #1188
• @petryshkaCODE made their first contribution in #1190
• @VitalikBerashvili made their first contribution in #1192
• @Avaneesh-axiom made their first contribution in #1266
• @roynalnaruto made their first contribution in #1288
• @manh9203 made their first contribution in #1281

Full Changelog: v0.1.1-alpha...v1.0.0-rc.0