Macro impl_bbs_prover_statement 

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