code & engineering

Projects
GitHub

Jolt

The simplest and most extensible zkVM
GitHub

Helios

A multichain light client for Ethereum
Featured
05.09.25 / Matt Gleason

Security audit secrets to success

Best practices for security audit reviews
03.08.25 / Matt Gleason and Robert Hackett

Inside the biggest heist

How ByBit got hacked for $1.5 billion — potentially the biggest heist of all time
10.16.24 / Daren Matsuoka and Eddy Lazzarin

Estimating the number of real crypto users

How to estimate the number of monthly active crypto users given that common metrics like active addresses are so easily gamed.
Releases

Jolt gets a 6× speedup — and we’re just getting started

It now proves over 500,000 RISC-V cycles/sec on a MacBook, with proof sizes under 50 KB
01.23.25  /  Justin Thaler

Introducing Twist and Shout: Next-generation memory checking for zkVMs and more

State-of-the-art memory-checking arguments that ensure a prover correctly handles every read and write to the VM’s memory
11.20.24  /  Justin Thaler

Getting the bugs out of SNARKs: The road ahead

How to get the bugs out of SNARKs so they can fulfill their promise of unparalleled scalability and enhanced privacy

Feed

FILTERS
clear filters
categories
format
tag
recommended tags

all tags
/
/
/
/
Initializing...
No posts found