v1.1.1

We have added new functionality to the SDK to generate Solidity verifier contracts with better contract interfaces, intended for compatibility with the OpenVM Solidity SDK. The CLI commands related to evm have updated output formats documented in the book.

Notes

The pre-release tag v1.0.1-rc.1 (0f94c8a) was rebased on top of the security fix patched in v1.1.0. The new commit after the rebase was b4a5652 (tag v1.1.1-rc.1).

One can check via

git diff b4a565219ad808ee11cdd5f1be4a8516bb7df1ac 0f94c8a3dfa7536c1231465d1bdee5fc607a5993

that the only difference in the two commits is the fix from v1.0.0...v1.1.0.

What's Changed

• feat(cli): install pinned nightly toolchain automatically by @jonathanpwang in #1541
• chore: fix book lints by @yi-sun in #1543
• book: update install instructions with tag by @jonathanpwang in #1545
• docs: add link to whitepaper by @jonathanpwang in #1546
• fix: don't segment due to fixed-size traces by @zlangley in #1548
• chore: fix broken links by @bodhi-crypo in #1547
• fix(ci): run openvm-cli tests by @shuklaayush in #1552
• fix: Update Mod Builder symbolic expression multiplication test by @Avaneesh-axiom in #1551
• fix: use absolute paths in VmConfig derive macro by @shuklaayush in #1550
• feat: make provers generic over engine by @Golovanov399 in #1553
• fix: RootVerifierLocalProver should respect AIR heights by @nyunyunyunyu in #1554
• feat(test): add execution benchmarks by @shuklaayush in #1556
• feat: OpenVmHalo2Verifier by @HrikB in #1549
• chore: cargo openvm build also outputs committed exe by @luffykai in #1560
• chore(ci): enforce conventional commits PR title by @jonathanpwang in #1564
• chore(deps): bump tokio from 1.43.0 to 1.43.1 by @dependabot in #1562
• chore(deps): bump crossbeam-channel from 0.5.14 to 0.5.15 by @dependabot in #1569
• fix(docs): typo in access adapter split/merge algorithm by @shuklaayush in #1566
• feat(sdk)!: configurable aggregation tree shape in SDK by @jonathanpwang in #1570
• perf: set default num_children_internal=3 by @jonathanpwang in #1573
• chore(fmt): wrap comments and format code comments by @jonathanpwang in #1575
• chore: feature gate revm and alloy imports by @jonathanpwang in #1572
• fix: circuit flamegraphs with segmentation by @Avaneesh-axiom in #1576
• chore: silence clippy by @zlangley in #1580
• chore: alter json format of proof to align with verifier contract by @HrikB in #1578
• chore: bump workspace version to 1.0.1-rc.0 by @HrikB in #1581
• feat: format verifier by @HrikB in #1583
• docs: update the verifier contract paths in book by @HrikB in #1587
• chore: improvements to book on interface by @yi-sun in #1593
• chore(ci): invert reverse flamegraph for icicles by @manh9203 in #1594
• ci: bump actions/checkout to v4 by @dizer-ti in #1595
• fix: Micro benchmark flamegraph by @manh9203 in #1598
• chore: add offline mode to cli build by @luffykai in #1605
• chore: feature gate forge-fmt by @jonathanpwang in #1608
• chore: allow cargo home env var in build by @luffykai in #1609
• feat(cli): allow RUSTFLAGS in build command by @jonathanpwang in #1610
• docs(book): improve overview on CLI inputs by @jonathanpwang in #1612
• fix(prof): openvm-prof handling of duplicate names by @jonathanpwang in #1617
• chore(deps): bump crossbeam-channel from 0.5.14 to 0.5.15 by @dependabot in #1621
• chore: bump stark-backend to v1.0.1 by @jonathanpwang in #1622
• release: v1.1.1 by @jonathanpwang in #1624
• audit: add Cantina security review for v1.1.1 by @jonathanpwang in #1625

New Contributors

• @bodhi-crypo made their first contribution in #1547
• @dependabot made their first contribution in #1562

Full Changelog: v1.1.0...v1.1.1