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 434

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 958 95

  3. jolt jolt Public

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

    Rust 880 280

  4. awesome-farcaster awesome-farcaster Public

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

    819 171

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 768 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 880 Apache-2.0 280 19 (1 issue needs help) 14 Updated Jan 17, 2026
  • 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 6 0 2 Updated Jan 16, 2026
  • helios Public

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

    a16z/helios’s past year of commit activity
    Rust 2,108 MIT 434 31 (2 issues need help) 46 Updated Jan 15, 2026
  • jsi Public

    just solve it - a CLI utility to run a portfolio of SMT solvers in parallel

    a16z/jsi’s past year of commit activity
    Python 25 MIT 1 5 1 Updated Jan 14, 2026
  • 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 Jan 12, 2026
  • 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 958 AGPL-3.0 95 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 194 AGPL-3.0 33 3 3 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
View all repositories

People

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