https://www.axiom.xyz/
OpenVM & Axiom Proving API – Production-Ready ZK Infrastructure
Deploy zero-knowledge apps fast with OpenVM and the Axiom Proving API. Modular, efficient, and scalable ZK infrastructure to verify any program—no custom stack...
production readyopenvmaxiomprovingapi
https://docs.openvm.dev/docs/openvm/openvm_ecc_circuit/struct.Rv32WeierstrassGpuBuilder.html
Rv32WeierstrassGpuBuilder in openvm_ecc_circuit - Rust
API documentation for the Rust `Rv32WeierstrassGpuBuilder` struct in crate `openvm_ecc_circuit`.
openvmecccircuitrust
https://docs.openvm.dev/docs/openvm/openvm_cuda_backend/prover_backend/index.html
openvm_cuda_backend::prover_backend - Rust
API documentation for the Rust `prover_backend` mod in crate `openvm_cuda_backend`.
openvmcudabackendproverrust
https://blog.openvm.dev/
OpenVM
A performant and modular zkVM framework built for customization and extensibility.
openvm
https://www.axiom.xyz/blog/openvm-v1
Releasing OpenVM to Production | Axiom Blog
Announcing the first production release of OpenVM.
releasingopenvmproductionaxiomblog
https://www.axiom.xyz/blog/formal-verification
Formally Verifying the OpenVM RISC-V Extension | Axiom Blog
The OpenVM RV32IM extension has been formally verified in Lean by Nethermind Research with support from an Ethereum Foundation grant.
risc vverifyingopenvmextensionaxiom
https://docs.openvm.dev/docs/openvm/openvm_stark_backend/config/type.PcsProverData.html
PcsProverData in openvm_stark_backend::config - Rust
API documentation for the Rust `PcsProverData` type in crate `openvm_stark_backend`.
openvmstarkbackendconfigrust
https://docs.openvm.dev/book/getting-started/introduction/
OpenVM
openvm