mina_tree::proofs::transaction::transaction_snark

Function main

Source 
pub fn main(
    statement_with_sok: &Statement<SokDigest>,
    tx_witness: &TransactionWitnessStableV2,
    w: &mut Witness<Fp>,
) -> Result<()>