The Kaspa implementation features a wide range of interesting characteristics like Reachability to question the DAG's topology, Block data pruning (with close to-potential designs for block header pruning), SPV proofs, https://hamzahpodt957274.blogzet.com/getting-my-kas77-to-work-44023082