pub fn create_slash_proof(
secret: Base,
user_msg_limit: u64,
identities_tree: &mut SmtMemoryFp,
slash_pk: &ProvingKey,
) -> Result<(Proof, Base)>pub fn create_slash_proof(
secret: Base,
user_msg_limit: u64,
identities_tree: &mut SmtMemoryFp,
slash_pk: &ProvingKey,
) -> Result<(Proof, Base)>