{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"halmos","owner":"a16z","isFork":false,"description":"A symbolic testing tool for EVM smart contracts","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":6,"issueCount":58,"starsCount":712,"forksCount":48,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T19:02:33.487Z"}},{"type":"Public","name":"jolt","owner":"a16z","isFork":false,"description":"The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡","allTopics":["cryptography","crypto","zk","zk-snarks","snark","zkp","arkworks","zkvm"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":10,"issueCount":33,"starsCount":552,"forksCount":91,"license":"MIT License","participation":[34,7,26,27,1,5,7,4,7,18,10,12,19,7,8,0,25,2,9,5,32,40,38,16,52,56,77,31,47,15,9,37,34,29,22,22,20,32,53,26,89,98,156,92,101,79,50,26,35,15,10,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T16:13:55.472Z"}},{"type":"Public","name":"awesome-farcaster","owner":"a16z","isFork":false,"description":"A collection of awesome Farcaster links including clients, tools, and more.","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":2,"starsCount":666,"forksCount":114,"license":null,"participation":[2,0,0,0,2,3,2,0,0,0,0,0,4,5,1,2,5,3,3,0,0,5,4,0,2,0,2,10,0,1,3,2,0,0,12,25,4,0,1,2,1,0,4,1,4,12,4,1,1,2,1,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T09:09:12.126Z"}},{"type":"Public","name":"magi","owner":"a16z","isFork":false,"description":"A blazing fast OP Stack rollup client written in Rust","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":7,"starsCount":579,"forksCount":87,"license":"GNU Affero General Public License v3.0","participation":[2,0,1,0,0,1,0,0,0,1,0,0,2,4,3,1,0,0,0,1,2,0,0,1,0,1,1,0,4,0,0,1,1,0,0,1,1,1,4,2,3,0,0,0,0,0,1,1,0,0,1,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T20:40:03.021Z"}},{"type":"Public","name":"helios","owner":"a16z","isFork":false,"description":"A fast, secure, and portable light client for Ethereum","allTopics":["ethereum"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":25,"starsCount":1733,"forksCount":255,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,5,0,3,3,4,0,2,3,0,1,1,3,11,1,0,0,2,0,0,1,1,0,0,0,6,0,2,0,0,0,0,0,4,0,1,0,0,0,0,0,0,1,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T16:25:29.827Z"}},{"type":"Public","name":"cicada","owner":"a16z","isFork":false,"description":"A protocol for private on-chain voting, implemented in Solidity. ","allTopics":["privacy","ethereum","voting","smart-contracts","solidity","homomorphic-encryption","zero-knowledge","time-lock-puzzle"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":1,"starsCount":305,"forksCount":22,"license":"GNU Affero General Public License v3.0","participation":[0,0,6,0,0,0,4,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T09:01:20.075Z"}},{"type":"Public","name":"eth-testnet-drop","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":6,"issueCount":2,"starsCount":127,"forksCount":20,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T23:41:49.052Z"}},{"type":"Public","name":"rust","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":[553,546,593,571,563,513,552,525,637,471,463,447,453,492,479,531,481,589,454,580,605,498,413,567,628,543,552,575,569,379,572,564,585,581,451,624,784,693,745,756,665,764,534,455,130,12,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T17:58:15.094Z"}},{"type":"Public","name":"zkvm-benchmarks","owner":"a16z","isFork":false,"description":"Benchmarks of popular zkVMs including Jolt","allTopics":["cryptography","crypto","zk","zk-snarks","snark","zkp","arkworks","zkvm"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":44,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T20:00:01.940Z"}},{"type":"Public","name":"farcaster-py","owner":"a16z","isFork":false,"description":"A Python SDK for the Farcaster network","allTopics":["python","api","social","pydantic","farcaster"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":61,"issueCount":4,"starsCount":111,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T15:04:32.974Z"}},{"type":"Public","name":"Spartan2","owner":"a16z","isFork":true,"description":"High-speed zkSNARKs","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":6,"starsCount":1,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T18:49:03.061Z"}},{"type":"Public","name":"arkworks-algebra","owner":"a16z","isFork":true,"description":"Libraries for finite field, elliptic curve, and polynomial arithmetic","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":215,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T16:32:36.889Z"}},{"type":"Public","name":"nft-analyst-starter-pack","owner":"a16z","isFork":false,"description":"","allTopics":["python","data-science","analytics","ethereum","nfts"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":4,"starsCount":461,"forksCount":92,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-03T15:23:00.989Z"}},{"type":"Public","name":"halmos-cheatcodes","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":1,"starsCount":49,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-14T00:27:33.758Z"}},{"type":"Public","name":"zkdocs","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":4,"starsCount":301,"forksCount":30,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-24T05:57:29.822Z"}},{"type":"Public","name":"zkdrops","owner":"a16z","isFork":false,"description":"Private airdrops for Ethereum.","allTopics":["zero-knowledge"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":732,"forksCount":110,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-18T05:41:29.234Z"}},{"type":"Public","name":"auction-zoo","owner":"a16z","isFork":false,"description":"A menagerie of auction mechanisms implemented in Solidity","allTopics":["library","ethereum","smart-contracts","solidity","auction","web3","nft","erc721"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":3,"starsCount":336,"forksCount":29,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-09T02:40:41.746Z"}},{"type":"Public","name":"evm-powers-of-tau","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":4,"issueCount":0,"starsCount":99,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-13T16:58:47.478Z"}},{"type":"Public archive","name":"zkp-merkle-airdrop-lib","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":8,"issueCount":0,"starsCount":47,"forksCount":7,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-02T19:12:13.269Z"}},{"type":"Public archive","name":"zkp-merkle-airdrop-fe-ex","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":8,"issueCount":1,"starsCount":34,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-02T19:11:22.164Z"}},{"type":"Public","name":"ai","owner":"a16z","isFork":false,"description":"Repo for work for AI Survey","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":3,"starsCount":1048,"forksCount":404,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-05T06:13:33.576Z"}},{"type":"Public","name":"erc4626-tests","owner":"a16z","isFork":false,"description":"ERC4626 Property Tests","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":2,"starsCount":162,"forksCount":21,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-11T15:14:50.246Z"}},{"type":"Public","name":"a16z-contracts","owner":"a16z","isFork":false,"description":"a16z Contracts is a library for solidity contracts, including licenses","allTopics":[],"primaryLanguage":{"name":"Rich Text Format","color":"#ccc"},"pullRequestCount":4,"issueCount":4,"starsCount":264,"forksCount":49,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-24T23:46:51.676Z"}},{"type":"Public","name":"crypto-ecosystems","owner":"a16z","isFork":true,"description":"A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":1123,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-23T08:19:41.981Z"}},{"type":"Public","name":"metamorphic-contract-detector","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":156,"forksCount":17,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-24T04:57:31.829Z"}},{"type":"Public","name":"nft-sleep-mint-forta-agent","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":0,"starsCount":12,"forksCount":9,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-12T06:12:14.303Z"}},{"type":"Public","name":"crypto-governance","owner":"a16z","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":48,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-08T16:55:12.922Z"}}],"repositoryCount":27,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}