Comment faire en sorte que Bitcoin prenne en charge la fonction de vérification ZK ?

Bitcoin en tant que système social, ses règles de protocole sont difficiles à modifier. Pour améliorer les performances de Bitcoin sans changer le protocole, plusieurs aspects peuvent être envisagés :

1. Utiliser des mises à jour existantes comme Taproot. Taproot réduit le coût de la vérification des scripts complexes et prend en charge des programmes plus complexes.

2. Réactiver l'opcode OP_CAT. OP_CAT peut rendre les scripts Bitcoin plus puissants, aidant à valider les SNARK basés sur FRI.

3. Adopter le schéma BitVM. BitVM permet à Bitcoin de vérifier n'importe quelle tâche de calcul via un mécanisme de preuve de fraude, ce qui en fait le meilleur moyen d'implémenter la vérification SNARK sans modifier le protocole.

4. Utiliser les preuves d'état de chaîne. En combinant la technologie ZK, il est possible de réduire considérablement la charge de travail de synchronisation et de vérification des données historiques de Bitcoin.

5. Développer de nouveaux langages tels que Simplicity. Simplicity vise à remplacer le script Bitcoin, conçu spécialement pour les systèmes de consensus blockchain.

Dans l'ensemble, la méthode la plus réalisable pour mettre en œuvre la validation SNARK dans Bitcoin est BitVM, mais davantage d'investissements en recherche et développement sont nécessaires. Le redémarrage d'OP_CAT est également une idée, mais il faut peser le pour et le contre. Quelle que soit la solution choisie, l'objectif doit être de soutenir davantage de cas d'utilisation pratiques.