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

bulloak is a powerful test generator that implements the Branching Tree Technique (BTT) for comprehensive smart contract testing.

This is an overview of one of the toughest DeFi exploits which happened around 5 pm UTC on March 5, 2025.

Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer. - igorganich/damn-vulnerable-defi-halmos

Exploring their ecosystem, tooling, and performance.

The Sepolia network had a few hiccups during the upgrade to Pectra. This post tells the story of how we managed to coordinate an upgrade and how we defended against an unknown adversary.

Thanks to Ignacio Hagopian (EIP-7864 author) for a quick review of this article and the cover image...

A “rebase token” (sometimes “rebasing token”) is an ERC-20 token where the total supply, and the balances of token holders, can change without transfers,

Ress is a Stateless Ethereum node implementation in <4K LoC using the Reth SDK.

We're thrilled to share the stable release of Slang v1, after years of development and community feedback. Slang’s code analysis APIs are now production-ready and fully featured.


What’s Slang?

Slang is a modular set of compiler APIs to empower the next…

When the RISC Zero zkVM executes, it generates a receipt that allows third-parties to authenticate the validity of the execution.

Posted by Solidity Team on March 12, 2025

An introduction to Signet, init4, and the Signet ecosystem.