GM décembre. Voici à renforcer l'exécution décentralisée pour des applications réelles et à faire avancer un calcul évolutif, expressif et vérifiable sécurisé par des preuves de fraude, peu importe le mois ou le calendrier.