The Kaspa implementation includes a lot of amazing attributes for example Reachability to query the DAG's topology, Block facts pruning (with around-potential designs for block header pruning), SPV proofs, and later on https://alexiaczlp103802.muzwiki.com/user