Luca Aceto

Ce papier parle de la sécurisation des contrats intelligents grâce à un système de type axé sur l'intégrité.

Un aperçu de la façon dont différents systèmes de surveillance vérifient des comportements complexes.

Un nouveau système de type garantit que les contrats intelligents fonctionnent sans accroc sans soucis de gaz.