Repositories list

• halmos

  Public
  A symbolic testing tool for EVM smart contracts

  Python

  •

  GNU Affero General Public License v3.0

  •68•814•61•1•Updated Nov 12, 2024Nov 12, 2024

• jolt

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

  cryptographycryptozk+ 5zk-snarkssnarkzkparkworkszkvm

  Rust

  •

  MIT License

  •146•679•29•12•Updated Nov 12, 2024Nov 12, 2024

• jsi

  Public
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel

  Python

  •

  MIT License

  •0•6•3•0•Updated Nov 8, 2024Nov 8, 2024

• helios

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

  ethereum

  Rust

  •

  MIT License

  •292•1.9k•30•11•Updated Nov 1, 2024Nov 1, 2024

• awesome-farcaster

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

  155•751•3•9•Updated Oct 20, 2024Oct 20, 2024

• vectorized-fields

  Public
  Vectorized AVX-512 256-bit arithmetic library

  Assembly

  •

  MIT License

  •1•30•2•0•Updated Sep 28, 2024Sep 28, 2024

• halmos-cheatcodes

  Public
  Solidity

  •

  GNU Affero General Public License v3.0

  •0•59•2•0•Updated Sep 24, 2024Sep 24, 2024

• farcaster-py

  Public
  A Python SDK for the Farcaster network

  pythonapisocial+ 2pydanticfarcaster

  Python

  •

  MIT License

  •28•123•8•63•Updated Aug 19, 2024Aug 19, 2024

• magi

  Public
  A blazing fast OP Stack rollup client written in Rust

  Rust

  •

  GNU Affero General Public License v3.0

  •92•603•9•4•Updated Aug 16, 2024Aug 16, 2024

• rust

  Public
  Rust

  •

  Other

  •1•4•0•2•Updated Aug 9, 2024Aug 9, 2024

• evm-powers-of-tau

  Public
  Solidity

  •

  MIT License

  •9•102•0•5•Updated Jul 5, 2024Jul 5, 2024

• cicada

  Public
  A protocol for private on-chain voting, implemented in Solidity.

  privacyethereumvoting+ 5smart-contractssolidityhomomorphic-encryptionzero-knowledgetime-lock-puzzle

  Solidity

  •

  GNU Affero General Public License v3.0

  •23•317•1•0•Updated May 23, 2024May 23, 2024

• eth-testnet-drop

  Public
  TypeScript

  •

  MIT License

  •21•128•2•6•Updated Apr 30, 2024Apr 30, 2024

• zkvm-benchmarks

  Public
  Benchmarks of popular zkVMs including Jolt

  cryptographycryptozk+ 5zk-snarkssnarkzkparkworkszkvm

  Rust

  •14•56•0•1•Updated Apr 19, 2024Apr 19, 2024

• Spartan2

  Public
  High-speed zkSNARKs

  Rust

  •

  MIT License

  •13•2•6•3•Updated Mar 14, 2024Mar 14, 2024

• arkworks-algebra

  Public
  Libraries for finite field, elliptic curve, and polynomial arithmetic

  Rust

  •

  Apache License 2.0

  •248•0•0•1•Updated Feb 28, 2024Feb 28, 2024

• nft-analyst-starter-pack

  Public
  pythondata-scienceanalytics+ 2ethereumnfts

  Python

  •

  GNU Affero General Public License v3.0

  •92•462•4•3•Updated Feb 3, 2024Feb 3, 2024

• zkdocs

  Public
  TypeScript

  •30•308•4•1•Updated Jul 24, 2023Jul 24, 2023

• zkdrops

  Public
  Private airdrops for Ethereum.

  zero-knowledge

  JavaScript

  •

  GNU Affero General Public License v3.0

  •118•753•0•1•Updated Jul 18, 2023Jul 18, 2023

• auction-zoo

  Public
  A menagerie of auction mechanisms implemented in Solidity

  libraryethereumsmart-contracts+ 5solidityauctionweb3nfterc721

  Solidity

  •

  GNU Affero General Public License v3.0

  •29•344•3•1•Updated Jul 9, 2023Jul 9, 2023

• zkp-merkle-airdrop-lib

  Public archive
  JavaScript

  •

  GNU General Public License v3.0

  •7•47•0•8•Updated Feb 2, 2023Feb 2, 2023

• zkp-merkle-airdrop-fe-ex

  Public archive
  JavaScript

  •

  GNU General Public License v3.0

  •6•34•1•8•Updated Feb 2, 2023Feb 2, 2023

• ai

  Public
  Repo for work for AI Survey

  C++

  •

  MIT License

  •436•1.1k•19•4•Updated Dec 5, 2022Dec 5, 2022

• erc4626-tests

  Public
  ERC4626 Property Tests

  Solidity

  •

  GNU Affero General Public License v3.0

  •26•175•2•0•Updated Nov 11, 2022Nov 11, 2022

• a16z-contracts

  Public
  a16z Contracts is a library for solidity contracts, including licenses

  Rich Text Format

  •

  MIT License

  •50•270•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.4k•24•0•0•Updated Oct 23, 2022Oct 23, 2022

• metamorphic-contract-detector

  Public
  Python

  •

  MIT License

  •16•159•0•0•Updated Jun 24, 2022Jun 24, 2022

• nft-sleep-mint-forta-agent

  Public
  TypeScript

  •

  GNU Affero General Public License v3.0

  •10•12•0•1•Updated Mar 12, 2022Mar 12, 2022

• crypto-governance

  Public
  10•48•0•1•Updated Sep 8, 2021Sep 8, 2021