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> { }