pub fn generate_proof_rng(
identity: &Identity,
merkle_proof: &InclusionProof<Poseidon>,
external_nullifier_hash: Field,
signal_hash: Field,
rng: &mut impl Rng,
) -> Result<Proof, ProofError>
pub fn generate_proof_rng(
identity: &Identity,
merkle_proof: &InclusionProof<Poseidon>,
external_nullifier_hash: Field,
signal_hash: Field,
rng: &mut impl Rng,
) -> Result<Proof, ProofError>