The Kaspa implementation features a lot of awesome features for example Reachability to question the DAG's topology, Block facts pruning (with around-potential programs for block header pruning), SPV proofs, and https://brianjqhq967211.wikiparticularization.com/899868/an_unbiased_view_of_kas77