ps_sig
macro_rules! impl_PoK_VC { ( $ProverCommitting:ident, $ProverCommitted:ident, $Proof:ident, $group_element:ident, $group_element_vec:ident ) => { ... }; }