refactor: move prove_from_frames into Prover trait

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

refactor: move prove_from_frames into Prover trait #1238

Closed arajasek closed 2 months ago

arajasek commented 2 months ago

Closes #1217.

Adds lang() method to the Prover trait
Adds prove_from_frames() method to the Prover trait with the default implementation extracted from both Nova and SuperNova
Adds a new from_frames() method to the Prover trait to assist the prove_from_frames() method
- Better name suggestions welcome here

arajasek commented 2 months ago

Force-pushed to fix up linter, sorry about that.