Selon Blockworks, Bitcoin manque actuellement de véritables réseaux de couche 2 similaires à ceux d’Ethereum, principalement parce que les solutions de mise à l’échelle existantes n’héritent pas du modèle de sécurité de Bitcoin. Les cumuls Ethereum qui publient les données de transaction sur le réseau principal Ethereum exploitent directement sa sécurité, garantissant que l'exécution correcte des transactions sur ces couches est sécurisée par les mêmes mécanismes protégeant la couche de base. En revanche, les solutions « couche 2 » de Bitcoin, telles que Liquid Network et Rootstock (RSK), sont techniquement des sidechains. Ils fonctionnent indépendamment de Bitcoin, en utilisant leur propre ensemble de validateurs ou de mineurs. Bien qu’ils puissent partager des taux de hachage minier ou des instantanés de points de contrôle dans Bitcoin, ils offrent fondamentalement un niveau de sécurité différent. Des innovations telles que BitVM peuvent améliorer le pontage minimisant la confiance à partir de Bitcoin, mais pour permettre de véritables solutions de couche 2 sur Bitcoin, des mises à niveau de protocole sont nécessaires. Ces mises à niveau introduiraient des clauses – des mécanismes qui restreignent la façon dont le BTC peut être dépensé – qui permettent une interopérabilité sécurisée et minimisant la confiance et permettent à Bitcoin de prendre en charge une infrastructure de couche 2 robuste similaire à celle d’Ethereum.

StarkWare a décrit mercredi une étape importante dans la vérification réussie de la première preuve de connaissance nulle à l'aide de son nouveau vérificateur STARK sur le réseau de test Bitcoin, Signet. Cette réalisation fait suite à trois mois de recherche sur le potentiel d’OP_CAT, l’une de ces mises à niveau Bitcoin proposées. Le vérificateur de StarkWare, développé en collaboration avec Weikeng Chen de la société de capital-risque L2 Iterative, est la première application pratique à grande échelle de cet opcode, a déclaré StarkWare dans un communiqué. Il démontre le potentiel de soutenir le développement de solutions de couche 2 basées sur zk pour Bitcoin. "Ce type de méthodologie de vérification est complètement différent de ce qui est déjà exploré par d'autres solutions de mise à l'échelle sur le réseau Bitcoin, car il ne nécessite pas l'utilisation de preuves de fraude ou d'activité", a déclaré la société, ajoutant que le code du vérificateur a été publié via Github.

Chen a noté que la recherche était pionnière. « Nous avons commencé avec rien. Il n'y a aucune information sur les preuves zk sur Bitcoin ou sur les opérations mathématiques nécessaires. Nous avons dû créer la pile complète menant à la mise en œuvre du vérificateur STARK », a-t-il déclaré. Le nouveau vérificateur utilise Circle STARK, des preuves cryptographiques qui accélèrent considérablement le processus de preuve. Ils seront également utilisés dans le prouveur STARK de nouvelle génération de StarkWare, Stwo. La démo actuelle vérifie uniquement la solution d'un problème mathématique discret : le 32e nombre de la suite de Fibonacci au carré – ou 21 783 0922 – mais l'équipe prévoit de passer à autre chose pour démontrer un large éventail de calculs qui pourraient finalement constituer la base d'un système virtuel. machine. D’ici là, les détenteurs de Bitcoin qui souhaitent s’engager dans DeFi peuvent le faire via une série d’autres approches visant à amener le BTC vers d’autres réseaux, chacun avec ses propres compromis.