Skip to content

Popular repositories Loading

  1. helios helios Public

    A fast, secure, and portable light client for Ethereum

    Rust 1.8k 271

  2. ai ai Public

    Repo for work for AI Survey

    C++ 1.1k 428

  3. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 752 59

  4. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 741 112

  5. awesome-farcaster awesome-farcaster Public

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

    723 141

  6. jolt jolt Public

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

    Rust 617 122

Repositories

Showing 10 of 27 repositories

People

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