Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme

1. lurk-beta

   1 6 448 5.5 Rust

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

   

   Nova (for example) doesn't require a trusted setup. The circuit is just a schematic description of the underlying computation. In the case of the Lurk core language, this computation is 'one reduction step of a Lurk evaluation' (https://github.com/lurk-lang/lurk-rs/blob/master/spec/reduct...). Coming up with a 'fixed computation' that yields general computation is part of the design problem for Lurk (or any other Lurk-like language). Even if we did need a per-circuit trusted setup (which we don't), we could perform such a setup for our core circuit and use it to prove arbitrary programs. For example, although we have not actually performed the trusted setup, we do have an example using Groth16 (which does require a trusted setup to be secure) and aggregates the potentially many discrete reduction steps to produce a succinct proof.

2. CodeRabbit

   coderabbit.ai featured

   CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

   

3. zexe

   2 2 9 10.0 Rust

   Rust library for decentralized private computation

   I wonder how this compares to something like zexe (https://github.com/brucechin/zexe). This domain interests me although I have little practical knowledge/experience in it.

4. pact

   3 4 591 6.2 Haskell

   The Pact Smart Contract Language

   

5. Nova

   4 6 746 7.8 Rust

   Nova: High-speed recursive arguments from folding schemes (by microsoft)

   

   Arkworks isn't really addressing the core of what Lurk provides. In theory, we could use Arkworks to implement a backend — but we are targeting Nova (https://github.com/microsoft/Nova), and I don't think Arkworks supports Nova currently. So the part we are building from scratch (the language itself) is at a higher level of abstraction. We like Nova's characteristics and are actively helping with aspects of its implementation so we can use it as soon as possible.

6. alucard

   5 1 18 0.0 Common Lisp

   A common lisp DSL for writing zero knowledge circuits

   

   hi this is very interesting. why is there a common lisp and rust version? digging through i also found Alu [0], another common lisp project for zk circuits. since you are using common lisp and static typing is important to you are you aware of coalton [1]?

   [0] https://github.com/heliaxdev/alu

7. coalton

   6 88 1,269 9.4 Common Lisp

   Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

   

Suggest a related project