open
source

(31) Results
filter
FORMATS
1.30.25 / articles
Formal verification of Pectra system contracts with Halmos

Daejun Park
10.25.24 / articles
Scaling Ethereum Rollups with Helios

Noah CitronEddy Lazzarin
5.23.24 / podcasts
Open sourcing the superchain (with Optimism)

Jing WangEddy LazzarinRobert Hackett
5.2.24 / podcasts
Theory to code: Building the breakthrough zkVM Jolt

Justin ThalerSam RagsdaleMichael ZhuRobert Hackett
8.10.23 / articles
Approaching the 'lookup singularity': Introducing Lasso and Jolt

Justin Thaler
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

karma (Daniel Reynaud)Daejun Park
popular tags
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
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.7.22 / articles
On-Chain Trusted Setup Ceremony

Valeria NikolaenkoSam Ragsdale
8.31.22 / articles
The Can’t Be Evil NFT Licenses

Miles JenningsChris Dixon
8.25.22 / articles
Supporting Public Goods with Gitcoin Grants

Elena Burger
8.3.22 / articles
Why NFT Creators Are Going cc0

FlashrektScott Duke Kominers
6.27.22 / articles
zkDocs: Zero-knowledge Information Sharing

Sam RagsdaleDan Boneh
5.31.22 / podcasts
Methods to the Madness

Chris DixonEddy LazzarinSonal Chokshi
5.6.22 / articles
7 Essential Ingredients of a Metaverse

Elizabeth HarkavyEddy LazzarinArianna Simpson
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
10.2.21 / articles
How open lost to closed in web2

Chris Dixon
1.22.19 / articles
What comes after open source?

Denis Nazarov
8.20.18 / articles
Crypto and the Evolution of Open Source

Denis NazarovJesse WaldenDevon Zuegel
7.26.18 / articles
Cryptonetworks and Decentralization: Building Blocks

Chris DixonAli YahyaDevon Zuegel
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