Une séquence vérifiable est requise pour les applications sensibles à la microstructure afin d'être entièrement sur la chaîne.