kaspa_consensus::processes::reachability::tests

Function build_transitive_closure

source 
pub fn build_transitive_closure<S: RelationsStoreReader + ?Sized, V: ReachabilityStoreReader + ?Sized>(
    relations: &S,
    reachability: &V,
    hashes: &[Hash],
) -> TransitiveClosure
Expand description

Builds a full DAG reachability matrix of all block pairs (B, C) ∈ G x G by querying the reachability oracle. The function also asserts this matrix against a closure reference obtained by explicit past traversals