Owner · a16z

a16z

a16z's tracked open-source repos, sorted by stars.

5 repos

#1
helios ↗@a16zRust
A fast, secure, and portable multichain light client for Ethereum
★ 2,176-1Star change over the last 7 days
#2
halmos ↗@a16zPython
A symbolic testing tool for EVM smart contracts
★ 1,028+0Star change over the last 7 days
#3
jolt ↗@a16zRust
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
★ 1,022+2Star change over the last 7 days
#4
zkdrops ↗@a16zJavaScript
Private airdrops for Ethereum.
★ 763+0Star change over the last 7 days
#5
magi ↗@a16zRust
A blazing fast OP Stack rollup client written in Rust
★ 638+1Star change over the last 7 days