636 / 736BK20

Softwar

Jason P. Lowery sur Proof of Work et la sécurité stratégique

Softwar se demande si le travail de calcul peut protéger autre chose que les paiements en Bitcoin. Jason P. Lowery relie énergie, coût des attaques et puissance des États. Suivre son raisonnement suppose de distinguer le fonctionnement réel de Bitcoin de la théorie plus large qu’il bâtit autour.

Cette thèse de 2023 envisage Bitcoin comme un outil possible de sécurité et de projection de puissance. Elle part d’une question simple : que change le fait d’imposer un véritable travail de calcul à l’auteur d’une attaque numérique ?

Jason P. Lowery a présenté Softwar au MIT en 2023, dans le programme System Design and Management, pour obtenir le diplôme de Master of Science in Engineering and Management. Il y étudie Bitcoin sous l’angle de la sécurité et de la stratégie nationale. Ce panorama s’appuie sur la thèse publique. Le cadre universitaire situe l’auteur, son objectif et son travail ; il ne prouve pas à lui seul la justesse des conclusions. [1] [2]

Imaginez quelqu’un qui inonde un site de requêtes automatiques. En envoyer une de plus coûte souvent peu, alors que le serveur doit la traiter. Si chaque requête exigeait de résoudre un problème de calcul, saturer le site deviendrait plus coûteux. C’est notre exemple simplifié de l’intervention de coûts physiques dans un environnement numérique. Proof of Work exploite l’écart entre la difficulté à trouver un résultat et la facilité à le vérifier. Dans Bitcoin, les mineurs font ce travail pour produire des blocs ; un utilisateur ordinaire n’a pas à miner pour chaque paiement. Lowery cherche jusqu’où étendre ce principe. [2]

Power Projection Theory est le cadre proposé par Lowery pour penser la dissuasion par le coût d’une attaque. Il passe des organismes en concurrence pour des ressources aux sociétés humaines, puis aux réseaux informatiques. Selon lui, la dépense d’énergie peut introduire des coûts physiques dans les conflits autour de ressources numériques. Ces rapprochements constituent son argumentation ; une analogie avec la nature ou la stratégie militaire ne prouve pas qu’une protection fonctionnera dans un programme donné. [2]

La méthode grounded theory consiste ici à construire un nouveau cadre explicatif à partir d’observations et de connaissances rapprochées. Lowery présente explicitement une théorie destinée à nourrir d’autres recherches. Ce n’est donc pas le compte rendu d’une expérience ayant déjà démontré toutes ses conséquences. Le lecteur doit repérer le passage entre la description d’un mécanisme connu et la déduction d’une possibilité qui reste à vérifier séparément. [2]

Sous le nom de proof-of-power wall, l’auteur propose une interface qui refuserait les requêtes dépourvues de preuve de travail de calcul. Il prolonge les idées visant à rendre coûteux le spam, c’est-à-dire les envois massifs de messages non sollicités. Revenons à notre site : cette barrière pourrait renchérir sa saturation, mais pèserait aussi sur les visiteurs légitimes. Son évaluation dépend donc du coût imposé, des moyens de l’attaquant et de la menace précise. Un calcul ne prouve à lui seul ni l’autorisation du demandeur ni l’absence de faille dans le serveur. [2]

Lowery élargit son argument, du système individuel à la sécurité nationale. Il recommande aux responsables américains un débat spécialisé plus large sur Bitcoin, le soutien aux infrastructures nationales de minage et l’examen d’une réserve stratégique de bitcoins. Il s’agit de propositions issues de sa théorie. Elles ne décrivent pas nécessairement la politique publique actuelle et ne démontrent pas que la concurrence par le calcul remplacera les conflits armés. [2]

Dans sa recension, Jameson Lopp conteste le saut entre protéger le registre de Bitcoin et protéger n’importe quelles données. Selon lui, Bitcoin ne repose pas uniquement sur des calculs coûteux. Les nœuds vérifient les règles à l’aide de logiciels, tandis que les signatures numériques attestent l’autorisation de dépenser. Le calcul coûteux d’un attaquant ne remplace pas ces contrôles. L’objection porte donc sur l’explication manquante des usages plus larges : comment le système proposé empêcherait-il exactement une attaque donnée ? Lire les deux textes aide à cerner le désaccord. [3]

Demandez-vous d’abord ce qui doit être protégé : la disponibilité d’un site, la validité des transactions ou d’autres informations ? Examinez ensuite qui supporte les coûts et comment mesurer le succès. Lowery invite lui-même à approfondir les hypothèses. Ce panorama s’appuie sur la notice du MIT, le résumé, des passages méthodologiques choisis, la barrière proposée et les recommandations finales, ainsi que sur la recension de Lopp. Ce n’est pas une évaluation de toute la thèse, mais une entrée accessible dans son raisonnement. [2]

Pour une vision complète, lisez aussi Bitcoin, Proof of Work, Minage, Jameson Lopp, The 7th Property.

01Faut-il savoir programmer pour comprendre Softwar ?

Non. Commencez par distinguer l’envoi peu coûteux d’une requête d’un travail de calcul coûteux. Demandez-vous ensuite comment ce travail est censé protéger un système précis. Vous pourrez approfondir les détails techniques progressivement.

02Softwar prouve-t-il que Bitcoin mettra fin aux guerres ou sécurisera tous les programmes ?

Non. Il explore ces possibilités plus larges sous forme de théorie. Le mécanisme de protection, ses limites et les résultats des essais restent à démontrer séparément ; le fonctionnement de Bitcoin ne suffit pas à les établir.

DOC · 001MIT — Softwar thesis recordSource primaire DOC · 002Jason P. Lowery — Softwar, selected passagesSource primaire DOC · 003Jameson Lopp — Softwar Thesis ReviewDocumentation
Révisé le: Sources d’abord · Pas un conseil financier