[langsec-discuss] Ethereum cryptocurrency fundamentally unsound?
carter.schonwald at gmail.com
Wed Jul 27 18:24:31 UTC 2016
yes it is unsound. in some respects its worse than C / PDP11 style systems.
but without the decades of investment in software assurance tools that
still aren't where they should be
please note that this is my professional/personal opinion as a PL /
computer science researcher, and is strictly my opinion rather than
official stance of any organizations i may or may not be affiliated with :)
On Wed, Jul 27, 2016 at 1:38 PM, Nils Dagsson Moskopp <
nils at dieweltistgarnichtso.net> wrote:
> I have a question regarding the Ethereum cryptocurrency: If Ethereum
> contracts (i.e. programs for the Ethereum virtual machine) can be turing
> complete, does that mean that it is impossible to verify their behaviour
> in general? It seems to me the foundations of Ethereum are not sound.
> For more Information, see: <https://en.wikipedia.org/wiki/Ethereum>
> Nils Dagsson Moskopp // erlehmann
> langsec-discuss mailing list
> langsec-discuss at mail.langsec.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the langsec-discuss