pub trait ProverDevice<PB: ProverBackend>:
TraceCommitter<PB>
+ RapPartialProver<PB>
+ QuotientCommitter<PB>
+ OpeningProver<PB> { }
pub trait ProverDevice<PB: ProverBackend>:
TraceCommitter<PB>
+ RapPartialProver<PB>
+ QuotientCommitter<PB>
+ OpeningProver<PB> { }