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

argumentcomputer / lurk-beta

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

Apache License 2.0

434 stars 56 forks source link

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

Closed arthurpaulino closed 7 months ago

arthurpaulino commented 7 months ago

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

arthurpaulino commented 7 months ago

!gpu-benchmark

arthurpaulino commented 7 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: