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