argumentcomputer/lurk-rs

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

arthurpaulino opened this issue · 0 comments

arthurpaulino commented

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