argumentcomputer/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)
RustApache-2.0
Issues
- 4
Cuda build feature issue
#1075 opened - 0
chore: some installed deps are not needed
#1073 opened - 0
chore: rust toolchain needs an upgrade
#1072 opened - 0
[LUR-31] SHA256 IVC example failure
#1065 opened - 0
:rotating_light: Performance regression in #1056
#1059 opened - 0
:rotating_light: Performance regression in #1048
#1058 opened - 0
:rotating_light: Performance regression in #964
#1055 opened - 0
ci: Check that tests compile on Wasm
#1054 opened - 0
LEM improvements
#1051 opened - 0
Make MemoSet provable with Lurk
#1043 opened - 0
- 0
Memoset documentation
#1041 opened - 3
CI: `linux-arm` job sometimes fails on `taiki-e/install-action@nextest` with checksum error
#1036 opened - 0
- 0
- 4
[LUR-27] CI: Reject large perf regressions
#1028 opened - 0
- 0
- 0
[LUR-23] Activate "asm" feature when using Bn256
#1022 opened - 0
Potential recursion depth limit in `ZDag`
#1021 opened - 0
- 0
[LUR-21] Remove the MultiFrameTrait trait
#1015 opened - 0
[LUR-20] Remove MultiframeTrait
#1014 opened - 4
Proof serialization
#1006 opened - 1
[LUR-19] ci: Fibonacci benchmark broken
#1001 opened - 0
- 0
Fix fibonacci iteration count formula
#990 opened - 2
Nightly run failed
#989 opened - 0
[LUR-18] CI: dependabot config bug
#985 opened - 2
[LUR-12] CI: check for unused dependencies
#983 opened - 2
REPL with worse performance characteristics
#981 opened - 0
Revamp `GlobalAllocator`
#980 opened - 0
Coprocessors' global constant allocations
#979 opened - 0
[LUR-11] Use expect_test in tests checking the number of constraints / variables in circuit
#976 opened - 0
[LUR-10] Versioning and Readme fixes
#975 opened - 1
Maige Usage
#973 opened - 1
Refactor eval tests to use expected_test
#972 opened - 0
`now` meta command
#971 opened - 0
`bind-last` meta command
#970 opened - 0
Maige Usage
#969 opened - 2
- 0
CI: set up benchmark history visualization
#960 opened - 0
- 0
`apply` builtin operator
#950 opened - 2
- 1
CI: caching logic uses the wrong cache file
#946 opened - 0
`list` builtin operator
#944 opened - 0
- 0
Add a CITATION.cff to the repo
#919 opened - 1
Extend Prover
#912 opened