pub type SnarkAmount = CheckedAmount<Fp>;
pub struct SnarkAmount(Fp256<FpParameters>);
0: Fp256<FpParameters>