Macro impl_verification_key 

macro_rules! impl_verification_key {
    (
     $NapiG: ty,
     $G: ty,
     $NapiF: ty,
     $F: ty,
     $NapiPolyComm: ty,
     $NapiSrs: ty,
     $GOther: ty,
     $FrSpongeParams: path,
     $FqSpongeParams: path,
     $NapiIndex: ty,
     $field_name: ident
     ) => { ... };
}