StarkWare vérifie la preuve à connaissance zéro sur le réseau de test Bitcoin

Le développeur de blockchain StarkWare affirme avoir vérifié la première preuve à connaissance nulle en utilisant son nouveau vérificateur STARK sur le réseau de test Signet de Bitcoin.

La preuve de concept initiale pour tester le vérificateur impliquait la vérification d'un problème mathématique — spécifiquement, le 32e nombre dans la séquence de Fibonacci au carré. La prochaine étape consiste à généraliser la conception et à lui permettre d'effectuer une gamme plus large de calculs à usage général, a déclaré la société dans un communiqué partagé avec The Block.

« Nous avons dit que nous voulions faire évoluer Bitcoin et libérer le pouvoir de la blockchain pour transformer le monde », a déclaré Eli Ben-Sasson, PDG de StarkWare. « C'est nous qui faisons cela. C'est notre tout premier pas pour montrer ce que Bitcoin peut faire avec la technologie à connaissance nulle. »

StarkWare, évalué à 8 milliards de dollars lors de son dernier tour d'investissement, est le principal contributeur à Ethereum Layer 2 Starknet. Le dernier développement fait suite aux plans de StarkWare, annoncés en juin, de porter l'évolutivité ZK à Bitcoin aux côtés d'Ethereum après qu'une proposition technique connue sous le nom de OP_CAT a fourni le cadre nécessaire pour apporter l'évolutivité STARK à Bitcoin.

Aucune chaîne supplémentaire n'est créée — le plan de StarkWare utilise le même réseau Starknet avec la même gouvernance et la même tokenomique, soutenant l'évolutivité de Bitcoin sans nécessiter de fork, a précisé l'équipe à l'époque. Chaque dapp pourrait choisir où elle souhaite se régler — l'une ou l'autre, ou les deux, a déclaré Ben-Sasson à The Block le mois dernier.

Le nouveau vérificateur STARK de StarkWare, construit en partenariat avec la société de capital-risque L2 Iterative, utilise OP_CAT, permettant le développement de Layer 2 basés sur ZK sur le réseau Bitcoin, conçu pour l'aider à évoluer plus rapidement, a expliqué la société.

« Cela a été un effort considérable et a pris beaucoup de temps », a déclaré Weikeng Chen de L2 Iterative. « Nous avons commencé de rien. Il n'y a aucune information sur les preuves ZK sur Bitcoin. Il n'y a aucune information concernant les opérations mathématiques à suivre. Nous avons dû construire toute la pile, ce qui a finalement conduit à la mise en œuvre du vérificateur STARK. »

Qu'est-ce que OP_CAT ?

OP_CAT est une proposition de convention technique qui utilise des fonctionnalités de script avancées pour introduire des fonctionnalités de contrat intelligent sur le réseau Bitcoin. Cela pourrait permettre des cas d'utilisation, y compris des "coffres" sécurisés qui permettent des transactions réversibles, des paiements récurrents automatisés et axés sur la confidentialité, des transferts verrouillés dans le temps pour des scénarios comme l'héritage, et des instruments financiers complexes tels que les séquestres et les obligations.

OP_CAT a été initialement inclus comme l'un des premiers opcodes dans Bitcoin. Cependant, le créateur pseudonyme Satoshi Nakamoto l'a désactivé avec plusieurs autres opcodes en 2010 en raison de préoccupations concernant la possibilité de créer des scripts pouvant entraîner des vulnérabilités.

La communauté Bitcoin débat encore de la mise en œuvre de la proposition sur le réseau principal, avec la probabilité de tout soft fork OP_CAT dépendant d'une combinaison de considérations techniques, de sécurité et de consensus communautaire. Cependant, il est actuellement disponible sur le réseau de test.

StarkWare a déclaré qu'il « soutient publiquement » l'approbation de la proposition en raison des « avantages clairs qu'elle débloque pour la communauté Bitcoin ainsi que pour l'écosystème blockchain plus largement. »

Qu'est-ce que le Signet de Bitcoin ?

Le réseau Signet de Bitcoin sert de réseau de test, similaire à d'autres réseaux de test Bitcoin, en fournissant un environnement contrôlé pour que les développeurs testent de nouvelles fonctionnalités, applications et outils avant de les déployer sur le réseau principal de Bitcoin.

Cependant, Signet diffère des réseaux de test Bitcoin traditionnels en raison de sa nature coordonnée de manière centrale et de sa stabilité et protection accrues contre les spams ou les activités malveillantes.