[LUR-37] Supernova benchmarking gap

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

[LUR-37] Supernova benchmarking gap #1219

Closed huitseeker closed 3 months ago

huitseeker commented 3 months ago

@arthurpaulino raised the issue that SuperNova benchmarks are insufficient to judge the speed of optimizations to folding in https://github.com/lurk-lab/lurk-rs/pull/1215#discussion_r1528484340

He's to give details here.

_LUR-37

arthurpaulino commented 3 months ago

There's not much to say though. We simply don't have benchmarks that really stress the SuperNovaProver yet.