pub type RingVerifier = RingVerifier<Fp<MontBackend<FrConfig, 4>, 4>, KZG<Bls12<Config>>, BandersnatchConfig>;