3 ms·
> There have been many solutions proposed to smart contract safety, ranging from better development environments to better programming languages to formal verif
by tdaltonc 10y ago
> There have been many solutions proposed to smart contract safety, ranging from better development environments to better programming languages to formal verification and symbolic execution . . .
Why is 'human arbitration as a last resort' not on this list?
- kahnpro 10y agoI thought one of the goals was for the currency to be outside the influence of humans. Unless this arbitration is somehow built into the network and depends on the majority. Which still isn't a great solution.
- tdaltonc 10y agoA lot of projects have ambitions that they can't accomplish on day 1. It would be a safety net. If everything goes right, then it won't get used.