Macro proof_system::impl_bbs_verifier_statement

macro_rules! impl_bbs_verifier_statement {
    ($params: ident, $stmt: ident, $setup_param_name: ident) => { ... };
}