chore: folding at `i` demands witness caching at `i+1` and `i+2`

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

chore: folding at `i` demands witness caching at `i+1` and `i+2` #1218

Closed arthurpaulino closed 3 months ago

arthurpaulino commented 3 months ago

Make folding, in the main thread, be the driving force that demands caching witnesses for the next two MultiFrames.

arthurpaulino commented 3 months ago

!gpu-benchmark

arthurpaulino commented 3 months ago

I'm closing due to performance drop. But here is the memory consumption on a experiment similar to the one made in #1103: main: Captura de tela de 2024-03-18 15-27-56 ap/super-tight-cached-witness-buffering: