{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"jolt","owner":"a16z","isFork":false,"description":"The simplest and most extensible zkVM. 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":9,"issueCount":34,"starsCount":562,"forksCount":93,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T12:16:23.949Z"}},{"type":"Public","name":"halmos","owner":"a16z","isFork":false,"description":"A symbolic testing tool for EVM smart contracts","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":58,"starsCount":718,"forksCount":51,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T03:59:09.517Z"}},{"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":3,"issueCount":3,"starsCount":679,"forksCount":123,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T03:47:10.705Z"}},{"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":null,"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":1745,"forksCount":263,"license":"MIT License","participation":null,"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":308,"forksCount":23,"license":"GNU Affero General Public License v3.0","participation":null,"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":null,"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":[566,557,629,518,529,511,610,579,456,445,480,432,502,478,525,489,584,501,571,635,394,475,546,644,518,583,606,464,382,637,540,654,479,481,710,773,709,730,762,663,761,443,428,50,12,0,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":[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,4,0,0,0,0,0,0,0,0],"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":113,"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":218,"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":302,"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":733,"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":1053,"forksCount":405,"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":164,"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":50,"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":1132,"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":157,"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":10,"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"}