Code &
Engineering

(23) Results
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

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

Michael Zhu
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
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.

© 2023 Andreessen Horowitz WTUVKUCXZLYAD
GGCMUGJX