mina_tree::scan_state::pending_coinbase

Function checked_verify_merkle_path

Source 
pub fn checked_verify_merkle_path(
    account: &Stack,
    merkle_path: &[MerklePath],
    w: &mut Witness<Fp>,
) -> Fp
Expand description

implied_root in OCaml