mina_tree::proofs::transaction::transaction_snark

Function check_signature

Source 
fn check_signature(
    shifted: &InnerCurve<Fp>,
    payload: &TransactionUnionPayload,
    is_user_command: Boolean,
    signer: &PubKey,
    signature: &Signature,
    w: &mut Witness<Fp>,
)