It's also a prime example of why obscured blockchains are toast because the rot would still be in there festering and atrophying the integrity of the asset courtesy of a total absence of transparency.
blablablub ...
The big problem with obscured blockchain is already in the name - it's obscured - so if something like DOAs disaster will happen with an obscured blockchain, you won't even see that it happened and that the funds were stolen - because the blockchain is obscured !!! And that's that big problem ! - mathematical proof or not, if you can't see if something is going wrong - than your mathematical proof won't do a shit ...