Comment Bitcoin prend-il en charge la fonctionnalité de vérification ZK ?

Bitcoin en tant que système social, ses règles fondamentales sont déterminées par les développeurs initiaux et maintenues en fonctionnement stable grâce à un mécanisme de consensus. Cependant, Bitcoin fait encore face à de nombreux défis dans la réalisation de la vision d'un système de monnaie électronique, tels que des frais de transaction élevés et une protection de la vie privée insuffisante.

Pour résoudre ces problèmes, la communauté a proposé plusieurs solutions d'amélioration, parmi lesquelles les technologies liées à ZK et SNARKs sont considérées comme les plus efficaces. Ces technologies peuvent significativement améliorer la confidentialité et le débit des transactions. Cependant, en raison de la difficulté de modifier le protocole Bitcoin, la question clé devient comment améliorer les performances sans changer le protocole.

Le modèle UTXO et le langage de script de Bitcoin limitent ses fonctionnalités. Bien que le script de Bitcoin puisse effectuer des opérations de base et vérifier des signatures, il ne prend pas en charge les calculs complexes et ne peut pas vérifier directement les SNARK. Bien qu'il soit théoriquement possible de réaliser une vérification SNARK, la mise en pratique est limitée par la taille des blocs.

Ces dernières années, la mise à niveau Taproot a apporté certaines améliorations à Bitcoin, telles que le support des signatures Schnorr et des scripts plus complexes. Cependant, l'ajout d'opcodes de vérification SNARK spécifiques reste confronté à des défis techniques et de consensus.

Actuellement, il existe deux voies possibles pour que Bitcoin prenne en charge la vérification ZK:

1. Améliorer les fonctionnalités des scripts à l'aide de codes d'opération simples comme OP_CAT, réalisant ainsi indirectement la vérification SNARK. Bien qu'OP_CAT soit simple, il peut considérablement améliorer les capacités des scripts et a le potentiel d'obtenir le soutien de la communauté.

2. Grâce à la technologie BitVM, il est possible de vérifier n'importe quel calcul sans modifier le protocole. BitVM surmonte les limitations de taille des scripts grâce à Taproot et à une solution de stockage KV, combinant un mécanisme de preuve de fraude pour étendre ses fonctionnalités.

De plus, la technologie des preuves d'état de chaîne combinée avec ZK peut considérablement réduire les coûts d'exploitation des nœuds, ce qui en fait une partie importante de BitVM.

Dans l'ensemble, l'introduction de la fonctionnalité de vérification ZK pour Bitcoin est incontournable, mais il est nécessaire d'équilibrer l'innovation et la stabilité. À court terme, BitVM pourrait être la solution la plus viable, tandis que le redémarrage de codes d'opération simples comme OP_CAT mérite également d'être exploré. Quelle que soit la solution adoptée, l'objectif final est de rendre Bitcoin plus pratique et de soutenir davantage de cas d'application.