By Tjaden Hess We at Trail of Bits perform security reviews for a seemingly endless stream of applications that use zero-knowledge (ZK) proofs. While fast new arithmetization and folding libraries …

Learn everything you need to know to start programming in Solidity on Solana

As we reach the end of 2023, we want to thank you for your readership this past year. Here's to a great start to 2024 and the year ahead in decentralized privacy-enhancing technologies and zero-knowledge systems research. Cheers! zkMesh is produced by

OpenZeppelin recently identified a critical vulnerability during an audit of Linea‘s PLONK verifier. At its core, the issue is similar in nature to some previously disclosed vulnerabilities (e.g., Frozen Heart, 00). The ‘Last Challenge’ vulnerability arises…

This is a sequel to Notes on Paxos post.
Similarly, the primarily goal here is for me to understand why the BFT consensus algorithm works in detail.
This might, or might not be useful for other people!
The Paxos article is a prerequisite, best to read that…

Introduction  In this blog post, we tell a tale of how we discovered a novel attack against ECDSA and how we applied it to datasets we found in the wild, including the Bitcoin and Ethereum net…

The ultimate guide to every major zkEVM project's progress in 2023, comparing Polygon zkEVM, Scroll, Taiko, Immutable zkEVM, Linea, zkSync and StarkNet.

A Follow Up to Noir's Hit Debut Alpha from 2022 Aztec: Ethereum encrypted. Read now!

The current state of on-chain storage proofs

Formal verification is the systematic process of validating the correctness of a system against certain rigorous formal criteria. In this post, we analyze different techniques and tools.

Invariant testing in smart contracts is about repeatedly trying out different combinations of actions to make sure the contract always follows its core rules, even in unusual or unexpected situations.

A blog post introducing Ponder, a new open-source framework for crypto apps.

Cryptic Woods Research specializes in developing advanced tools to assist users in efficiently navigating the complex dark forest known as the Ethereum mempool.

A list of crypto and web3 trends for 2024 including the intersection of AI & blockchains, AI & gaming, play to earn games, NFTs, SNARKs, more

A curated list of awesome of the Foundry development framework. - crisgarner/awesome-foundry

In the last few years, we have seen many blockchain games come and go. Most of those that have survived suffer from dwindling player bases and floor prices, with a consistent leakage of value that seems to have no end.