Andrew Poelstra est un mathématicien et chercheur travaillant sur Bitcoin. Il a participé à la création de Miniscript, qui facilite la description et l’analyse des conditions de dépense, et à celle de Bulletproofs, des preuves cryptographiques permettant de vérifier certaines affirmations sans révéler les données cachées. Ces résultats sont collectifs.
Une formule répond souvent à un besoin familier : protéger son épargne ou éviter de rendre public le montant de chaque paiement. Poelstra a travaillé sur des outils qui traduisent ces besoins en règles vérifiables. En février 2023, Blockstream le présentait comme directeur de la recherche. Dans son bilan du deuxième trimestre 2026, ce titre désigne Jonas Nick. Un ancien intitulé ne décrit donc pas automatiquement une fonction actuelle. Les travaux et collaborations permettent de comprendre sa contribution mieux qu’un titre professionnel isolé. [1] [2]
Imaginez utiliser normalement votre propre clé, tout en prévoyant une autre voie, définie à l’avance, accessible après un délai si cette clé est perdue. Écrire les conditions ne suffit pas : il faut vérifier qu’elles correspondent bien à votre intention. Miniscript facilite cette tâche. Sa documentation cite Pieter Wuille, Andrew Poelstra et Sanket Kanjalkar comme créateurs et mentionne des échanges plus larges. Il s’agit d’un résultat partagé ; reconnaître l’apport d’un contributeur ne doit pas effacer celui des autres. [3]
Bitcoin Script est le langage qui définit les conditions de dépense. Miniscript structure une partie délimitée de ce langage pour permettre de combiner et d’analyser ces conditions. Un compilateur, programme traduisant une demande en expression concrète, peut rechercher une construction moins coûteuse. S’il est prévu d’utiliser la voie habituelle plus souvent que celle de secours, il peut en tenir compte dans le coût attendu. Ces pondérations ne rendent pas la validité aléatoire. La voie moins fréquente reste tout aussi valide si ses règles sont respectées. [3]
La voie de secours doit aussi préciser le point de départ de l’attente. Miniscript after exprime une limite absolue par le champ nLockTime de la transaction, par exemple une hauteur donnée de la chaîne. older utilise au contraire la condition relative nSequence, mesurant un délai depuis la confirmation de la sortie dépensée. Ce sont des repères différents, pas des noms interchangeables. L’expiration du délai ne déclenche aucun paiement. Elle peut ouvrir une voie, mais les signatures et autres conditions restent nécessaires ; il faut aussi créer la transaction et obtenir sa confirmation. [3]
Peut-on vérifier une propriété d’un montant sans connaître le montant lui-même ? Bulletproofs permet ce type de preuve. Le vérificateur peut apprendre qu’un nombre caché appartient à un intervalle autorisé sans découvrir sa valeur. Stanford cite Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille et Greg Maxwell parmi les auteurs. Un article de recherche se distingue d’un programme précis : la page présente certaines implémentations comme inachevées et un prototype comme impropre à la production. Un lien ne suffit donc pas à recommander de confier de l’argent au logiciel. [4]
Certains systèmes de preuve exigent une préparation initiale des paramètres dont la sécurité dépend du bon traitement d’informations secrètes. Cette étape s’appelle trusted setup. Bulletproofs n’en a pas besoin. Cet avantage ne supprime toutefois ni les hypothèses cryptographiques ni le risque d’erreur de programmation. Une preuve courte n’est pas forcément la plus rapide à vérifier : cela dépend de la tâche et du système comparé. Il faut distinguer ce qu’elle établit, les fondements de sa sécurité et le travail nécessaire à sa vérification. [4]
Des montants visibles peuvent être additionnés et comparés. Lorsqu’ils sont cachés, des preuves mathématiques doivent apporter la garantie correspondante. En février 2018, Poelstra expliquait le rangeproof : une preuve maintenant le montant dans les limites autorisées et empêchant de contourner la comptabilité par un débordement numérique. Bulletproofs permet de regrouper les preuves de plusieurs valeurs dans un ensemble plus compact. L’article rapporte aussi des mesures de vitesse sur un équipement donné, pas une vitesse universelle du réseau. Des preuves plus petites allègent une charge précise sans résoudre toutes les contraintes des paiements. [5]
En avril 2017, Poelstra décrivait Confidential Assets pour Elements, une plateforme de création de systèmes blockchain. Le montant et la nature de l’actif transféré peuvent y rester cachés. Il demeure pourtant possible de vérifier qu’un transfert n’a pas créé indûment un actif ni transformé un actif en un autre. L’émission initiale et les émissions supplémentaires ont leurs propres règles et autorisations. Confidentialité et vérification publique se rejoignent ainsi. Une fonction d’Elements ne prouve cependant pas son adoption dans la couche de base de Bitcoin : recherche, implémentation et réseau utilisateur doivent être distingués. [6]
Pour une vision complète, lisez aussi Mara van der Laan, Rusty Russell, Miniscript. Cette entrée est également citée par Miniscript, Mara van der Laan, Rusty Russell.