Nexus Launches World’s First Open Prover Network

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

Next Steps for Nexus Network Beta

We are honored to see tremendous worldwide interest and participation in the first beta release of the Nexus network. Our goal is to unite the world’s computers into a single supercomputer that will be able to prove all of the Internet’s computations and build the foundation of the

Nexus Partners with Pi Squared to Make Verifiable Computing Ubiquitous

Developers will be able to prove programs written in any language in the Nexus zkVM. Our goal at Nexus is to make the Verifiable Internet ubiquitous and accessible to all. Together with Pi Squared, we're taking steps to make verifiable computing universal, interoperable, performant and easy to use.

Nexus Launches World’s First Open Prover Network

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

Groth16-powered Smart Contracts on Dogecoin

Bitcoin kicked off the era of cryptocurrencies, where people can hold, receive and send bitcoin to each other. Bitcoin has many descendants. One notable example is Dogecoin, a memecoin created to poke fun at cryptocurrencies. However, as we'll explain in this post, Dogecoin has just become a technological

Nexus Partners with QED Protocol to Scale Dogecoin

The collaboration features a ZK virtual machine for helping to make the world’s foremost memecoin network “STRONKer than all the others”  Hong Kong, September 26th, 2024 — QED Protocol, the world’s first zk-native blockchain protocol, announced today a partnership with Nexus, the project enabling the Verifiable Internet, to launch

The Murky Proof System Waters: Part II

If you haven't done so yet check out Part I for the first part of this blog post, where we give some background on zkVMs and discuss the capabilities of a zkVM that we need or want a proof system to enable. Here, we continue by looking at

Nexus 2.0: Jolt, HyperNova, and a New SDK

We’re excited to announce the Nexus 2.0, the next iteration of our zero-knowledge machine. 2.0 is a major leap forward over last month’s 1.0 zkVM release, and introduces some key new components that are driving performance and efficiency gains: * A new prover frontend, powered by

The Murky Proof System Waters: Part I

At the heart of the every zkVM is a proving scheme that turns a trace of a computation into an efficiently verifiable proof of its execution. This choice of proof system is one of the defining design decisions for a zkVM – it impacts speed, security, interoperability, and suitability for a