We’re excited to announce the beta release of the Nexus network – the first distributed zkVM-based prover network that is openly accessible to anyone. The network aggregates the collective power of any connected device, ranging from massive GPU farms to your computer or phone, and is using this power to build the foundation of the Verifiable Internet.

The network architecture encompasses several touchpoints. First and foremost, it will connect proof demand to proof supply, matching incoming requests to a set of compute providers based on their capacities, costs, and reliability.

“Proof demand” is a shorthand for any calculation needing to be checked. The Nexus virtual machine supports general purpose proof demand in the form of any riscv-compiled program, whether originally from Rust, C++, Python, Solidity, or handcrafted assembly. Thus, developers with a wide variety of backgrounds will find it easy to build mission-critical applications in need of strict compliance without having to train up in a new language or framework.

“Proof supply” is a shorthand for anyone with a computer or handset. The success of the network is a collective effort depending on multi-platform support, with compute cycles from suppliers big and small going toward a meaningful and intrinsically rewarding purpose: verifying the data we read, breathe, and sleep.

As an early stage beta, we invite everyone to connect to the network – either via our prover website (available for desktop and mobile on any browser) or CLI tool – and join our Discord to share feedback and participate in the project. Over the coming weeks we’ll be working to increase performance, add features, and enable partners to participate, all in service toward bringing the network to production in 2025.