+
Skip to content
@a16z

a16z

Popular repositories Loading

  1. helios helios Public

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

    Rust 2k 388

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 913 88

  3. jolt jolt Public

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

    Rust 804 241

  4. awesome-farcaster awesome-farcaster Public

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

    802 167

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 764 125

  6. magi magi Public

    A blazing fast OP Stack rollup client written in Rust

    Rust 636 109

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 804 Apache-2.0 241 32 (1 issue needs help) 31 Updated Jul 8, 2025
  • helios Public

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

    a16z/helios’s past year of commit activity
    Rust 1,999 MIT 388 27 (2 issues need help) 12 Updated Jun 26, 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 331 0 4 Updated Jun 25, 2025
  • halmos Public

    A symbolic testing tool for EVM smart contracts

    a16z/halmos’s past year of commit activity
    Python 913 AGPL-3.0 88 54 (4 issues need help) 4 Updated Jun 20, 2025
  • yices-solver Public

    a Python package to distribute the yices release binaries

    a16z/yices-solver’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Jun 9, 2025
  • a16z/halmos-cheatcodes’s past year of commit activity
    Solidity 69 AGPL-3.0 0 2 0 Updated May 13, 2025
  • rust Public
    a16z/rust’s past year of commit activity
    Rust 6 4 0 4 Updated May 13, 2025
  • farcaster-py Public archive

    A Python SDK for the Farcaster network

    a16z/farcaster-py’s past year of commit activity
    Python 135 MIT 34 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
    802 167 4 7 Updated Mar 7, 2025
  • crypto-primitives Public Forked from arkworks-rs/crypto-primitives

    Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

    a16z/crypto-primitives’s past year of commit activity
    Rust 1 Apache-2.0 103 0 0 Updated Feb 13, 2025

People

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

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