lurk-lab/lurk-beta
View on GitHub ↗ ★ 453 Rust
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
6 mentions on Hacker News by 2 people: 0 stories, 6 comments · first 2022-07-06 · latest 2022-12-01
20082026
-
…succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation ( https://github.com/lurk-lang/lurk-rs ) for expression evaluation, proving, and verification, with Nova ( https://github.com/microsoft/Nova/ )…
comment by jpgross3 · 2022-12-01 · in Ask HN: Who is hiring? (December 2022) -
…succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation ( https://github.com/lurk-lang/lurk-rs ) for expression evaluation, proving, and verification, with Nova ( https://github.com/microsoft/Nova/ )…
comment by porcuquine · 2022-11-01 · in Ask HN: Who is hiring? (November 2022) -
…published a fairly detailed blog post about how to formulate expressive provable programs in Lurk ( https://github.com/lurk-lang/lurk-rs ). Although this post goes into no details about the underlying proving mechanism, it does build to…
comment by porcuquine · 2022-10-12 · in How to prove you know a secret without giving it away -
…succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation ( https://github.com/lurk-lang/lurk-rs ) for expression evaluation, proving, and verification, with Nova ( https://github.com/microsoft/Nova/ )…
comment by jpgross3 · 2022-10-03 · in Ask HN: Who is hiring? (October 2022) -
…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…
comment by porcuquine · 2022-07-06 · in Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme -
…with exactly this situation. The examples need a lot of work, but you can see the idea here: https://github.com/lurk-lang/lurk-rs/tree/master/fcomm This WIP commit adapts the example to use a more explicit form of commitments and should…
comment by porcuquine · 2022-07-06 · in Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme