Neither of those use TIGHT Proofs of Replication, and neither of these have not just a decentralized startup configuration but an uncentralizability guarantee,

Neither of those use TIGHT Proofs of Replication, and neither of these have not just a decentralized startup configuration but an uncentralizability guarantee, that makes them significantly less useful than they seem. This so far affects pretty much all DLT implementations in general. And none of them have certified deletion from untrusted devices.