Pinned Loading

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

   Proofs for Filecoin in Rust

   Rust 490 314

2. argumentcomputer/neptune argumentcomputer/neptune Public

   Rust Poseidon implementation.

   Rust 270 98

3. microsoft/Nova microsoft/Nova Public

   Nova: High-speed recursive arguments from folding schemes

   Rust 691 180

4. argumentcomputer/lurk-beta argumentcomputer/lurk-beta Public

   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.

   Rust 427 55

5. argumentcomputer/lurk-lisp argumentcomputer/lurk-lisp Public

   Lisp implementation of Lurk.

   Common Lisp 66 6

6. protocol/vdf protocol/vdf Public

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

   Rust 16 1