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 :) -Carter On Wed, Jul 27, 2016 at 1:38 PM, Nils Dagsson Moskopp < n...@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@mail.langsec.org > https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss > >
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
