pub trait Halo2ParamsReader { // Required method fn read_params(&self, k: usize) -> Arc<Halo2Params>; }