The Kaspa implementation includes a number of cool features such as Reachability to question the DAG's topology, Block details pruning (with close to-future plans for block header pruning), SPV proofs, and later https://laylatxog815911.thelateblog.com/29712428/kas77-no-further-a-mystery