Function leo_state::local_data_commitment::local_data_commitment::verify_local_data_commitment

pub fn verify_local_data_commitment(
    dpc: &SystemParameters<Components>, 
    ast_input: &AstInput
) -> Result<bool, LocalDataVerificationError>

Returns true if the path to the local data commitment leaf is a valid path in the record commitment Merkle tree.