The types module of proof_gen was doing a bunch of re-exports that could be done directly at evm_arithmetization root level. This is also a first step towards getting rid entirely of this crate.
This also hides away all the prover specific associated types (Field / Config / DEGREE). These public types haven't been put into the common crate because of circular dependency with evm_arithmetization, so instead placed in a public_types module in the latter.
Doesn't fully address #531 though, so not closing for now.
The
typesmodule ofproof_genwas doing a bunch of re-exports that could be done directly atevm_arithmetizationroot level. This is also a first step towards getting rid entirely of this crate.This also hides away all the prover specific associated types (
Field/Config/DEGREE). These public types haven't been put into thecommoncrate because of circular dependency withevm_arithmetization, so instead placed in apublic_typesmodule in the latter.Doesn't fully address #531 though, so not closing for now.