Owner

lurk-lab

15 indexed repositories · View on GitHub

• lurk-beta

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

  Rust · 452 stars

• neptune

  Rust Poseidon implementation (contact: @porcuquine)

  Rust · 345 stars

• awesome-folding

  A curated list of zero-knowledge folding schemes

  311 stars

• lurk

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

  Rust · 166 stars

• lurk-lisp

  Lisp implementation of Lurk.

  Common Lisp · 79 stars

• solidity-verifier

  Solidity implementation of Nova proving system verifier

  Solidity · 66 stars

• neptune-triton

  Futhark implementation of neptune-compatible Poseidon.

  C · 28 stars

• circom-scotia

  Rust · 24 stars

• lurk-lib

  Shared Lurk source code, including tests and library code.

  18 stars

• bellpepper-gadgets

  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)

  Rust · 18 stars

• lurk-web-utils

  Tools for developing Lurk on the web

  JavaScript · 5 stars

• lurk-vscode

  Support for Lurk in the VS Code IDE (contact: @arthurpaulino)

  TypeScript · 3 stars

• collaborations

  A repository to support ongoing Lurk collaborations

  0 stars

• lurk-emacs

  Emacs IDE functionality for lurk

  Emacs Lisp · 0 stars

• template-circom-gadget

  Base template that can be leveraged to create a Circom Gadget available remotly for our Circom Coprocessor

  JavaScript · 0 stars