• [^] # Re: Turing complet ?

    Posté par (site web personnel, Mastodon) . En réponse au journal Ethereum, désormais officiellement lancé. Évalué à 4.

    La doc' dit "quasiment Turing-complet". En effet, une machine de Turing a normalement des ressources infinies alors que la machine virtuelle Ethereum est délibérement limitée (le "il faut payer" du journal). Au moment où on lance une transaction, on lui alloue des ethers et, si elle les épuise avant d'avoir terminé, la transaction est annulée, tout revient à l'état initial et on a perdu ses ethers (d'où les nombreux calculateurs qui vous disent à l'avance combien de temps prendra votre transaction, pour éviter cette triste surprise).

    C'est en effet ce problème qui fait que Bitcoin, sagement, n'avait pas un langage Turing-complet.