[langsec-discuss] Ethereum cryptocurrency fundamentally unsound?

Nils Dagsson Moskopp nils at dieweltistgarnichtso.net
Wed Jul 27 17:38:36 UTC 2016


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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20160727/a5f673f3/attachment.sig>

More information about the langsec-discuss mailing list