{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"cairo-vm","owner":"lambdaclass","isFork":false,"description":"cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.","topicNames":["programming-language","rust","cryptography","compiler","blockchain","stark","zkp"],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":20,"issueCount":15,"starsCount":465,"forksCount":114,"license":"Apache License 2.0","participation":[9,29,2,9,9,16,8,14,22,8,12,2,11,4,6,7,12,8,3,2,1,4,0,4,2,2,0,4,2,6,4,0,0,3,2,2,7,11,1,3,7,6,5,3,6,2,8,0,10,8,9,13],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T05:27:44.490Z"}},{"type":"Public","name":"lambdaworks","owner":"lambdaclass","isFork":false,"description":"lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.","topicNames":["cryptography","mathematics","zero-knowledge-proofs"],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":29,"issueCount":66,"starsCount":553,"forksCount":111,"license":"Apache License 2.0","participation":[8,4,13,18,15,10,4,16,17,8,5,1,4,3,0,1,2,13,5,2,13,5,7,6,8,15,8,2,4,10,5,8,3,3,6,12,8,5,18,2,2,5,0,0,7,0,7,0,3,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T17:48:02.260Z"}},{"type":"Public","name":"zksync-era","owner":"lambdaclass","isFork":true,"description":"zkSync era","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":27,"issueCount":34,"starsCount":6,"forksCount":1977,"license":"Apache License 2.0","participation":[0,0,1,0,4,2,0,2,0,1,3,0,0,0,0,7,3,0,0,1,2,20,16,46,34,40,48,36,22,22,49,43,19,47,28,51,17,22,38,38,24,34,39,38,31,28,32,27,48,24,32,27],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T20:49:26.399Z"}},{"type":"Public","name":"cairo_native","owner":"lambdaclass","isFork":false,"description":"A compiler to convert Cairo's intermediate representation \"Sierra\" code to MLIR.","topicNames":["rust","cairo","mlir"],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":22,"issueCount":58,"starsCount":101,"forksCount":33,"license":"Apache License 2.0","participation":[38,14,32,38,1,1,5,2,10,13,4,9,14,8,1,1,5,2,0,0,0,3,3,3,5,8,3,0,7,2,1,8,14,13,0,4,1,2,2,3,2,6,8,0,3,7,7,1,3,4,2,10],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T22:14:26.395Z"}},{"type":"Public","name":"concrete","owner":"lambdaclass","isFork":false,"description":"Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":4,"issueCount":69,"starsCount":110,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T19:59:15.537Z"}},{"type":"Public","name":"austral.rs","owner":"lambdaclass","isFork":false,"description":"An implementation of the Austral language compiler in Rust","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":14,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T21:51:02.216Z"}},{"type":"Public","name":"zksync_era_precompiles","owner":"lambdaclass","isFork":false,"description":"Yul precompile library to speedup elliptic curves operations.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":11,"issueCount":19,"starsCount":47,"forksCount":17,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-20T18:38:03.103Z"}},{"type":"Public","name":"zkRust","owner":"lambdaclass","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T15:29:56.942Z"}},{"type":"Public","name":"starknet_in_rust","owner":"lambdaclass","isFork":false,"description":"A Rust implementation of Starknet execution logic","topicNames":["rust","ethereum","cairo","starknet"],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":13,"issueCount":24,"starsCount":168,"forksCount":50,"license":"Apache License 2.0","participation":[0,2,10,6,35,24,16,13,20,24,20,5,16,7,10,6,2,14,12,8,4,2,2,1,10,12,6,7,7,7,3,5,0,4,0,2,4,1,6,7,5,4,0,1,3,2,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T01:22:41.533Z"}},{"type":"Public","name":"types-rs","owner":"lambdaclass","isFork":true,"description":" 🐺 Starknet Rust types 🦀","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":27,"license":"MIT License","participation":[0,0,0,5,0,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,1,0,3,0,0,3,1,1,1,8,0,3,0,1,0,2,0,1,0,0,2,0,3,7,2,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T15:13:55.766Z"}},{"type":"Public","name":"miden-client","owner":"lambdaclass","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":0,"starsCount":0,"forksCount":17,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T21:53:14.313Z"}},{"type":"Public","name":"pedersen-bench","owner":"lambdaclass","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-26T15:30:07.152Z"}},{"type":"Public","name":"blockifier","owner":"lambdaclass","isFork":true,"description":"Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":79,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T19:11:28.030Z"}},{"type":"Public","name":"proof-systems","owner":"lambdaclass","isFork":true,"description":"The proof systems used by Mina","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":83,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T16:21:37.466Z"}},{"type":"Public","name":"sp1","owner":"lambdaclass","isFork":true,"description":"A performant, 100% open-source, contributor-friendly zkVM.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":145,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T18:27:27.558Z"}},{"type":"Public","name":"rust","owner":"lambdaclass","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T14:37:42.543Z"}},{"type":"Public","name":"aggregation_aligned_layer","owner":"lambdaclass","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T03:34:59.004Z"}},{"type":"Public","name":"bootcamp_blockchain","owner":"lambdaclass","isFork":false,"description":"A verifier blockchain for our internal bootcamp","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T21:02:02.148Z"}},{"type":"Public","name":"bumpalo","owner":"lambdaclass","isFork":true,"description":"A fast bump allocation arena for Rust","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":104,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-01T20:34:15.821Z"}},{"type":"Public","name":"era-test-node","owner":"lambdaclass","isFork":true,"description":"In-memory node that can be used for integration testing and debugging.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":66,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-29T13:55:58.957Z"}},{"type":"Public","name":"foundry","owner":"lambdaclass","isFork":true,"description":"Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":3,"starsCount":0,"forksCount":1470,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-11T00:13:50.163Z"}},{"type":"Public","name":"starknet_sequencer","owner":"lambdaclass","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":8,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-30T14:09:41.540Z"}},{"type":"Public","name":"miden-base","owner":"lambdaclass","isFork":true,"description":"Core components of the Polygon Miden rollup","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":23,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-09T15:52:16.055Z"}},{"type":"Public","name":"era-consensus","owner":"lambdaclass","isFork":true,"description":"Consensus layer implementation for the zkSync Era blockchain","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":28,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-04T21:51:49.882Z"}},{"type":"Public","name":"atun","owner":"lambdaclass","isFork":false,"description":"A toy VPN implemented in Rust based on <a href=\"https://write.yiransheng.com/vpn\" rel=\"nofollow\">https://write.yiransheng.com/vpn</a>","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-29T13:55:31.679Z"}},{"type":"Public","name":"zksync_era_cli","owner":"lambdaclass","isFork":false,"description":"CLI tool for zkSync Era, built using zksync-web3-rs SDK","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":10,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-28T16:19:16.732Z"}},{"type":"Public","name":"zksync-web3-rs","owner":"lambdaclass","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":22,"starsCount":28,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-27T14:12:39.163Z"}},{"type":"Public","name":"cairo","owner":"lambdaclass","isFork":true,"description":"Cairo is the first Turing-complete language for creating provable programs for general computation.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":421,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-06T16:30:18.173Z"}},{"type":"Public","name":"pathfinder","owner":"lambdaclass","isFork":true,"description":"A Starknet full node written in Rust","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":215,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T20:10:26.663Z"}},{"type":"Public","name":"miden-vm","owner":"lambdaclass","isFork":true,"description":"STARK-based virtual machine - For Lambdaworks Prover","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":135,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-27T16:03:33.327Z"}}],"repositoryCount":88,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}