issues
search
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)
https://lurk-lang.org/
Apache License 2.0
427
stars
54
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore: Rename to argument
#1261
samuelburnham
opened
1 month ago
0
chore(deps): update halo2curves requirement from 0.6.0 to 0.7.0 in the rust-dependencies group
#1260
dependabot[bot]
opened
1 month ago
1
chore: rust toolchain needs an upgrade
#1259
github-actions[bot]
opened
1 month ago
0
chore(deps): update vergen requirement from 8 to 9
#1258
dependabot[bot]
opened
2 months ago
0
chore: some installed deps are not needed
#1257
github-actions[bot]
opened
2 months ago
0
chore(deps): update generic-array requirement from 0.14.7 to 1.1.0
#1256
dependabot[bot]
closed
2 months ago
1
chore(deps): bump the rust-dependencies group with 3 updates
#1255
dependabot[bot]
closed
2 months ago
0
chore(deps): update dashmap requirement from 5.5.0 to 6.0.1
#1254
dependabot[bot]
closed
2 months ago
1
chore(deps): bump the rust-dependencies group across 1 directory with 2 updates
#1253
dependabot[bot]
closed
2 months ago
0
chore: Update Rust toolchain
#1252
huitseeker
closed
2 months ago
0
chore: rust toolchain needs an upgrade
#1251
github-actions[bot]
closed
2 months ago
0
chore(deps): update statrs requirement from 0.16.0 to 0.17.1 in the rust-dependencies group
#1250
dependabot[bot]
closed
2 months ago
1
chore(deps): update syn requirement from 1.0.109 to 2.0.66
#1249
dependabot[bot]
closed
3 months ago
2
chore(deps): update metrics requirement from 0.22.0 to 0.23.0 in the rust-dependencies group
#1248
dependabot[bot]
closed
3 months ago
0
chore: Maintenance and update toolchain version
#1247
huitseeker
closed
3 months ago
0
chore(deps): update syn requirement from 1.0.109 to 2.0.65
#1246
dependabot[bot]
closed
3 months ago
1
chore(deps): update itertools requirement from 0.12 to 0.13 in the rust-dependencies group
#1245
dependabot[bot]
closed
3 months ago
0
chore(deps): update syn requirement from 1.0.109 to 2.0.63
#1244
dependabot[bot]
closed
3 months ago
1
error: inline assembly requires more registers than available
#1243
pgrinaway
opened
4 months ago
2
chore(deps): update syn requirement from 1.0.109 to 2.0.60
#1242
dependabot[bot]
closed
4 months ago
1
chore: minor changes in `StoreCore`
#1241
arthurpaulino
closed
4 months ago
0
chore: factor out `StoreCore`
#1240
arthurpaulino
closed
5 months ago
5
chore(deps): update syn requirement from 1.0.109 to 2.0.59
#1239
dependabot[bot]
closed
4 months ago
1
refactor: move prove_from_frames into Prover trait
#1238
arajasek
closed
5 months ago
1
chore: generalize compact interning and fetching
#1237
arthurpaulino
closed
5 months ago
0
chore(deps): bump peaceiris/actions-gh-pages from 3 to 4
#1236
dependabot[bot]
closed
5 months ago
0
chore(deps): update syn requirement from 1.0.109 to 2.0.58
#1235
dependabot[bot]
closed
5 months ago
1
chore(deps): update syn requirement from 1.0.109 to 2.0.57
#1234
dependabot[bot]
closed
5 months ago
1
Nightly run failed
#1233
github-actions[bot]
opened
5 months ago
128
chore: rust toolchain needs an upgrade
#1232
github-actions[bot]
closed
3 months ago
0
chore(deps): update syn requirement from 1.0.109 to 2.0.55
#1231
dependabot[bot]
closed
5 months ago
1
chore(deps): bump the rust-dependencies group with 1 update
#1230
dependabot[bot]
closed
5 months ago
0
Chain server pt2
#1229
arthurpaulino
opened
5 months ago
0
ci: Fix M1 Mac test
#1228
samuelburnham
closed
5 months ago
0
feat: stream mode for chain-server
#1227
arthurpaulino
closed
5 months ago
3
refactor: witness caching skips the 1st witness.
#1226
huitseeker
closed
5 months ago
6
Revert "feat: witness caching now operates on a bounded buffer"
#1225
arthurpaulino
closed
5 months ago
10
Expand `chain` and `call` to use generic callables
#1224
arthurpaulino
opened
6 months ago
0
chore: rollback `call` and `chain` to accept a single argument
#1223
arthurpaulino
opened
6 months ago
0
chore(deps): update syn requirement from 1.0.109 to 2.0.53
#1222
dependabot[bot]
closed
5 months ago
1
A better design for Z data
#1221
arthurpaulino
closed
5 months ago
0
feat: simple NIVC benchmark with the Trie coprocessors
#1220
arthurpaulino
closed
6 months ago
0
[LUR-37] Supernova benchmarking gap
#1219
huitseeker
closed
6 months ago
1
chore: folding at `i` demands witness caching at `i+1` and `i+2`
#1218
arthurpaulino
closed
6 months ago
2
Move `lang` and `prove_from_frames` to the `Prover` trait
#1217
arthurpaulino
closed
5 months ago
0
Coroutine support for `Op::Recv` and `Op::Emit`
#1216
arthurpaulino
opened
6 months ago
0
feat: witness caching now operates on a bounded buffer
#1215
huitseeker
closed
6 months ago
3
refactor: Refactor proof handling for ownership and borrowing
#1214
huitseeker
closed
6 months ago
2
Coroutine refactor
#1213
gabriel-barrett
closed
6 months ago
0
chore(deps): update rustyline requirement from 13.0 to 14.0
#1212
dependabot[bot]
closed
6 months ago
0
Next