Bitcoin prend en charge deux voies de vérification ZK : OP_CAT et BitVM

Bitcoin, en tant que système social, nécessite un consensus large pour les modifications de son protocole. Depuis sa création, Bitcoin fait toujours face à des problèmes tels que des frais élevés et un manque de confidentialité, nécessitant des améliorations urgentes. Cependant, modifier le protocole Bitcoin n'est pas une tâche facile.

Sans modifier le protocole Bitcoin, il existe deux solutions possibles pour mettre en œuvre la fonctionnalité de vérification ZK :

1. Activer l'opcode OP_CAT. OP_CAT peut rendre les scripts Bitcoin plus puissants, en supportant la validation des preuves Merkle, ce qui aide à réaliser la validation SNARK basée sur FRI. OP_CAT existait dans les premières versions de Bitcoin, donc la possibilité de le réactiver est assez élevée.

2. La solution basée sur BitVM. BitVM utilise Taproot et le stockage KV pour contourner les limitations de taille de script dans les blocs Bitcoin, permettant de vérifier n'importe quelle tâche de calcul. Il garantit l'exactitude du calcul grâce à un mécanisme de preuve de fraude.

De plus, les Chain State Proofs proposés par l'équipe ZeroSync méritent également d'être mentionnés. Ils combinent la technologie ZK et peuvent considérablement réduire la charge de travail de synchronisation et de vérification des données historiques de Bitcoin, diminuant ainsi les coûts d'exploitation des nœuds.

Quel que soit le choix de la solution, l'objectif de la communauté Bitcoin est de soutenir davantage de scénarios d'application réalisables tout en garantissant la sécurité. Bien que ces améliorations ne soient pas prévues à court terme, à long terme, l'introduction de la fonctionnalité de vérification ZK dans Bitcoin est une tendance inévitable.