[langsec-discuss] Ethereum cryptocurrency fundamentally unsound?

Carter Schonwald 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:

> Hi,
> 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>
> Greetings,
> --
> Nils Dagsson Moskopp // erlehmann
> <http://dieweltistgarnichtso.net>
> _______________________________________________
> langsec-discuss mailing list
> langsec-discuss at mail.langsec.org
> https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20160727/49858aa5/attachment.html>

More information about the langsec-discuss mailing list