Macro impl_proof 

macro_rules! impl_proof {
    (
     $NapiG: ty,
     $G: ty,
     $NapiF: ty,
     $F: ty,
     $NapiPolyComm: ty,
     $NapiSrs: ty,
     $NapiIndex: ty,
     $NapiVerifierIndex: ty,
     $NapiVecVec: ty,
     $field_name: ident,
     $NapiRuntimeTable: ty,
     ) => { ... };
}