Nous voyons de plus en plus d'équipes adopter une technologie de preuve de connaissance zéro dans l'infrastructure blockchain et les dApps. Certains de ces nouveaux schémas peuvent accélérer l'application de preuves à connaissance nulle dans l'espace blockchain et améliorer la confidentialité et l'évolutivité. Cependant, la plupart des projets sont développés sur la base d'Ethereum, tandis que Bitcoin manque d'attention dans le domaine des preuves à connaissance nulle.
Points clés à retenir
** La preuve à zéro connaissance peut améliorer la confidentialité de Bitcoin car elle peut masquer les détails de la transaction **, tels que le montant, l'adresse, l'entrée et la sortie, etc., tout en préservant la validité et l'intégrité de la transaction, afin qu'elle puisse empêcher tiers de suivre et d'analyser les activités de transaction des utilisateurs.
** La preuve sans connaissance peut améliorer l'évolutivité de Bitcoin car elle peut réduire la taille des données de transaction et le temps de vérification. ** Par exemple, en utilisant les ZK-STARK ou leurs versions améliorées, plusieurs transactions peuvent être regroupées et vérifiées à l'aide de preuves à connaissance nulle, ce qui permet d'économiser de l'espace et du temps.
** La preuve de connaissance zéro peut améliorer l'innovation de Bitcoin car elle peut prendre en charge plus de fonctions et d'applications. ** Par exemple, en utilisant ZK-SNARK, plus de logique et de calculs peuvent être mis en œuvre, et des contrats plus complexes et flexibles peuvent être exécutés sans exposer d'informations ni augmenter les frais généraux.
** En fin de compte, les preuves sans connaissance rendront Bitcoin plus fiable et décentralisé, conformément à ses valeurs fondamentales. **Avec le développement et l'amélioration continus de la technologie, le potentiel de Bitcoin et ZKP sera également exploré en permanence.
De plus en plus d'équipes adoptent une technologie sans connaissance dans l'infrastructure blockchain et les dApps. Cependant, la plupart des projets sont développés sur la base d'Ethereum. Cependant, Bitcoin et les preuves à connaissance nulle ont en fait une combinaison naturelle, et ce domaine manque actuellement d'attention. Quel type d'autonomisation la combinaison de la technologie de preuve de connaissance zéro et de Bitcoin apportera-t-elle au réseau Bitcoin ? Dans cet article de blog Bing Ventures, nous explorerons ce sujet du point de vue des principes techniques et des perspectives d'application.
Une preuve à connaissance nulle (ZKP) est une méthode mathématique qui permet à une partie (appelée le prouveur) de prouver un fait à une autre partie (appelée le vérificateur) sans fournir au vérificateur aucune information sur la preuve. Cette approche est très efficace pour préserver la confidentialité car le prouveur peut fournir la preuve au vérificateur sans révéler aucune information sur la preuve elle-même.
** Bitcoin peut être combiné avec une preuve de connaissance zéro pour avoir une combinaison naturelle de gènes. **Bitcoin est une monnaie virtuelle décentralisée qui utilise la blockchain pour enregistrer les transactions, et toutes les informations sur les transactions sont publiques. Cependant, cela signifie également que les informations de transaction Bitcoin peuvent être consultées par n'importe qui, il existe donc un risque de fuite de confidentialité. Et la preuve sans connaissance peut résoudre ce problème.
** En utilisant la preuve de connaissance zéro, les utilisateurs de Bitcoin peuvent crypter les informations de transaction et prouver leur validité sans révéler les informations, atteignant ainsi un niveau de protection de la vie privée plus élevé. ** Les preuves sans connaissance peuvent également ** améliorer l'évolutivité de Bitcoin **. Actuellement, la vitesse de transaction de Bitcoin est limitée par la taille de la blockchain et la congestion du réseau, ce qui limite son utilisation dans les applications commerciales à grande échelle. Cependant, en utilisant des preuves à connaissance nulle, les utilisateurs de Bitcoin peuvent traiter une grande quantité d'informations de transaction par lots et compresser la taille de leurs preuves à une taille extrêmement petite, améliorant ainsi l'évolutivité et l'efficacité de Bitcoin.
Contexte et justification
ZK-SNARK和ZK-STARK
Les ZK-SNARK et les ZK-STARK sont des variantes des preuves à connaissance nulle, et ce qu'ils ont en commun est de prouver la validité de certaines données ou opérations sans révéler d'informations sensibles. Cependant, ils diffèrent par leur mise en œuvre, leurs performances et leur champ d'application.
ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) est une technologie de preuve de connaissance zéro basée sur la cryptographie à courbe elliptique. Il peut convertir un problème de calcul complexe en une preuve simple de très petite taille et ne nécessitant aucune interaction. Cela signifie que les ZK-SNARK peuvent vérifier l'exactitude des calculs sans révéler aucune information de calcul. Les domaines d'application des ZK-SNARK incluent principalement la monnaie de cryptage et la protection de la vie privée.
ZK-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge) est un nouveau type de technologie de preuve de connaissance zéro, qui est plus flexible et sécurisée que les ZK-SNARKs. La mise en œuvre des ZK-STARK ne repose pas sur la cryptographie à courbe elliptique, mais utilise des fonctions de hachage et des techniques d'interpolation polynomiale. Cela rend les ZK-STARK plus fiables car au lieu de s'appuyer sur des énigmes mathématiques imprévisibles, ils s'appuient sur l'irréversibilité des fonctions de hachage. De plus, la taille de preuve des ZK-STARK est plus grande que celle des ZK-SNARK, mais sa preuve est plus vérifiable, elle peut donc être appliquée à un plus large éventail de domaines, tels que l'informatique distribuée et la sécurité de l'Internet des objets.
Difficultés d'utilisation de la preuve à connaissance nulle pour Bitcoin
Prenant Zcash comme exemple, Zcash utilise les ZK-SNARK dans une technologie sans connaissance, qui peut être utilisée pour masquer les détails de la transaction, y compris le montant de la transaction, l'identité du participant, etc., afin d'obtenir une meilleure protection de la vie privée. Zcash adopte le principe technique de ZK-SNARKS comme suit :
Il existe deux types d'adresses dans Zcash : les adresses transparentes (t-address) et les adresses cachées (z-address). Les adresses transparentes sont similaires aux adresses Bitcoin en ce sens qu'elles divulguent les montants des transactions et les participants sur la blockchain. Les adresses furtives utilisent des preuves à connaissance nulle pour protéger la confidentialité des montants des transactions et des participants.
Lorsqu'un utilisateur envoie des fonds d'une adresse cachée à une autre, il doit générer une preuve ZK-SNARKS qu'il dispose de suffisamment de fonds et qu'il ne dépense pas les fonds déjà dépensés. Ce processus implique des opérations mathématiques et cryptographiques complexes, telles que la génération de paramètres publics, le calcul de hachages et la construction de circuits arithmétiques.
La génération de preuves ZK-SNARKS nécessite beaucoup de ressources informatiques et de temps, mais la vérification des preuves ZK-SNARKS est très rapide et facile. Le vérificateur n'a qu'à vérifier si la transaction est conforme aux règles de la blockchain, et n'a pas besoin de savoir quoi que ce soit sur le montant de la transaction ou les participants.
En utilisant ZK-SNARKS, Zcash peut réaliser des transactions complètement anonymes et vérifiables, améliorant la confidentialité et la convivialité des utilisateurs tout en maintenant la sécurité et la décentralisation de la blockchain.
Cependant, la technologie de preuve de connaissance zéro adoptée par Zcash présente également certaines limites. Tout d'abord, Zcash est basé sur UTXO, ce qui signifie que les informations de transaction ne sont pas complètement masquées, mais seulement bloquées. Par conséquent, les attaquants peuvent déduire des informations utiles en analysant les modèles et les flux d'informations sur les transactions. Cela conduit également à ce que le degré de protection de la vie privée de Zcash ne soit pas totalement fiable.
Deuxièmement, Zcash est un réseau séparé basé sur Bitcoin, ce qui rend plus difficile son intégration avec d'autres applications. Cela limite à son tour ses possibilités d'application plus large, entravant davantage son développement. Bien que Zcash implémente des transactions privées, le taux d'utilisation réel n'est pas élevé. L'une des raisons est que le coût des transactions privées est beaucoup plus élevé que celui des transactions publiques, ce qui limite son champ d'application.
Avantages techniques des ZK-STARK
L'utilisation de la technologie ZK-SNARKs sur Bitcoin peut en effet assurer l'anonymat des transactions et la protection de la vie privée, mais cette technologie présente certains inconvénients, tels que le besoin de paramètres et d'équipements de confiance, et le besoin d'un grand nombre de ressources informatiques et de stockage. Afin de résoudre ces problèmes, certaines nouvelles technologies de preuve de connaissance zéro, telles que la technologie ZK-STARK, ont également vu le jour.
En termes simples, le processus des ZK-STARK comprend les étapes suivantes :
Le démonstrateur convertit le calcul qu'il veut prouver en un système d'équations polynomiales avec des informations secrètes comme variables.
Le démonstrateur effectue une série de transformations et de simplifications sur ce système d'équations pour obtenir un système d'équations plus simple.
Le prouveur échantillonne et encode ce système d'équation simplifié pour obtenir un vecteur de faible dimension.
Le démonstrateur hache et signe ce vecteur pour obtenir une chaîne courte comme preuve.
Après avoir reçu cette chaîne, le vérificateur peut vérifier si elle est correcte via certains paramètres et algorithmes publics, sans connaître les informations secrètes ou le calcul d'origine.
Par rapport à la technologie ZK-SNARK, la technologie ZK-STARK présente les avantages suivants :
La technologie ZK-STARK ne nécessite pas de paramètres de confiance, c'est-à-dire qu'elle n'a pas besoin de faire confiance à un générateur spécifique, ce qui améliore la sécurité de la technologie.
La technologie ZK-STARK peut mieux s'adapter aux appareils légers et aux scénarios d'application plus larges car elle nécessite moins de ressources informatiques et de stockage. En effet, son processus de génération de preuves est plus efficace que les ZK-SNARK, qui nécessitent des opérations de chiffrement et de déchiffrement complexes. En outre, la technologie ZK-STARK peut également mieux utiliser les capacités de l'informatique parallèle et de l'informatique distribuée, de sorte que les tâches informatiques peuvent être traitées plus efficacement dans certains cas.
La technologie ZK-STARK peut également prendre en charge davantage d'algorithmes et d'opérations, telles que les fonctions de hachage, les opérations polynomiales, etc., ce qui offre également plus de possibilités d'expansion et de mise à niveau de la technologie.
### Combinaison de Bitcoin et de ZK-STARK
Technologie EC-STARK
La technologie STARK est un nouveau type de technologie de preuve cryptographique qui peut communiquer avec des tiers en transférant des données tout en préservant la confidentialité des données. Cette technique permet le calcul hors chaîne et le stockage des données de vérification, améliorant ainsi l'évolutivité. Par rapport à la technologie ZK-SNARKs, la technologie STARKs est plus avancée et peut résister aux attaques des ordinateurs quantiques.
La technologie EC-STARKs est la prochaine génération de la technologie STARKs, qui vise à améliorer l'évolutivité et la sécurité de Bitcoin en remplaçant la fonction de hachage par des courbes elliptiques. Cette technologie pourrait rendre les solutions d'évolutivité qui existent déjà sur Ethereum compatibles avec Bitcoin. En utilisant la technologie EC-STARKs, il est possible d'exécuter le protocole Bitcoin hors chaîne et de stocker des preuves dans STARKs.
En bref, Bitcoin peut être émulé dans STARK, permettant des protocoles très complexes pour créer des jetons basés sur Bitcoin en utilisant les mêmes clés de courbe elliptique. L'utilisation de la technologie EC-STARK peut fonctionner dans le protocole hors chaîne de Bitcoin, tout en conservant la preuve dans STARK. Cette approche améliore non seulement l'évolutivité de Bitcoin, mais permet également la mise en place de protocoles très complexes sur Bitcoin avec une plus grande confidentialité.
Cette technologie porte l'évolutivité et la confidentialité de Bitcoin à un tout autre niveau, faisant de Bitcoin une meilleure plate-forme. De cette manière, les développeurs peuvent créer des applications plus complexes sur Bitcoin, ce qui rend la position de Bitcoin sur le marché des crypto-monnaies plus stable.
La perspective d'application des ZK-STARK dans Bitcoin
L'application de ZK-STARK est également conforme à la philosophie de conception conservatrice de Bitcoin.Il ne nécessite pas de collection fiable, mais utilise des technologies telles que les fonctions de hachage, les arbres de Merkle et les polynômes pour améliorer la transparence et la sécurité de Bitcoin. L'un des avantages d'EC-STARKS par rapport à Bitcoin est qu'il peut améliorer la confidentialité de Bitcoin car il ne nécessite pas la divulgation des détails des transactions. Un autre avantage est qu'il réduit les besoins de stockage de Bitcoin, car il peut compresser de grandes quantités de données en une petite preuve. L'un des défis d'EC-STARKS sur Bitcoin est qu'il nécessite plus de ressources informatiques car il doit effectuer des opérations mathématiques complexes. Un autre défi est qu'il nécessite plus de coordination et de standardisation, car il doit être compatible avec le protocole et l'infrastructure existants de Bitcoin.
Du point de vue de la mise en œuvre technique, l'application des ZK-STARK peut être divisée en nœuds légers, en nœuds complets et en méthodes de vérification. Les nœuds légers peuvent utiliser stark pour prouver l'état des en-têtes de bloc afin d'obtenir une synchronisation rapide. Le nœud complet peut réaliser la preuve de validité via l'état UTXO et utiliser la technologie utreexo pour représenter l'état UTXO dans un nouveau format, de sorte qu'il n'est pas nécessaire de visualiser l'intégralité de l'état UTXO. En termes de méthodes de vérification, il vous suffit de donner à utreexo root + état final pour commencer à vérifier les blocs entrants.
De plus, il existe de nombreuses directions potentielles pour l'application des ZK-STARK. Par exemple, la combinaison avec le protocole Taro peut faire de Bitcoin un atout plus général, ce qui élargit encore les scénarios d'application de Bitcoin.En combinant les ZK-STARK avec TARO, l'évolutivité du protocole TARO peut être améliorée afin qu'il puisse gérer plus de transactions et la prise en charge d'applications à plus grande échelle ouvrira la porte au déploiement multichaîne du protocole TARO. De plus, la confidentialité de Bitcoin a toujours été un problème, et l'application de la technologie ZK-STARK peut grandement améliorer la confidentialité de Bitcoin. En utilisant la technologie ZK-STARK, l'intégralité de l'historique des transactions peut être compressée en une seule transaction, masquant efficacement les informations de transaction de l'utilisateur.
### futurs temps forts
De plus, les ZK-STARK peuvent être utilisés pour la vérification des transactions Bitcoin, y compris la sérialisation des transactions Bitcoin, les calculs double SHA, les opérations secp256k1, etc. Ces opérations sont au cœur de la vérification des transactions Bitcoin, et l'utilisation de ZK-STARK peut garantir que le processus de vérification des transactions Bitcoin est hautement sécurisé et fiable. Les ZK-STARK peuvent également être utilisés pour vérifier la fonctionnalité intégrée Cairo accélérée de Bitcoin. Cairo est un système efficace de preuve de connaissance zéro qui, lorsqu'il est utilisé conjointement avec les capacités intégrées accélérées de Bitcoin, permet une vérification et une sécurité efficaces des transactions Bitcoin.
Les ZK-STARK peuvent également être utilisés pour implémenter les primitives Taro et la sérialisation TLV des actifs, ainsi que l'implémentation et la vérification MS-SMT. Ces opérations peuvent protéger efficacement la confidentialité et la sécurité des transactions Bitcoin, et améliorer encore la crédibilité et la fiabilité des transactions Bitcoin. En tant que solution de second niveau pour les transactions Bitcoin, le Lightning Network peut réaliser des transactions Bitcoin plus efficaces et sécurisées en combinant la technologie ZK-STARK. Grâce à la technologie ZK-STARK, les transactions Bitcoin sur le Lightning Network peuvent être rapidement vérifiées sans sacrifier la confidentialité des transactions.
Nous voyons de plus en plus d'équipes adopter une technologie de preuve de connaissance zéro dans l'infrastructure blockchain et les dApps. Certains de ces nouveaux schémas peuvent avoir le potentiel d'accélérer l'adoption de preuves à connaissance nulle dans l'espace blockchain et d'améliorer la confidentialité et l'évolutivité. Cependant, la plupart des projets sont développés sur la base d'Ethereum, tandis que Bitcoin manque d'attention dans le domaine des preuves à connaissance nulle. Pour aggraver les choses, la pratique de l'ingénierie n'a en quelque sorte pas rattrapé la réussite scolaire. Nous avons besoin de plus de mise en œuvre et d'exploration dans ce domaine, et plus d'attention et de soutien devraient être accordés à ce domaine.
Voir l'original
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.
Qu'apportera "ZKP+Bitcoin" ?
Par : Bing Ventures
Nous voyons de plus en plus d'équipes adopter une technologie de preuve de connaissance zéro dans l'infrastructure blockchain et les dApps. Certains de ces nouveaux schémas peuvent accélérer l'application de preuves à connaissance nulle dans l'espace blockchain et améliorer la confidentialité et l'évolutivité. Cependant, la plupart des projets sont développés sur la base d'Ethereum, tandis que Bitcoin manque d'attention dans le domaine des preuves à connaissance nulle.
Points clés à retenir
De plus en plus d'équipes adoptent une technologie sans connaissance dans l'infrastructure blockchain et les dApps. Cependant, la plupart des projets sont développés sur la base d'Ethereum. Cependant, Bitcoin et les preuves à connaissance nulle ont en fait une combinaison naturelle, et ce domaine manque actuellement d'attention. Quel type d'autonomisation la combinaison de la technologie de preuve de connaissance zéro et de Bitcoin apportera-t-elle au réseau Bitcoin ? Dans cet article de blog Bing Ventures, nous explorerons ce sujet du point de vue des principes techniques et des perspectives d'application.
Une preuve à connaissance nulle (ZKP) est une méthode mathématique qui permet à une partie (appelée le prouveur) de prouver un fait à une autre partie (appelée le vérificateur) sans fournir au vérificateur aucune information sur la preuve. Cette approche est très efficace pour préserver la confidentialité car le prouveur peut fournir la preuve au vérificateur sans révéler aucune information sur la preuve elle-même.
** Bitcoin peut être combiné avec une preuve de connaissance zéro pour avoir une combinaison naturelle de gènes. **Bitcoin est une monnaie virtuelle décentralisée qui utilise la blockchain pour enregistrer les transactions, et toutes les informations sur les transactions sont publiques. Cependant, cela signifie également que les informations de transaction Bitcoin peuvent être consultées par n'importe qui, il existe donc un risque de fuite de confidentialité. Et la preuve sans connaissance peut résoudre ce problème.
** En utilisant la preuve de connaissance zéro, les utilisateurs de Bitcoin peuvent crypter les informations de transaction et prouver leur validité sans révéler les informations, atteignant ainsi un niveau de protection de la vie privée plus élevé. ** Les preuves sans connaissance peuvent également ** améliorer l'évolutivité de Bitcoin **. Actuellement, la vitesse de transaction de Bitcoin est limitée par la taille de la blockchain et la congestion du réseau, ce qui limite son utilisation dans les applications commerciales à grande échelle. Cependant, en utilisant des preuves à connaissance nulle, les utilisateurs de Bitcoin peuvent traiter une grande quantité d'informations de transaction par lots et compresser la taille de leurs preuves à une taille extrêmement petite, améliorant ainsi l'évolutivité et l'efficacité de Bitcoin.
ZK-SNARK和ZK-STARK
Les ZK-SNARK et les ZK-STARK sont des variantes des preuves à connaissance nulle, et ce qu'ils ont en commun est de prouver la validité de certaines données ou opérations sans révéler d'informations sensibles. Cependant, ils diffèrent par leur mise en œuvre, leurs performances et leur champ d'application.
ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) est une technologie de preuve de connaissance zéro basée sur la cryptographie à courbe elliptique. Il peut convertir un problème de calcul complexe en une preuve simple de très petite taille et ne nécessitant aucune interaction. Cela signifie que les ZK-SNARK peuvent vérifier l'exactitude des calculs sans révéler aucune information de calcul. Les domaines d'application des ZK-SNARK incluent principalement la monnaie de cryptage et la protection de la vie privée.
ZK-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge) est un nouveau type de technologie de preuve de connaissance zéro, qui est plus flexible et sécurisée que les ZK-SNARKs. La mise en œuvre des ZK-STARK ne repose pas sur la cryptographie à courbe elliptique, mais utilise des fonctions de hachage et des techniques d'interpolation polynomiale. Cela rend les ZK-STARK plus fiables car au lieu de s'appuyer sur des énigmes mathématiques imprévisibles, ils s'appuient sur l'irréversibilité des fonctions de hachage. De plus, la taille de preuve des ZK-STARK est plus grande que celle des ZK-SNARK, mais sa preuve est plus vérifiable, elle peut donc être appliquée à un plus large éventail de domaines, tels que l'informatique distribuée et la sécurité de l'Internet des objets.
Prenant Zcash comme exemple, Zcash utilise les ZK-SNARK dans une technologie sans connaissance, qui peut être utilisée pour masquer les détails de la transaction, y compris le montant de la transaction, l'identité du participant, etc., afin d'obtenir une meilleure protection de la vie privée. Zcash adopte le principe technique de ZK-SNARKS comme suit :
Cependant, la technologie de preuve de connaissance zéro adoptée par Zcash présente également certaines limites. Tout d'abord, Zcash est basé sur UTXO, ce qui signifie que les informations de transaction ne sont pas complètement masquées, mais seulement bloquées. Par conséquent, les attaquants peuvent déduire des informations utiles en analysant les modèles et les flux d'informations sur les transactions. Cela conduit également à ce que le degré de protection de la vie privée de Zcash ne soit pas totalement fiable.
Deuxièmement, Zcash est un réseau séparé basé sur Bitcoin, ce qui rend plus difficile son intégration avec d'autres applications. Cela limite à son tour ses possibilités d'application plus large, entravant davantage son développement. Bien que Zcash implémente des transactions privées, le taux d'utilisation réel n'est pas élevé. L'une des raisons est que le coût des transactions privées est beaucoup plus élevé que celui des transactions publiques, ce qui limite son champ d'application.
L'utilisation de la technologie ZK-SNARKs sur Bitcoin peut en effet assurer l'anonymat des transactions et la protection de la vie privée, mais cette technologie présente certains inconvénients, tels que le besoin de paramètres et d'équipements de confiance, et le besoin d'un grand nombre de ressources informatiques et de stockage. Afin de résoudre ces problèmes, certaines nouvelles technologies de preuve de connaissance zéro, telles que la technologie ZK-STARK, ont également vu le jour.
En termes simples, le processus des ZK-STARK comprend les étapes suivantes :
Technologie EC-STARK
La technologie STARK est un nouveau type de technologie de preuve cryptographique qui peut communiquer avec des tiers en transférant des données tout en préservant la confidentialité des données. Cette technique permet le calcul hors chaîne et le stockage des données de vérification, améliorant ainsi l'évolutivité. Par rapport à la technologie ZK-SNARKs, la technologie STARKs est plus avancée et peut résister aux attaques des ordinateurs quantiques.
La technologie EC-STARKs est la prochaine génération de la technologie STARKs, qui vise à améliorer l'évolutivité et la sécurité de Bitcoin en remplaçant la fonction de hachage par des courbes elliptiques. Cette technologie pourrait rendre les solutions d'évolutivité qui existent déjà sur Ethereum compatibles avec Bitcoin. En utilisant la technologie EC-STARKs, il est possible d'exécuter le protocole Bitcoin hors chaîne et de stocker des preuves dans STARKs.
En bref, Bitcoin peut être émulé dans STARK, permettant des protocoles très complexes pour créer des jetons basés sur Bitcoin en utilisant les mêmes clés de courbe elliptique. L'utilisation de la technologie EC-STARK peut fonctionner dans le protocole hors chaîne de Bitcoin, tout en conservant la preuve dans STARK. Cette approche améliore non seulement l'évolutivité de Bitcoin, mais permet également la mise en place de protocoles très complexes sur Bitcoin avec une plus grande confidentialité.
Cette technologie porte l'évolutivité et la confidentialité de Bitcoin à un tout autre niveau, faisant de Bitcoin une meilleure plate-forme. De cette manière, les développeurs peuvent créer des applications plus complexes sur Bitcoin, ce qui rend la position de Bitcoin sur le marché des crypto-monnaies plus stable.
L'application de ZK-STARK est également conforme à la philosophie de conception conservatrice de Bitcoin.Il ne nécessite pas de collection fiable, mais utilise des technologies telles que les fonctions de hachage, les arbres de Merkle et les polynômes pour améliorer la transparence et la sécurité de Bitcoin. L'un des avantages d'EC-STARKS par rapport à Bitcoin est qu'il peut améliorer la confidentialité de Bitcoin car il ne nécessite pas la divulgation des détails des transactions. Un autre avantage est qu'il réduit les besoins de stockage de Bitcoin, car il peut compresser de grandes quantités de données en une petite preuve. L'un des défis d'EC-STARKS sur Bitcoin est qu'il nécessite plus de ressources informatiques car il doit effectuer des opérations mathématiques complexes. Un autre défi est qu'il nécessite plus de coordination et de standardisation, car il doit être compatible avec le protocole et l'infrastructure existants de Bitcoin.
Du point de vue de la mise en œuvre technique, l'application des ZK-STARK peut être divisée en nœuds légers, en nœuds complets et en méthodes de vérification. Les nœuds légers peuvent utiliser stark pour prouver l'état des en-têtes de bloc afin d'obtenir une synchronisation rapide. Le nœud complet peut réaliser la preuve de validité via l'état UTXO et utiliser la technologie utreexo pour représenter l'état UTXO dans un nouveau format, de sorte qu'il n'est pas nécessaire de visualiser l'intégralité de l'état UTXO. En termes de méthodes de vérification, il vous suffit de donner à utreexo root + état final pour commencer à vérifier les blocs entrants.
De plus, il existe de nombreuses directions potentielles pour l'application des ZK-STARK. Par exemple, la combinaison avec le protocole Taro peut faire de Bitcoin un atout plus général, ce qui élargit encore les scénarios d'application de Bitcoin.En combinant les ZK-STARK avec TARO, l'évolutivité du protocole TARO peut être améliorée afin qu'il puisse gérer plus de transactions et la prise en charge d'applications à plus grande échelle ouvrira la porte au déploiement multichaîne du protocole TARO. De plus, la confidentialité de Bitcoin a toujours été un problème, et l'application de la technologie ZK-STARK peut grandement améliorer la confidentialité de Bitcoin. En utilisant la technologie ZK-STARK, l'intégralité de l'historique des transactions peut être compressée en une seule transaction, masquant efficacement les informations de transaction de l'utilisateur.
De plus, les ZK-STARK peuvent être utilisés pour la vérification des transactions Bitcoin, y compris la sérialisation des transactions Bitcoin, les calculs double SHA, les opérations secp256k1, etc. Ces opérations sont au cœur de la vérification des transactions Bitcoin, et l'utilisation de ZK-STARK peut garantir que le processus de vérification des transactions Bitcoin est hautement sécurisé et fiable. Les ZK-STARK peuvent également être utilisés pour vérifier la fonctionnalité intégrée Cairo accélérée de Bitcoin. Cairo est un système efficace de preuve de connaissance zéro qui, lorsqu'il est utilisé conjointement avec les capacités intégrées accélérées de Bitcoin, permet une vérification et une sécurité efficaces des transactions Bitcoin.
Nous voyons de plus en plus d'équipes adopter une technologie de preuve de connaissance zéro dans l'infrastructure blockchain et les dApps. Certains de ces nouveaux schémas peuvent avoir le potentiel d'accélérer l'adoption de preuves à connaissance nulle dans l'espace blockchain et d'améliorer la confidentialité et l'évolutivité. Cependant, la plupart des projets sont développés sur la base d'Ethereum, tandis que Bitcoin manque d'attention dans le domaine des preuves à connaissance nulle. Pour aggraver les choses, la pratique de l'ingénierie n'a en quelque sorte pas rattrapé la réussite scolaire. Nous avons besoin de plus de mise en œuvre et d'exploration dans ce domaine, et plus d'attention et de soutien devraient être accordés à ce domaine.