[exabrial]

Is Etherium not formally proven? One would think that would be a check box among many things for a financial interchange system...

[mannykannot]

It is not even close. Nor is any other financial interchange system, but they have external checks, balances, and a formalized way to correct errors.