8000 lurk-lab · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@lurk-lab

lurk-lab

README.md

Welcome to lurk-lab

Popular repositories Loading

  1. lurk-beta 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 446 61

  2. neptune neptune Public

    Rust Poseidon implementation (contact: @porcuquine)

    Rust 324 103

  3. awesome-folding awesome-folding Public

    A curated list of zero-knowledge folding schemes

    299 36

  4. lurk lurk Public

    Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

    Rust 83 11

  5. lurk-lisp lurk-lisp Public

    Lisp implementation of Lurk.

    Common Lisp 71 7

  6. solidity-verifier solidity-verifier Public

    Solidity implementation of Nova proving system verifier

    Solidity 63 12

Repositories

Showing 10 of 46 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…
0