Skip to content
@a16z

a16z

Popular repositories Loading

  1. helios helios Public

    A fast, secure, and portable multichain light client for Ethereum

    Rust 2.1k 421

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 940 92

  3. jolt jolt Public

    The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

    Rust 861 275

  4. awesome-farcaster awesome-farcaster Public

    A collection of awesome Farcaster links including clients, tools, and more.

    817 174

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 766 124

  6. magi magi Public

    A blazing fast OP Stack rollup client written in Rust

    Rust 645 108

Repositories

Showing 10 of 31 repositories
  • jolt Public

    The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

    a16z/jolt’s past year of commit activity
    Rust 861 Apache-2.0 275 20 (1 issue needs help) 12 Updated Nov 23, 2025
  • arkworks-algebra Public Forked from arkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    a16z/arkworks-algebra’s past year of commit activity
    Rust 3 Apache-2.0 386 0 0 Updated Nov 20, 2025
  • dory Public

    A high performance and modular implementation of the Dory polynomial commitment scheme

    a16z/dory’s past year of commit activity
    Rust 3 Apache-2.0 5 0 2 Updated Nov 13, 2025
  • helios Public

    A fast, secure, and portable multichain light client for Ethereum

    a16z/helios’s past year of commit activity
    Rust 2,066 MIT 421 30 (2 issues need help) 38 Updated Nov 10, 2025
  • rust Public
    a16z/rust’s past year of commit activity
    Rust 7 Apache-2.0 4 0 3 Updated Sep 9, 2025
  • halmos Public

    A symbolic testing tool for EVM smart contracts

    a16z/halmos’s past year of commit activity
    Python 940 AGPL-3.0 92 63 (4 issues need help) 5 Updated Aug 7, 2025
  • erc4626-tests Public

    ERC4626 Property Tests

    a16z/erc4626-tests’s past year of commit activity
    Solidity 190 AGPL-3.0 30 3 2 Updated Jul 30, 2025
  • yices-solver Public

    a Python package to distribute the yices release binaries

    a16z/yices-solver’s past year of commit activity
    1 GPL-3.0 2 0 0 Updated Jun 10, 2025
  • halmos-cheatcodes Public
    a16z/halmos-cheatcodes’s past year of commit activity
    Solidity 70 AGPL-3.0 0 2 0 Updated May 14, 2025
  • farcaster-py Public archive

    A Python SDK for the Farcaster network

    a16z/farcaster-py’s past year of commit activity
    Python 137 MIT 34 8 63 Updated Mar 11, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.