pub type SnarkIndex = CheckedIndex<Fp>;
pub struct SnarkIndex(Fp<MontBackend<FqConfig, 4>, 4>);
0: Fp<MontBackend<FqConfig, 4>, 4>