Pinned
Today we're releasing OpenVM 2.0 Beta, which proves Ethereum mainnet blocks in a p99 time of 7.9s on 16 GPUs and hits 964 MHz RISC-V throughput on 64 GPUs, making it the fastest zkVM on @eth_proofs.
Here's what's new and what's next:
Axiom
483 posts
Axiom
@axiom_xyz
Building ZK-enabled infrastructure with @OpenVM_org. Dev docs: book.openvm.dev Join us: jobs.axiom.xyz
Joined October 2022
- 8fecfaa1aa79ee71480ee150f4ab687d9f47aaafea8258dce02f3023c38729c1Replying to @axiom_xyzf6fffc7d8c1d0d991c3e6cb8d3cb8ac5f960bcc13c948de6625f780c35ecf966299d55ba89ce36347bf24263194500f2350dcab64f2db786c4e1b0bc1395cbdb
- Axiom reposted
🌟 NEW ETHConf speaker announced: @theyisun, Co-Founder of @axiom_xyz Co-founded Axiom, the team behind @openvm_org. OpenVM is an open-source zkVM framework prioritizing modularity and extensibility across the ISA, toolchain, ZK circuits, and proof system. June 8–10, NYC. 🗽
- Replying to @axiom_xyz4/ OpenVM 2.0 Beta is available under MIT and Apache 2.0 dual-license in pre-production preview. It ships with a Halo2 wrapper which can be verified on any EVM for 316K gas. To try it out, go to: * Preview docs: docs-preview.openvm.dev * GitHub release: github.com/openvm-org/ope…5/ As OpenVM 2.0 moves toward production, we're working with teams on ZK apps from synchronous composability to verifiable exchanges. If you'd like to bring verifiability or privacy to your app with ZK, get in touch: chat.axiom.xyz Read more: blog.axiom.xyz/openvm-2-beta
- Axiom reposted
We are starting to roll out the Lighter EVM devnet to developers! Join us for a Q&A on Friday with our founder, lead architect, and @theyisun from @axiom_xyz, our partners in building Lighter EVM. - Axiom reposted
Our Formal Verification team led by @PetarMax, with support from @ethereumfndn, has verified in Lean the correctness of the OpenVM RISC-V extension built by @axiom_xyz. This work proves instruction-level correctness and, for the first time, execution and memory consistency. 🧵
- We partnered with @Nethermind with support from @ethereumfndn to formally verify the functional correctness of the OpenVM RISC-V extension using @leanprover. Alongside this, we are introducing provable 100-bit security on the Axiom Proving API with the new OpenVM 1.5.0 release.
Replying to @axiom_xyz4/ In conjunction with the verification, we're moving to provable security for OpenVM. OpenVM 1.5.0 featuring 100 bits of provable security is available today on the Axiom Proving API, and we will maintain this standard for OpenVM 2.0.5/ We'll continue to invest in formal verification and provable security to offer the strongest security guarantees. If you’re interested: • Get an invitation to try the Axiom Proving API: chat.axiom.xyz • Read the full announcement: axiom.xyz/blog/formal-ve…
