.@celestia a adopté l'approche "développer d'abord les propriétés de sécurité difficiles" ce qui signifie DAS + sécurité économique en premier lieu plutôt que de le remettre à plus tard. Était-ce la décision la plus optimale ? Je ne sais pas, mais cela a forcé l'équipe à développer une expertise pour fournir de véritables garanties tout en améliorant les performances. J'ai hâte de faire progresser l'état de l'art tant en matière de performances que de garanties de sécurité à des niveaux démesurés.