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>
signature.asc
Description: PGP signature
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
