The Kaspa implementation includes a lot of amazing options such as Reachability to question the DAG's topology, Block knowledge pruning (with in the vicinity of-potential programs for block header pruning), SPV proofs, https://keiranwiyp907880.uzblog.net/5-simple-statements-about-kas77-explained-43834997