Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

Introduction In zero-knowledge proof systems, we (almost) always operate over a finite field and because the prover usually has to do a lot of field operations to generate the proof, we naturally want our field operations to be as fast as possible. With elliptic…

In this article we'll explain the math behind ZKPs. Accessible to a smart high school student, or a rusty STEM graduate. Develop intuition for how things work under the hood, and build a foundational framework for the key concepts involved. Accompanied by…

Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

Building a fully SNARKed Ethereum

In this article we will go through powdr's latest research and experimental feature: automatic generation of circuits to accelerate guest programs.

Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

Acknowledgments This post and the arithmetic-circuits crate were developed at NP-Labs as part of our implementation of the Ligero Polynomial Interactive Oracle Proof (PIOP) system. This work was a collaborative effort between Antonio Mejías Gil, Marcin Górny…

Plonky3 is a general purpose toolkit for implementing polynomial IOP's. In addition to

In our previous post, we delved into the Jolt zkVM and uncovered several significant bugs in the code. In this post, we will provide a detailed walkthrough on how Jolt actually works.
Jolt is a zero-knowledge Virtual Machine (zkVM) designed for the RISC-V…

Operations on elliptic curves over large prime fields can be significantly sped up via optimisations to their underlying field multiplication methods. As a result, client-side zero-knowledge (ZK)…

A course site for ZK Shanghai

Welcome to zkMesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

At Veridise, we continuously explore new frontiers in zero-knowledge cryptography and frameworks. In addition to our security auditing and…

Welcome to zkMesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

32-bit Binary Towers are 5x more hardware efficient than Mersenne31 multipliers

Credits to 1k(x) for the header image. A big thank you to Alessandro Coglio, Eric McCarthy & Evan Schott for their comments and feedback. Over the last years, theory and tooling to generate zero-knowledge proofs have advanced massively. It is now possible…