Skip to content

v2.0.0

Choose a tag to compare

View all tags
@stephenh-axiom-xyz stephenh-axiom-xyz released this 10 Jul 06:10
Immutable release. Only release title and notes can be modified.
v2.0.0
15a7ab6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

OpenVM v2.0.0 introduces the SWIRL proof system, which is implemented in STARK Backend v2.0.0.

This release adds the recursive verifier circuit for SWIRL, the continuation aggregation pipeline, and the deferral framework, including the verify-stark deferral path for guest programs. It also updates core VM circuits and guest libraries: SHA-2 now supports SHA-256, SHA-384, and SHA-512 through SHA-2 family AIRs, Keccak-256 has redesigned operation and permutation AIRs, and the VM memory system no longer uses memory access adapters.

Highlights

  • (Prover) Use the SWIRL proof system through STARK Backend v2.0.0.
  • (Recursion) Add the recursive verifier circuit for the SWIRL proof system.
  • (Continuations/Deferrals) Add the continuation aggregation pipeline and deferral framework, including the verify-stark deferral path for guest programs.
  • (Guest Library/SHA-2) Add guest library support for SHA-256, SHA-384, and SHA-512 incremental hashers.
  • (Guest Library/Keccak) Add Keccak-256 guest library support with incremental hashing.
  • (Circuits/Memory) Remove memory access adapters from the VM memory system.
  • (Circuits/SHA-2) Replace the SHA-256-specific AIR with SHA-2 family AIRs.
  • (Circuits/Keccak) Redesign the Keccak-256 AIRs, splitting Keccak-f into operation and permutation AIRs.

Full Changelog: v1.7.0...v2.0.0

Assets 3
Loading