J’ai défendu mon projet de fin d’études à l’université il y a quelques semaines : un système de vote sur blockchain pour les élections universitaires, avec vérification d’identité Keccak256. Six mois de travail. Puis j’ai lu l’analyse de BonkDAO cette semaine : 20 millions de dollars volés sans qu’aucune ligne de code soit vulnérable. L’attaquant a simplement acheté suffisamment de jetons pour faire passer la proposition. Mon système aurait cédé de la même manière. Le code était propre, le hachage d’identité fonctionnait, les checks-effects-interactions étaient appliqués partout. Mais je n’ai jamais modélisé la couche économique. Je n’ai jamais demandé ce qui se passait lorsque le coût pour acquérir le pouvoir de vote tombait en dessous de la valeur de ce que le vote contrôlait. Mon jury n’a pas non plus repéré ce défaut, car ce n’est pas là que tout le monde regarde à l’université. L’écart entre le fait que votre code soit correct et que le système soit sécurisé, c’est là que réside le vrai travail. C’est cette partie que je choisis de concentrer les prochaines années.