Pinned Repositories
awesome-folding
A curated list of zero-knowledge folding schemes
bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
circom-scotia
lurk
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
lurk-lib
Shared Lurk source code, including tests and library code.
lurk-lisp
Lisp implementation of Lurk.
neptune
Rust Poseidon implementation (contact: @porcuquine)
neptune-triton
Futhark implementation of neptune-compatible Poseidon.
solidity-verifier
Solidity implementation of Nova proving system verifier
lurk-lab's Repositories
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
lurk-lab/neptune
Rust Poseidon implementation (contact: @porcuquine)
lurk-lab/awesome-folding
A curated list of zero-knowledge folding schemes
lurk-lab/lurk
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
lurk-lab/lurk-lisp
Lisp implementation of Lurk.
lurk-lab/solidity-verifier
Solidity implementation of Nova proving system verifier
lurk-lab/circom-scotia
lurk-lab/lurk-lib
Shared Lurk source code, including tests and library code.
lurk-lab/bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
lurk-lab/lurk-vscode
Support for Lurk in the VS Code IDE (contact: @arthurpaulino)
lurk-lab/user-manual
lurk-lab/grumpkin-msm
lurk-lab/keccak-circom-gadget
Implementation of a Circom Gadge for the Keccak hasing algorithm.
lurk-lab/lurk-lab.com
Lurk Lab Inc. website
lurk-lab/zkvm-benchmarks
lurk-lab/.github
lurk-lab/abomonation_derive
A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate
lurk-lab/ascent
logic programming in Rust
lurk-lab/awesome-blockchain-rust
Collect libraries and packages about blockchain/cryptography in Rust
lurk-lab/ingonyama-grumpkin-msm
Ingonyama's implementation of an MSM for the Grumpkin curve cycle
lurk-lab/linera-protocol
An observatory fork of the Linera protocol
lurk-lab/linera-tx-generator
The goal for this repository is to create a binary that can generate linera transactions against a given network according to some test cases.
lurk-lab/loam
Loam is the Lurk Ontological Abstract Machine. (contact: @porcuquine)
lurk-lab/p3
A toolkit for polynomial IOPs (PIOPs)
lurk-lab/pasta-msm
lurk-lab/pasta_curves
Rust implementation for zcash/pasta
lurk-lab/ribbot
Script for querying merged PRs, open issues, and closed issues from config repos.
lurk-lab/rust-in-blockchain
Source code for rib.rs
lurk-lab/sppark
Zero-knowledge template library
lurk-lab/template-circom-gadget
Base template that can be leveraged to create a Circom Gadget available remotly for our Circom Coprocessor