Chemin faisable pour la fonction de validation ZK prise en charge par Bitcoin
Bitcoin en tant que système social, les modifications de son protocole nécessitent un large consensus. Depuis son lancement, les modifications du protocole Bitcoin ont été très rares. Cette stabilité protège d'une part Bitcoin contre des modifications malveillantes, et d'autre part limite l'expansion de ses fonctionnalités.
Actuellement, Bitcoin fait face à des problèmes tels que des frais de transaction élevés et une protection de la vie privée insuffisante. Pour résoudre ces problèmes, l'introduction de la technologie ZK est considérée comme une solution efficace. Cependant, comment réaliser la validation ZK sans modifier considérablement le protocole est devenu un problème clé.
La fonctionnalité du langage de script de Bitcoin est limitée et ne peut pas valider directement les SNARK. Bien qu'il soit théoriquement possible de le réaliser en ajoutant des codes d'opération spécifiques, cela nécessiterait des modifications majeures du protocole, ce qui rend difficile d'atteindre un consensus à court terme.
Un chemin possible est de réactiver des codes d'opération simples comme OP_CAT, afin d'améliorer les fonctionnalités des scripts Bitcoin. OP_CAT peut aider à vérifier les preuves Merkle, ce qui contribue à la validation SNARK. Cependant, cette proposition reste controversée et n'a pas encore fait l'objet d'un consensus.
Une autre voie sans modification du protocole est BitVM. Il contourne les limitations de taille des scripts grâce à Taproot et à un schéma de stockage KV, permettant de vérifier n'importe quel calcul. Cependant, BitVM nécessite encore des recherches supplémentaires avant de pouvoir être utilisé en pratique.
De plus, des technologies comme les Chain State Proofs peuvent considérablement réduire les coûts de synchronisation et de vérification des nœuds, soutenant ainsi la mise en œuvre de BitVM.
Dans l'ensemble, il est possible de réaliser la vérification ZK sur Bitcoin via BitVM ou le redémarrage d'OP_CAT, mais cela nécessitera encore du temps et des recherches supplémentaires. La communauté Bitcoin doit chercher un équilibre entre le maintien de la stabilité et l'introduction de nouvelles fonctionnalités pour faire face aux défis actuels.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
25 J'aime
Récompense
25
7
Partager
Commentaire
0/400
rekt_but_resilient
· 07-04 00:07
zk est vraiment un grand maître, qui ne l'accepte pas?
Voir l'originalRépondre0
CafeMinor
· 07-03 20:55
Modifier un protocole n'est pas si facile.
Voir l'originalRépondre0
WhaleWatcher
· 07-01 15:33
Je n'ai pas besoin de Consensus !
Voir l'originalRépondre0
SchroedingerMiner
· 07-01 15:33
Quand pourrons-nous comprendre les frais de gas...
Voir l'originalRépondre0
HashRatePhilosopher
· 07-01 15:20
La stabilité et l'innovation sont toujours en conflit.
Voir l'originalRépondre0
SurvivorshipBias
· 07-01 15:16
Le protocole a changé, ça risque d'être fatal.
Voir l'originalRépondre0
RuntimeError
· 07-01 15:08
Amélioration du protocole ? Les vieux BTC peuvent-ils bouger ?
Analyse des voies possibles pour l'introduction de la fonction de vérification ZK dans Bitcoin
Chemin faisable pour la fonction de validation ZK prise en charge par Bitcoin
Bitcoin en tant que système social, les modifications de son protocole nécessitent un large consensus. Depuis son lancement, les modifications du protocole Bitcoin ont été très rares. Cette stabilité protège d'une part Bitcoin contre des modifications malveillantes, et d'autre part limite l'expansion de ses fonctionnalités.
Actuellement, Bitcoin fait face à des problèmes tels que des frais de transaction élevés et une protection de la vie privée insuffisante. Pour résoudre ces problèmes, l'introduction de la technologie ZK est considérée comme une solution efficace. Cependant, comment réaliser la validation ZK sans modifier considérablement le protocole est devenu un problème clé.
La fonctionnalité du langage de script de Bitcoin est limitée et ne peut pas valider directement les SNARK. Bien qu'il soit théoriquement possible de le réaliser en ajoutant des codes d'opération spécifiques, cela nécessiterait des modifications majeures du protocole, ce qui rend difficile d'atteindre un consensus à court terme.
Un chemin possible est de réactiver des codes d'opération simples comme OP_CAT, afin d'améliorer les fonctionnalités des scripts Bitcoin. OP_CAT peut aider à vérifier les preuves Merkle, ce qui contribue à la validation SNARK. Cependant, cette proposition reste controversée et n'a pas encore fait l'objet d'un consensus.
Une autre voie sans modification du protocole est BitVM. Il contourne les limitations de taille des scripts grâce à Taproot et à un schéma de stockage KV, permettant de vérifier n'importe quel calcul. Cependant, BitVM nécessite encore des recherches supplémentaires avant de pouvoir être utilisé en pratique.
De plus, des technologies comme les Chain State Proofs peuvent considérablement réduire les coûts de synchronisation et de vérification des nœuds, soutenant ainsi la mise en œuvre de BitVM.
Dans l'ensemble, il est possible de réaliser la vérification ZK sur Bitcoin via BitVM ou le redémarrage d'OP_CAT, mais cela nécessitera encore du temps et des recherches supplémentaires. La communauté Bitcoin doit chercher un équilibre entre le maintien de la stabilité et l'introduction de nouvelles fonctionnalités pour faire face aux défis actuels.