The Kaspa implementation features a great deal of neat attributes for instance Reachability to question the DAG's topology, Block facts pruning (with near-long term programs for block header pruning), SPV proofs, and https://nettiejcrc665844.angelinsblog.com/29190581/the-kas77-diaries