type NonSnarkVerificationKeyHash = Option<Fp>;
enum NonSnarkVerificationKeyHash { None, Some(Fp<MontBackend<FqConfig, 4>, 4>), }
No value.
Some value of type T.
T