code & engineering

Projects

Jolt

The simplest and most extensible zkVM

Helios

A multichain light client for Ethereum
Featured

Security audit secrets to success

Best practices for security audit reviews

Inside the biggest heist

How ByBit got hacked for $1.5 billion — potentially the biggest heist of all time

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

64-bit proving for Jolt, without a slowdown

Jolt now proves RISC-V programs using 64-bit registers (RV64IMAC) at speeds exceeding those we reported two months ago for 32-bit programs

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

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

Feed

FILTERS
clear filters
categories
format
tag
recommended tags

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