+
Skip to content
@a16z

a16z

Popular repositories Loading

  1. helios helios Public

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

    Rust 2k 409

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 933 90

  3. jolt jolt Public

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

    Rust 840 256

  4. awesome-farcaster awesome-farcaster Public

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

    810 171

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 763 123

  6. magi magi Public

    A blazing fast OP Stack rollup client written in Rust

    Rust 656 108

Repositories

Showing 10 of 30 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 840 Apache-2.0 256 20 12 Updated Oct 18, 2025
  • helios Public

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

    a16z/helios’s past year of commit activity
    Rust 2,036 MIT 409 29 (2 issues need help) 37 Updated Oct 17, 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 2 Apache-2.0 373 0 2 Updated Oct 13, 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 933 AGPL-3.0 90 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 186 AGPL-3.0 30 3 1 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 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 136 MIT 33 8 63 Updated Mar 11, 2025
  • awesome-farcaster Public

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

    a16z/awesome-farcaster’s past year of commit activity
    810 171 4 8 Updated Mar 7, 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.

点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载