refactor: move prove_from_frames into Prover trait #2438

Job	Run time
linux	10m 3s
code-quality / lints	6m 15s
msrv / msrv	1m 6s
wasm / wasm-build	1m 7s
licenses-audits / cargo-deny (advisories, licenses, bans, ...)	48s
link-checker / linkChecker	10s
	19m 29s

Provide feedback