Axiom(@axiom_xyz):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.

Axiom

@axiom_xyz

Building ZK-enabled infrastructure with @OpenVM_org. Dev docs: Join us:

Joined October 2022

0 Following 32.2K Followers

Axiom@axiom_xyz

2026.02.10 17:00

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.