Move `lang` and `prove_from_frames` to the `Prover` trait

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

Move `lang` and `prove_from_frames` to the `Prover` trait #1217

Closed arthurpaulino closed 6 months ago

arthurpaulino commented 7 months ago

Both NovaProver and SuperNovaProver implement those functions. So let's move them to the Prover trait instead.