Skip to content

@a16z a16z

Change the repository type filter

All

    Repositories list

    31 repositories

    • jolt

      Public
      The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
      cryptographycryptozkzk-snarkssnarkzkparkworkszkvm
      Rust
      •
      Apache License 2.0
      •266•858•21•16•Updated Nov 9, 2025Nov 9, 2025

    • dory

      Public
      A high performance and modular implementation of the Dory polynomial commitment scheme
      Rust
      •
      Apache License 2.0
      •3•2•0•0•Updated Nov 9, 2025Nov 9, 2025

    • helios

      Public
      A fast, secure, and portable multichain light client for Ethereum
      ethereum
      Rust
      •
      MIT License
      •419•2.1k•31•38•Updated Nov 5, 2025Nov 5, 2025

    • arkworks-algebra

      Public
      Libraries for finite field, elliptic curve, and polynomial arithmetic
      Rust
      •
      Apache License 2.0
      •365•2•0•2•Updated Nov 5, 2025Nov 5, 2025

    • rust

      Public
      Rust
      •
      Apache License 2.0
      •4•7•0•3•Updated Sep 9, 2025Sep 9, 2025

    • halmos

      Public
      A symbolic testing tool for EVM smart contracts
      Python
      •
      GNU Affero General Public License v3.0
      •92•937•63•5•Updated Aug 6, 2025Aug 6, 2025

    • erc4626-tests

      Public
      ERC4626 Property Tests
      Solidity
      •
      GNU Affero General Public License v3.0
      •30•189•3•2•Updated Jul 29, 2025Jul 29, 2025

    • yices-solver

      Public
      a Python package to distribute the yices release binaries
      GNU General Public License v3.0
      •2•1•0•0•Updated Jun 9, 2025Jun 9, 2025

    • halmos-cheatcodes

      Public
      Solidity
      •
      GNU Affero General Public License v3.0
      •0•70•2•0•Updated May 14, 2025May 14, 2025

    • farcaster-py

      Public archive
      A Python SDK for the Farcaster network
      pythonapisocialpydanticfarcaster
      Python
      •
      MIT License
      •33•137•8•63•Updated Mar 11, 2025Mar 11, 2025

    • awesome-farcaster

      Public
      A collection of awesome Farcaster links including clients, tools, and more.
      172•816•4•8•Updated Mar 7, 2025Mar 7, 2025

    • crypto-primitives

      Public
      Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
      Rust
      •
      Apache License 2.0
      •115•1•0•0•Updated Feb 13, 2025Feb 13, 2025

    • jsi

      Public
      just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
      Python
      •
      MIT License
      •1•25•5•1•Updated Jan 28, 2025Jan 28, 2025

    • cicada

      Public
      A protocol for private on-chain voting, implemented in Solidity.
      privacyethereumvotingsmart-contractssolidityhomomorphic-encryptionzero-knowledgetime-lock-puzzle
      Solidity
      •
      GNU Affero General Public License v3.0
      •24•323•1•1•Updated Jan 11, 2025Jan 11, 2025

    • vectorized-fields

      Public
      Vectorized AVX-512 256-bit arithmetic library
      Assembly
      •
      MIT License
      •2•34•2•0•Updated Sep 28, 2024Sep 28, 2024

    • magi

      Public
      A blazing fast OP Stack rollup client written in Rust
      Rust
      •
      GNU Affero General Public License v3.0
      •108•656•9•16•Updated Aug 16, 2024Aug 16, 2024

    • evm-powers-of-tau

      Public archive
      Solidity
      •
      MIT License
      •11•106•0•6•Updated Jul 5, 2024Jul 5, 2024

    • eth-testnet-drop

      Public archive
      TypeScript
      •
      MIT License
      •23•130•2•6•Updated Apr 30, 2024Apr 30, 2024

    • zkvm-benchmarks

      Public
      Benchmarks of popular zkVMs including Jolt
      cryptographycryptozkzk-snarkssnarkzkparkworkszkvm
      Rust
      •25•63•0•1•Updated Apr 19, 2024Apr 19, 2024

    • Spartan2

      Public archive
      High-speed zkSNARKs
      Rust
      •
      MIT License
      •31•5•6•3•Updated Mar 14, 2024Mar 14, 2024

    • nft-analyst-starter-pack

      Public
      pythondata-scienceanalyticsethereumnfts
      Python
      •
      GNU Affero General Public License v3.0
      •91•467•4•3•Updated Feb 3, 2024Feb 3, 2024

    • zkdocs

      Public
      TypeScript
      •31•310•4•1•Updated Jul 24, 2023Jul 24, 2023

    • zkdrops

      Public
      Private airdrops for Ethereum.
      zero-knowledge
      JavaScript
      •
      GNU Affero General Public License v3.0
      •124•766•1•2•Updated Jul 18, 2023Jul 18, 2023

    • auction-zoo

      Public
      A menagerie of auction mechanisms implemented in Solidity
      libraryethereumsmart-contractssolidityauctionweb3nfterc721
      Solidity
      •
      GNU Affero General Public License v3.0
      •33•354•3•1•Updated Jul 9, 2023Jul 9, 2023

    • zkp-merkle-airdrop-lib

      Public archive
      JavaScript
      •
      GNU General Public License v3.0
      •8•49•0•8•Updated Feb 2, 2023Feb 2, 2023

    • zkp-merkle-airdrop-fe-ex

      Public archive
      JavaScript
      •
      GNU General Public License v3.0
      •8•35•1•8•Updated Feb 2, 2023Feb 2, 2023

    • a16z-contracts

      Public
      a16z Contracts is a library for solidity contracts, including licenses
      Rich Text Format
      •
      MIT License
      •52•284•4•4•Updated Oct 24, 2022Oct 24, 2022

    • crypto-ecosystems

      Public
      A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
      Rust
      •
      MIT License
      •1.8k•27•0•0•Updated Oct 23, 2022Oct 23, 2022

    • metamorphic-contract-detector

      Public archive
      Python
      •
      MIT License
      •18•164•0•0•Updated Jun 24, 2022Jun 24, 2022

    • nft-sleep-mint-forta-agent

      Public archive
      TypeScript
      •
      GNU Affero General Public License v3.0
      •11•13•0•1•Updated Mar 12, 2022Mar 12, 2022