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 also output committed exe as bytes by @luffykai in #1481
• refactor: Add type EvmProof into openvm-sdk by @nyunyunyunyu in #1479
• feat: add reveal_bytes32 io function by @jonathanpwang in #1485
• spec: Pairing VM extension by @Avaneesh-axiom in #1477
• fix: check the heap size on memory initialization by @Golovanov399 in #1483
• spec: Rewrite Mod Builder spec by @Avaneesh-axiom in #1488
• fix: alignment in unsafe rust by @jonathanpwang in #1486
• feat: Serialize EvmVerifier as json & EvmVerifier includes sol codes by @nyunyunyunyu in #1487
• docs: update specs on RISC-V execution environment by @jonathanpwang in #1489
• refactor(io): use div_ceil for word count calculation by @lfgtwo in #1492
• fix: Constrain initial timestamp in connector chip by @zlangley in #1495
• fix: VolatileBoundaryAir range checks addresses by @jonathanpwang in #1490
• fix: turn continuations off for native config by @zlangley in #1494
• fix: addr_space_max_bits in VolatileBoundaryChip constructor by @jonathanpwang in #1496
• docs: rust std vs no-std by @jonathanpwang in #1491

New Contributors

• @dramarereg made their first contribution in #1360
• @famouswizard made their first contribution in #1372
• @lipsyre made their first contribution in #1375
• @NeoByteXx made their first contribution in #1381
• @Jocn2020 made their first contribution in #1376
• @litvintech made their first contribution in #1397
• @ozrg made their first contribution in #1402
• @lightsing made their first contribution in #1421
• @lido333 made their first contribution in #1443
• @lfgtwo made their first contribution in #1492

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