mina_tree::proofs::transaction::transaction_snark

Function checked_signature_verify_impl

Source 
pub fn checked_signature_verify_impl(
    shifted: &InnerCurve<Fp>,
    signer: &PubKey,
    signature: &Signature,
    hash: &[bool; 255],
    w: &mut Witness<Fp>,
) -> Boolean