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 426

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 953 94

  3. jolt jolt Public

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

    Rust 872 278

  4. awesome-farcaster awesome-farcaster Public

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

    820 171

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 766 125

  6. magi magi Public

    A blazing fast OP Stack rollup client written in Rust

    Rust 646 109

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 872 Apache-2.0 278 19 (1 issue needs help) 15 Updated Dec 28, 2025
  • helios Public

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

    a16z/helios’s past year of commit activity
    Rust 2,088 MIT 426 31 (2 issues need help) 44 Updated Dec 16, 2025
  • dory Public

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

    a16z/dory’s past year of commit activity
    Rust 4 Apache-2.0 5 0 3 Updated Dec 9, 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 389 0 1 Updated Dec 1, 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 953 AGPL-3.0 94 63 (4 issues need help) 5 Updated Aug 6, 2025
  • erc4626-tests Public

    ERC4626 Property Tests

    a16z/erc4626-tests’s past year of commit activity
    Solidity 192 AGPL-3.0 32 3 2 Updated Jul 29, 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 9, 2025
  • halmos-cheatcodes Public
    a16z/halmos-cheatcodes’s past year of commit activity
    Solidity 70 AGPL-3.0 1 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 138 MIT 33 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.