repos
73
ecosystems
15
languages
9
commits
1,082
─── top repos · by commits
─── repositories
73 totalTesting grounds for CI and GH Actions workflows
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
A collection of ZK light client libraries for various blockchains
Self-hosted runner for Lurk CI in Docker
IPLD library for no_std use within Substrate
A collection of ZK light client libraries for various blockchains
A programming language for the decentralized web
An observatory fork of SP1
GitHub Actions workflows and templates for use in Argument repos
An advanced fork of Nova (contact:@huitseeker)
immutable `no_std` data structures suitable for use within Substrate
Multihash library for no_std use within Substrate
Cid library for no_std use within Substrate
a Lean4 implementation of the IPLD format
Lean4 bindings to Blake3
Lurk Lab Inc. website
Nix overlay for Lean 4, and lake2nix
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
A Testing Framework for Lean
Tools for developing Lurk on the web
Text rope for `no_std` use within Substrate
Rust IPLD library
Template for Lean<->Rust FFI
Self-hosted GitHub Actions runners with a CUDA base image
Solidity implementation of Nova proving system verifier
Nova: Recursive SNARKs without trusted setup
[Celer Fork] Nova: Recursive SNARKs without trusted setup
Nova: Recursive SNARKs without trusted setup
Nova: High-speed recursive arguments from folding schemes
Nova: Recursive SNARKs without trusted setup
No_std buffer library
Rust implementation for zcash/pasta
Fixed length array types for `no_std` use within Substrate
Readline Implementation in Rust
Parser library for Lurk terms
Base template for a Rust library crate with CI, config files, and branch protection
Support for Lurk in the VS Code IDE (contact: @arthurpaulino)
Serialization library in Lean
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
A collection of ZK light client libraries for various blockchains
Non-native arithmetic for SNARKs
Nova: Recursive SNARKs without trusted setup
zk-SNARK library
Source code for rib.rs
A curated list of zero-knowledge folding schemes
The Yatima Standard Library
Examples of Mastermind implemented in different ZK languages and frameworks.
Lisp implementation of Lurk.
A WebAssembly implementation in Lean4
Script for querying merged PRs, open issues, and closed issues from config repos.
Rust implementation for zcash/pasta
State-of-the-art streams for Lean 4
Rust implementation for zcash/pasta
A toolkit for polynomial IOPs (PIOPs)
Implementation of Cedille Core in Rust
zk-SNARK library
zk-SNARK library
Nix overlays and utils used across projects
Rust implementation for zcash/pasta
Rust implementation for zcash/pasta
Implementation of the BLS12-381 pairing-friendly elliptic curve group. This repository maintains a branch used in ZK-proving (contact: @wwared)
zk-SNARK library
zk-SNARK library
zk-SNARK library
─── peer developers
─── ecosystems
─── languages
- Rust43
- Lean8
- Nix5
- HTML3
- Shell2
- JavaScript2
- Solidity1
- TypeScript1
- Common Lisp1
─── subscriber view
Unlock the full view of samuelburnham
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.