pub type SnarkIndex = CheckedIndex<Fp>;
pub struct SnarkIndex(Fp256<FpParameters>);
0: Fp256<FpParameters>