{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"Plonky3","owner":"lurk-lab","isFork":true,"description":"A toolkit for polynomial IOPs (PIOPs)","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":125,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T03:48:27.953Z"}},{"type":"Public","name":"arecibo","owner":"lurk-lab","isFork":false,"description":"An advanced fork of Nova","allTopics":["cryptography","nova","r1cs","zero-knowledge"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":11,"issueCount":31,"starsCount":63,"forksCount":27,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-03T18:24:17.019Z"}},{"type":"Public","name":"Nova","owner":"lurk-lab","isFork":true,"description":"Nova: Recursive SNARKs without trusted setup","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":176,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-03T18:20:13.596Z"}},{"type":"Public","name":"lurk-rs","owner":"lurk-lab","isFork":false,"description":"Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.","allTopics":["programming-language","cryptography","compiler","zero-knowledge","zk-snarks","rust"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":7,"issueCount":89,"starsCount":418,"forksCount":54,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-01T23:39:49.415Z"}},{"type":"Public","name":"github-actions-runner-cuda","owner":"lurk-lab","isFork":true,"description":"Self-hosted GitHub Actions runners with a CUDA base image","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":371,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-01T14:46:44.558Z"}},{"type":"Public","name":"bls12_381","owner":"lurk-lab","isFork":true,"description":"Implementation of the BLS12-381 pairing-friendly elliptic curve group","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":170,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T15:33:45.487Z"}},{"type":"Public","name":"ci-workflows","owner":"lurk-lab","isFork":false,"description":"GitHub Actions workflows and templates for use in Lurk repos","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":10,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T00:26:49.831Z"}},{"type":"Public","name":"aptos-core","owner":"lurk-lab","isFork":true,"description":"Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":3565,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T12:50:58.775Z"}},{"type":"Public","name":"ci-lab","owner":"lurk-lab","isFork":false,"description":"Testing grounds for CI and GH Actions workflows","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T21:23:58.255Z"}},{"type":"Public","name":"sp1","owner":"lurk-lab","isFork":true,"description":"A performant, 100% open-source, contributor-friendly zkVM.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":218,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T15:28:14.774Z"}},{"type":"Public","name":"rust-cache","owner":"lurk-lab","isFork":true,"description":"A GitHub Action that implements smart caching for rust/cargo projects ","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":98,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T14:02:43.885Z"}},{"type":"Public","name":"ingonyama-grumpkin-msm","owner":"lurk-lab","isFork":false,"description":"Ingonyama's implementation of an MSM for the Grumpkin curve cycle","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T09:49:18.131Z"}},{"type":"Public","name":"bellpepper-gadgets","owner":"lurk-lab","isFork":false,"description":"A library of gadgets compatible with bellpepper and bellperson","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":5,"starsCount":17,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T08:05:59.945Z"}},{"type":"Public","name":"awesome-folding","owner":"lurk-lab","isFork":false,"description":"A curated list of zero-knowledge folding schemes","allTopics":["awesome-list","zero-knowledge","zk-snarks"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":1,"starsCount":253,"forksCount":29,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T16:24:47.727Z"}},{"type":"Public","name":"neptune","owner":"lurk-lab","isFork":false,"description":"Rust Poseidon implementation.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":7,"starsCount":262,"forksCount":96,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T18:04:04.672Z"}},{"type":"Public","name":"bellpepper","owner":"lurk-lab","isFork":false,"description":"SNARK Circuit library","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":8,"starsCount":66,"forksCount":17,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T17:28:42.076Z"}},{"type":"Public","name":"sppark","owner":"lurk-lab","isFork":true,"description":"Zero-knowledge template library","allTopics":[],"primaryLanguage":{"name":"Cuda","color":"#3A4E3A"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":56,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T14:38:42.800Z"}},{"type":"Public","name":"solidity-verifier","owner":"lurk-lab","isFork":false,"description":"Solidity implementation of Nova proving system verifier","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":16,"starsCount":56,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-17T17:21:25.186Z"}},{"type":"Public","name":"grumpkin-msm","owner":"lurk-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T23:01:51.894Z"}},{"type":"Public template","name":"template-circom-gadget","owner":"lurk-lab","isFork":false,"description":"Base template that can be leveraged to create a Circom Gadget available remotly for our Circom Coprocessor ","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T21:12:11.906Z"}},{"type":"Public","name":"circom-scotia","owner":"lurk-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":18,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T12:21:44.469Z"}},{"type":"Public","name":"lean2zkvm","owner":"lurk-lab","isFork":true,"description":"Tool for compiling Lean to Risc-V and WASM for zkVMs","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-04T05:02:29.395Z"}},{"type":"Public","name":"lurk-lib","owner":"lurk-lab","isFork":false,"description":"Shared Lurk source code, including tests and library code.","allTopics":[],"primaryLanguage":null,"pullRequestCount":4,"issueCount":1,"starsCount":17,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-03T23:30:58.526Z"}},{"type":"Public","name":"ribbot","owner":"lurk-lab","isFork":true,"description":"Script for querying merged PRs, open issues, and closed issues from config repos.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-22T18:17:27.310Z"}},{"type":"Public","name":"Cli.lean","owner":"lurk-lab","isFork":true,"description":"A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T14:41:06.085Z"}},{"type":"Public template","name":"template-rust-lib","owner":"lurk-lab","isFork":false,"description":"Base template for a Rust library crate with CI, config files, and branch protection","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T03:33:25.563Z"}},{"type":"Public","name":"lurk-hs","owner":"lurk-lab","isFork":false,"description":"Haskell Wrappers for Lurk","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T19:29:46.184Z"}},{"type":"Public","name":"rust-in-blockchain","owner":"lurk-lab","isFork":true,"description":"Source code for rib.rs","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":136,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-14T19:00:27.694Z"}},{"type":"Public","name":"lurk-lisp","owner":"lurk-lab","isFork":false,"description":"Lisp implementation of Lurk.","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":1,"issueCount":5,"starsCount":66,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-13T21:02:03.207Z"}},{"type":"Public","name":"RustFFI.lean","owner":"lurk-lab","isFork":false,"description":"Template for Lean<->Rust FFI","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":1,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-11T16:40:18.517Z"}}],"repositoryCount":117,"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":"lurk-lab repositories"}