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

feat: stream mode for chain-server #1227

Closed arthurpaulino closed 5 months ago

arthurpaulino commented 6 months ago

Implements the stream mode for the chain-server, which outputs compressed proofs about the entire stream history while using previous recursive proofs as checkpoints.

Closes #1173

arthurpaulino commented 6 months ago

Sam wants to test something, so !gpu-benchmark

github-actions[bot] commented 6 months ago

!gpu-benchmark action failed :x:

https://github.com/lurk-lab/lurk-rs/actions/runs/8381859886

arthurpaulino commented 6 months ago

@huitseeker I will write a sequel to #1173