verify_merkle_path

mithril_stm::circuits::halo2::gadgets

Function verify_merkle_path 

Source 
pub fn verify_merkle_path(
    std_lib: &ZkStdLib,
    layouter: &mut impl Layouter<JubjubBase>,
    vk: &AssignedNativePoint<Jubjub>,
    target: &AssignedNative<JubjubBase>,
    merkle_root: &AssignedNative<JubjubBase>,
    merkle_siblings: &[AssignedNative<JubjubBase>],
    merkle_positions: &[AssignedBit<JubjubBase>],
) -> Result<(), Error>