Skip to content
@a16z

a16z

Popular repositories Loading

  1. helios helios Public

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

    Rust 2k 358

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 888 81

  3. awesome-farcaster awesome-farcaster Public

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

    787 167

  4. jolt jolt Public

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

    Rust 771 217

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 761 123

  6. magi magi Public

    A blazing fast OP Stack rollup client written in Rust

    Rust 629 107

Repositories

Showing 10 of 29 repositories
  • halmos Public

    A symbolic testing tool for EVM smart contracts

    a16z/halmos’s past year of commit activity
    Python 888 AGPL-3.0 81 64 (5 issues need help) 5 Updated Apr 3, 2025
  • 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 771 MIT 217 32 (4 issues need help) 18 Updated Apr 2, 2025
  • helios Public

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

    a16z/helios’s past year of commit activity
    Rust 1,965 MIT 358 27 (2 issues need help) 13 Updated Mar 27, 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 1 Apache-2.0 310 0 1 Updated Mar 21, 2025
  • farcaster-py Public archive

    A Python SDK for the Farcaster network

    a16z/farcaster-py’s past year of commit activity
    Python 134 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
    787 167 4 6 Updated Mar 7, 2025
  • rust Public
    a16z/rust’s past year of commit activity
    Rust 6 4 1 5 Updated Mar 6, 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 102 0 0 Updated Feb 13, 2025
  • erc4626-tests Public

    ERC4626 Property Tests

    a16z/erc4626-tests’s past year of commit activity
    Solidity 178 AGPL-3.0 27 3 0 Updated Jan 31, 2025
  • 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 7 MIT 0 3 0 Updated Jan 28, 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.

Top languages

Loading…

Most used topics

Loading…