v1.0.0

OpenVM v1.0.0: Production Ready

What's Changed

• test: speed up pairing test by @jonathanpwang in #1498
• chore: pub chip fields necessary for serialization/deserialization by @manh9203 in #1497
• chore(style): use log2_ceil by @jonathanpwang in #1500
• feat(recursion): observe AIR IDs in verifier by @jonathanpwang in #1502
• feat(recursion): add clarifying OOB check by @jonathanpwang in #1503
• chore: change cli input format by @luffykai in #1504
• audit: add internal V1 audit report by @jonathanpwang in #1505
• chore: Update stark-backend rev by @gaxiom in #1508
• chore: fix audit typos by @shuklaayush in #1509
• audit: add V1 Cantina Competition report by @jonathanpwang in #1511
• feat(sdk): hardware and language independent encoding of inner STARK Proof by @jonathanpwang in #1501
• chore: exclude non-executable targets when building by @luffykai in #1514
• fix(test): update negative range tuple test by @shuklaayush in #1518
• chore: remove redundant memory_image_to_paged_vec by @Golovanov399 in #1517
• test(ci): run all workflows on Cargo.toml changes by @jonathanpwang in #1520
• chore: clean up deps using cargo shear by @shuklaayush in #1506
• chore: impl AsRef for SharedBitwiseOperationLookupChip and SharedRangeTupleCheckerChip by @manh9203 in #1512
• feat(ci): add cargo shear lint by @shuklaayush in #1507
• feat: Cross-language Serialization for RootVmVerifierInput/ContinuationVmProof by @nyunyunyunyu in #1516
• chore: make fields in MemoryController public by @jonathanpwang in #1515
• feat: GenericSdk<E: StarkFriEngine<BabyBearPoseidon2Config>> by @Golovanov399 in #1519
• chore: Derive Traits used for serialization by @Avaneesh-axiom in #1513
• chore: update toolchain to rust stable 1.85.1 by @jonathanpwang in #1522
• chore: Derive PartialEq on Sha256Record and KeccakRecord by @Avaneesh-axiom in #1523
• chore: public get_height() of FriReducedOpeningChip by @manh9203 in #1524
• feat: check height constraints after finalization and retry if needed by @zlangley in #1521
• chore: update comment on current_trace_cells by @jonathanpwang in #1525
• chore: Add debug assertions for the setup row of Mod Builder chips by @Avaneesh-axiom in #1527
• fix: Add p256 feature to clippy when linting ecc test guest programs by @Avaneesh-axiom in #1528
• book: mention consistency between guest max memory and VM memory config by @jonathanpwang in #1531
• chore: Update book to specify order of items in init! macros by @Avaneesh-axiom in #1533
• book: update EVM proof format by @jonathanpwang in #1530
• chore: allow configurability of manifest_dir so external crates can reuse openvm-benchmarks by @HrikB in #1463
• fix(ci): rust docs build workflow requires nightly by @jonathanpwang in #1535
• feat: update security for v1 release by @yi-sun in #1534
• fix: plonky3 FRI verifier by @jonathanpwang in #1537
• fix: Clarifications to book about ECC and Pairing extensions by @Avaneesh-axiom in #1536
• chore: Implement Send for PhantomChip by @manh9203 in #1539
• feat: Add static SDK check for recursive verification feasibility by @zlangley in #1532
• docs: add more details into the continuations spec by @Golovanov399 in #1538
• release: v1.0.0 by @jonathanpwang in #1540

New Contributors

• @gaxiom made their first contribution in #1508

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