Axiom
@axiom_xyz
Building ZK-enabled infrastructure with @OpenVM_org. Dev docs: Join us:
0 Following 32.2K Followers
We are excited to announce that we have formally verified @openvm_org's Keccak and SHA-2 circuits using @leanprover, proving that each circuit constrains exactly the hashing algorithm specified by @NIST for every possible input.
Here's what we proved and why we did it:
Show more
We are excited to release OpenVM 2.1 Preview, an early look at OpenVM's performance trajectory.
OpenVM now proves Ethereum mainnet blocks in real time on only 4 5090 GPUs, delivering a p99 time of 9.7s while cutting hardware requirements in half from OpenVM 2.0.
Show more
Our AI auditor for ZK found a soundness vulnerability in stwo-cairo, the zero-knowledge proof system securing @Starknet.
Starting from a general prompt, it autonomously found the vulnerability and created a PoC forging a proof accepted by both the Rust and recursive verifiers.
Show more
We're excited to announce the production release of OpenVM 2.0, featuring state-of-the-art performance and enterprise-ready security.
OpenVM 2.0 proves Ethereum in real time on 8 GPUs and is secured by a combination of human review, formal verification, and continuous AI audits.
Show more
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:
Show more
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.
Show more
We are excited to announce a collaboration with @Lighter_xyz to build Lighter EVM with ZK verification using @openvm_org.
Lighter EVM is an EVM-equivalent rollup which can natively access the liquidity of Lighter's perps and spot markets.
Show more
We are excited to announce that Axiom is proving Ethereum in real time with OpenVM 2.0.
OpenVM 2.0 proves mainnet blocks at a p99 level on 16 GPUs with 100-bit provable security and < 300 kB proofs.
Show more
