Code &
Engineering

(47) Results
7.28.25 / articles
Modern invariant testing with halmos

karmacomaDaejun Park
7.14.25 / articles
Halmos v0.3.0 release highlights

karmacomaDaejun Park
5.9.25 / articles
Security audit secrets to success

Matt Gleason
3.8.25 / podcasts
Inside the biggest heist

Matt GleasonRobert Hackett
3.7.25 / articles
Learning from crypto’s largest heist: Breaking down the Bybit hack

Matt Gleason
2.15.25 / videos
From creative process to outcomes

Sonal ChokshiHayden AdamsKidSuper
1.30.25 / articles
Formal verification of Pectra system contracts with Halmos

Daejun Park
11.12.24 / articles
Jolt: An update

Justin ThalerMichael Zhu
10.25.24 / articles
Scaling Ethereum Rollups with Helios

Noah CitronEddy Lazzarin
10.17.24 / videos
Explore the State of Crypto 2024: new data on crypto users, builders, and technologies

Daren Matsuoka
10.16.24 / articles
Estimating the number of real crypto users

Daren MatsuokaEddy Lazzarin
9.8.24 / podcasts
How Tech Advances in Blockchains Benefit Other Industries

Dan BonehTim RoughgardenSonal Chokshi
8.8.24 / articles
A new financial model for app tokens: How to generate cash flows

Mason HallPorter SmithMiles JenningsRoss Shuel
5.2.24 / podcasts
Theory to code: Building the breakthrough zkVM Jolt

Justin ThalerSam RagsdaleMichael ZhuRobert Hackett
4.9.24 / articles
Building Jolt: A fast, easy-to-use zkVM

Michael ZhuSam Ragsdale
4.9.24 / articles
Accelerating the world computer: Implementing Jolt, a new state-of-the-art zkVM

a16z crypto editorial
3.18.24 / articles
Understanding Dencun, the biggest upgrade to Ethereum since The Merge

Noah CitronValeria Nikolaenko
3.14.24 / articles
Pro tip: Implementing stateful invariant testing with Halmos

Antonio Viggiano
10.3.23 / videos
Lasso + Jolt: An engineering overview

Sam RagsdaleMichael Zhu
10.3.23 / videos
Visualizing Lasso: A fast new lookup argument for SNARKs

Michael Zhu
9.19.23 / podcasts
Chain choices: or, how to decide what blockchain to build on

Sonal ChokshiGuy WuolletEddy Lazzarin
9.5.23 / podcasts
Debating Blockchain Architectures (with Solana)

Sonal ChokshiAnatoly YakovenkoAli YahyaGuy Wuollet
8.10.23 / articles
Understanding Lasso and Jolt, from theory to code

Sam RagsdaleMichael ZhuJustin Thaler
7.25.23 / articles
Release notes: Halmos v0.1.0

karmacomaDaejun Park
5.24.23 / articles
Building Cicada: Private on-chain voting using time-lock puzzles

Michael Zhu
5.19.23 / videos
Smart contract design patterns

Noah Citron
4.19.23 / articles
Building Magi: A new rollup client for Optimism

Noah Citron
2.25.23 / articles
Through the looking glass: A cross-chain sealed-bid auction using Aztec Connect

Michael Zhu
2.2.23 / articles
Symbolic testing with Halmos: Leveraging existing tests for formal verification

Daejun Park
1.30.23 / podcasts
Programming Languages & Crypto

Sam BlackshearNoah CitronEddy LazzarinSonal Chokshi
1.26.23 / videos
Token design: Mental models, capabilities, and emerging design spaces

Eddy Lazzarin
11.16.22 / articles
Hidden in Plain Sight: A Sneaky Solidity Implementation of a Sealed-Bid Auction

Michael Zhu
11.7.22 / articles
Building Helios: Fully trustless access to Ethereum

Noah Citron
10.27.22 / articles
Generalized property tests for ERC4626 vaults

Daejun Park
10.17.22 / articles
Zero Gas Wasted: Winning the IAmTheOptimizor Challenge

Noah CitronMatt Gleason
10.7.22 / articles
On Paper to On-Chain: How Auction Theory Informs Implementations

Michael Zhu
9.16.22 / articles
Zero Knowledge Canon, part 1 & 2

Elena BurgerBryan ChiangSonal ChokshiEddy LazzarinJustin ThalerAli Yahya
9.14.22 / articles
‘Proof-of-Merge’ NFT to Commemorate Ethereum

Michael BlauMason Hall
9.12.22 / podcasts
Ethereum, Merge and Beyond

Tim BeikoTim RoughgardenAli YahyaSonal Chokshi
9.7.22 / articles
On-Chain Trusted Setup Ceremony

Valeria NikolaenkoSam Ragsdale
6.27.22 / articles
zkDocs: Zero-knowledge Information Sharing

Sam RagsdaleDan Boneh
6.24.22 / articles
A Tool for Detecting Metamorphic Smart Contracts

Michael Blau
3.31.22 / articles
The NFT Mint ‘Sweet Spot’: Data on Early Decisions

Daren Matsuoka
3.27.22 / articles
Privacy-Protecting Crypto Airdrops with Zero Knowledge Proofs

Sam Ragsdale
3.18.22 / articles
The NFT Starter Pack: Tools for Anyone to Analyze NFTs

Eddy LazzarinDaren Matsuoka
3.9.22 / articles
Identifying Authentic NFTs (Especially Against Attackers)

Michael Blau
12.28.20 / articles
A Builder's Guide From Crypto Startup School

Future Editorial
explore
clear filters
Focus Areas
Formats
Popular Tags
All Tags
podcast: web3 with a16z

A show about building the next internet, from a16z crypto

Any investments or portfolio companies mentioned, referred to, or described on this page are not representative of all investments in vehicles managed by a16z and there can be no assurance that the investments will be profitable or that other investments made in the future will have similar characteristics or results. Exits include current and former a16z portfolio companies which have been acquired as well as companies which have undergone an initial public offering or direct public offering of shares. Certain publicly traded companies on this list may still be held in Andreessen Horowitz funds. A list of investments made by funds managed by a16z is available here: https://a16z.com/investments/. Excluded from this list are investments for which the issuer has not provided permission for a16z to disclose publicly as well as unannounced investments in publicly traded digital assets. Further, the list of investments is updated monthly and as such may not reflect most recent a16z investments. Past results of Andreessen Horowitz’s investments, pooled investment vehicles, or investment strategies are not necessarily indicative of future results.

© 2024 Andreessen Horowitz WTUVKUCXZLYAD
GGCMUGJX