Bitcoin prend en charge deux voies de fonctionnalité de vérification ZK

Bitcoin, en tant que système social, fonctionne de manière stable sur le long terme grâce à un certain consensus atteint par les gens sur des questions clés. Cependant, Bitcoin présente encore certains problèmes qui doivent être résolus, tels que des frais de transaction élevés et un manque d'anonymat. Pour améliorer ces problèmes, deux voies possibles existent :

1. Permettre aux scripts Bitcoin de prendre en charge directement la vérification SNARK. Cela nécessite l'utilisation du code opération OP_CAT, qui sera probablement finalement approuvé. OP_CAT est un code opération simple mais puissant, qui peut rendre les scripts Bitcoin plus puissants. Il peut prendre en charge la vérification des preuves Merkle, aidant ainsi à vérifier les SNARK basés sur FRI. Bien que l'activation de OP_CAT puisse affecter les gains MEV de certaines personnes, la communauté est susceptible d'atteindre un consensus à son sujet.

2. Une solution basée sur BitVM. BitVM permet à Bitcoin de vérifier n'importe quelle tâche de calcul, c'est le meilleur chemin pour réaliser la validation SNARK sans changer le protocole. Il contourne les limites de taille de script des blocs Bitcoin grâce à la structure de script Taproot MerkleTree et au schéma de stockage KV. BitVM nécessite des preuves de fraude pour vérifier les comportements malveillants, et en cas de problème, il est possible de retirer les actifs préalablement mis en gage.

De plus, la preuve d'état de chaîne proposée par l'équipe ZeroSync est une technologie qui mérite d'être surveillée. Elle combine ZK et peut prouver la validité des hachages de blocs, réduisant ainsi considérablement le coût des nœuds d'exécution. Cette technologie permet non seulement de compresser le travail de synchronisation et de validation des données historiques de Bitcoin, mais elle est également une partie importante de la réalisation de BitVM.

Quel que soit le choix de la solution, l'objectif final de la communauté Bitcoin est de rendre le produit plus pratique et de soutenir davantage de scénarios applicables. Bien que ces améliorations ne se concrétisent pas à court terme, elles représentent une direction importante pour le développement futur de Bitcoin.