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

Beginner friendly Everything

Open All

Following installation instructions leads to failure Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

lurk-lab/lurk#440 · Opened Feb 17, 2026
Implement workaround for sharding Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lurk-lab/lurk#437 · Opened Mar 13, 2025
Add a non-hiding commitment tag Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lurk-lab/lurk#434 · Opened Mar 4, 2025
Make `fail` accept an arbitrary number of arguments Open

Difficulty 3/5 1-2 days Newbie friendliness 38/100

lurk-lab/lurk#433 · Opened Mar 4, 2025
Make `!` actually optional when reading meta commands Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

lurk-lab/lurk#427 · Opened Feb 18, 2025
Change printed representation of hex digests Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lurk-lab/lurk#416 · Opened Jan 23, 2025
The symbol separator cannot be escaped when parsing symbols Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#415 · 1 comment · Opened Jan 20, 2025
Investigate Fix behavior when used as plain data Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

lurk-lab/lurk#412 · Opened Jan 17, 2025
Misc reader bugs Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lurk-lab/lurk#401 · Opened Dec 18, 2024
REPL "hangs" on every parser error, even when it shouldn't Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lurk-lab/lurk#400 · 2 comments · Opened Dec 18, 2024
dev needs to be rebased on main Open

automated issue upstream

Difficulty 1/5 Under an hour Newbie friendliness 35/100

lurk-lab/neptune#282 · 6 comments · Opened Dec 4, 2024
Report proof sizes Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#389 · Opened Nov 13, 2024
`microchain-get-log` meta command Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

lurk-lab/lurk#388 · Opened Nov 13, 2024
!(inspect) should print in current package. Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#386 · Opened Nov 12, 2024
unbound var error should report the name of the unbound var Open

Difficulty 3/5 1-2 days Newbie friendliness 25/100

lurk-lab/lurk#382 · Opened Nov 9, 2024
support destructuring Funs Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#378 · Opened Nov 8, 2024
add proof-manipulation to Lurk CLI Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lurk-lab/lurk#377 · 1 comment · Opened Nov 8, 2024
print commitments with uniform width Open

Difficulty 2/5 1-3 hours Newbie friendliness 55/100

lurk-lab/lurk#376 · Opened Nov 8, 2024
escape quotes in strings and characters Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#364 · Opened Nov 5, 2024
apply should not explicitly evaluate the arguments to be applied Open

bug

lurk-lab/lurk#358 · 1 assignee · Opened Nov 1, 2024
Eliminate `eqq` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lurk-lab/lurk#344 · Opened Oct 24, 2024
Fix `=` behavior Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lurk-lab/lurk#343 · Opened Oct 24, 2024
Minor parser corner cases Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lurk-lab/lurk#342 · Opened Oct 24, 2024
Multiple preloaded files Open

good first issue

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#340 · Opened Oct 21, 2024
Queries on the efficiency of constructing Merkle trees using Neptune Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

lurk-lab/neptune#281 · Opened Oct 14, 2024
Unwanted memoization effect Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lurk-lab/lurk#323 · Opened Oct 2, 2024
Update env variables when possible Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lurk-lab/lurk#319 · Opened Oct 1, 2024
Trace generation and Lair code generation for Loam backend Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

lurk-lab/lurk#304 · Opened Sep 18, 2024
Utf8 panic when interning non-utf8 chars Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lurk-lab/lurk#277 · Opened Sep 2, 2024
Link Checker Report Open

automated issue report

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

lurk-lab/awesome-folding#22 · Opened Sep 1, 2024
Add test with >1 shards for lurk proof Open

lurk-lab/lurk#259 · 1 assignee · Opened Aug 28, 2024
env must be readable Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

lurk-lab/lurk#222 · Opened Aug 16, 2024
function printing Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lurk-lab/lurk#215 · Opened Aug 15, 2024
Benchmarking wishlist Open

Difficulty 5/5 Over a week Newbie friendliness 18/100

lurk-lab/lurk#200 · Opened Aug 12, 2024
Missing items Open

Difficulty 1/5 1-3 hours Newbie friendliness 58/100

lurk-lab/awesome-folding#20 · 1 comment · Opened Aug 4, 2024
chore: rust toolchain needs an upgrade Open

automated-issues debt

Difficulty 1/5 Under an hour Newbie friendliness 55/100

lurk-lab/lurk-beta#1259 · Opened Jul 27, 2024
cleanup: Replace `into_word` with `Borrow<Word<T>>` Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

lurk-lab/lurk#166 · Opened Jul 24, 2024
Thorough tests for `eval` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lurk-lab/lurk#141 · Opened Jul 12, 2024
chore: some installed deps are not needed Open

automated-issue

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

lurk-lab/lurk-beta#1257 · Opened Jul 11, 2024
Compute memory widths on compilation Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lurk-lab/lurk#128 · Opened Jul 5, 2024
Changes to support loam Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

lurk-lab/lurk#124 · 6 comments · 1 reaction · Opened Jul 4, 2024
Use compact representations for content-addressing Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lurk-lab/lurk#121 · Opened Jun 30, 2024
Sphinx wishlist Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

lurk-lab/lurk#107 · Opened Jun 24, 2024
Fix `sphinx` lookup Open

lurk-lab/lurk#96 · 1 assignee · Opened Jun 19, 2024
Poseidon 2 integration Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

lurk-lab/lurk#60 · Opened Jun 6, 2024
Poseidon 2: move round constants generation from sage to rust. Open

lurk-lab/lurk#59 · 1 assignee · Opened Jun 6, 2024
Explore parallelizing Poseidon2 `generate_round_trace` Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

lurk-lab/lurk#56 · Opened Jun 5, 2024
Lair improvements Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

lurk-lab/lurk#45 · Opened Jun 1, 2024
Interpreter issues Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lurk-lab/lurk#44 · Opened Jun 1, 2024
error: inline assembly requires more registers than available Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

lurk-lab/lurk-beta#1243 · 2 comments · Opened Apr 30, 2024

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

lurk-lab

Showing the newest 100

Get new issues in your inbox