Pinned Loading

1. filecoin-project/rust-fil-proofs filecoin-project/rust-fil-proofs Public

   Proofs for Filecoin in Rust

   Rust 503 316

2. lurk-lab/neptune lurk-lab/neptune Public

   Rust Poseidon implementation (contact: @porcuquine)

   Rust 344 105

3. microsoft/Nova microsoft/Nova Public

   Nova: High-speed recursive zero-knowledge arguments from folding schemes

   Rust 854 252

4. lurk-lab/lurk-beta lurk-lab/lurk-beta Public

   Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

   Rust 451 61

5. lurk-lab/lurk-lisp lurk-lab/lurk-lisp Public

   Lisp implementation of Lurk.

   Common Lisp 79 8

6. protocol/vdf protocol/vdf Public

   A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.

   Rust 18