Axiom

Axiom builds zero-knowledge proof infrastructure, including the open-source OpenVM zkVM framework and a production-ready ZK proving API for developers.