The Kaspa implementation features a lot of awesome attributes such as Reachability to question the DAG's topology, Block knowledge pruning (with around-long run programs for block header pruning), SPV proofs, and later https://kobitrcn013482.law-wiki.com/894720/not_known_details_about_kas77