Nexus and Gevulot are Partnering to Bring More Compute Power to the Nexus Network

Another milestone on the road to the Verifiable Internet Nexus and Gevulot are partnering to increase all-around proof generation capacity.  The strategic partnership will integrate the Nexus zkVM with Gevulot’s Firestarter platform.  The result will be a straightforward solution for deploying new projects across the zero-knowledge ecosystem. Expanding the
- 1 min read

The Verifiability Vision | A Devcon 2024 Talk

A quick overview of how proof-carrying data will reshape the internet Nexus Chief Scientist, Jens Groth, gave a talk at Devcon 2024 titled “The Verifiability Vision.”  The talk covers a quick history of zero-knowledge (zk) cryptography, succinct proofs, and then dives into how proof-carrying data can inform the Nexus vision
- 2 min read

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
- 2 min read

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.
- 1 min read

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
- 2 min read

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
- 4 min read

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
- 2 min read

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
- 8 min read
Join our mission

Subscribe to get regular updates as we continue our mission to build the Verifiable Internet. We send a monthly digest of news and important updates about new releases.

* indicates required