Interpréter la nouvelle idée du pontage ZKP : utiliser le modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé
原文标题 :Modèle de séparation demandeur-prouveur ZKP pour prendre en charge le ZK complet et le ZK optimiste
Auteur original : 0x3d18, ZKPool
Compilateur : Qianwen, ChainCatcher
Il existe de nombreux cas d’utilisation des preuves à divulgation nulle de connaissance, notamment les cumuls, les ponts et les oracles. Cela a conduit au développement de projets tels que ZK-Rollup, ZK-bridge et ZK-oracle.
Des conceptions hybrides et optimistes ont récemment été appliquées à la technologie ZKP. Par exemple, Orbiter Finance a proposé le protocole de pontage Optimistic ZK, tandis que Taiko a proposé une solution de rollup hybride progressive.
Optimiste ZK suppose que toutes les transitions d’état sont correctes et n’exige pas de preuve immédiate de validité. Mais il établit une fenêtre de contestation prédéterminée au cours de laquelle tout participant peut contester une activité frauduleuse en soumettant une preuve de validité ou une preuve de fraude.
Cette conception réduit le coût total de la preuve pour les projets ZKP tout en garantissant la sécurité en incitant à un système décentralisé de surveillance des challengers et en luttant contre la fraude.
Protocole de pontage ZK optimiste
Orbiter Finance est l’un des projets de cross-rollup les plus connus. Il propose « Orbiter Cross-Rollup Protocol : Optimistic about the Compliant Majority, Tough Arbitration for the Malicious Minority » (Protocole de cumul croisé de l’orbiteur : optimiste quant à la majorité conforme, arbitrage difficile pour la minorité malveillante).
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1b60a8b1ca-dd1a6f-cd5cc0.webp)
Processus de cumul optimiste de négociation croisée (d’Orbiter Finance)
Il définit une conception de cumul croisé décentralisée, sécurisée et rentable, prise en charge par la technologie ZKP.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-be9223a531-dd1a6f-cd5cc0.webp)
La conception décentralisée de l’orbiteur
Il y a plusieurs facteurs importants à prendre en compte pour une telle conception :
Tout d’abord, le projet de pont a connu dans le passé de multiples problèmes de sécurité, qui ont causé des pertes importantes aux utilisateurs. La centralisation comporte également des risques pour la sécurité. Par conséquent, la décentralisation est essentielle pour faire des ponts.
Deuxièmement, il doit y avoir un mécanisme pour garantir l’exactitude du flux de transaction entre la source/le cumul et la chaîne/le cumul de destination.
De plus, il est essentiel de trouver un moyen rentable de générer de telles preuves. Par rapport aux arbres Merkle on-chain, le ZKP est une option viable avec moins de frais de gaz.
En particulier, pour les ponts à enroulement croisé, le coût est une considération primordiale, et l’objectif de l’ensemble de la conception est de minimiser les dépenses. Cela signifie qu’il est essentiel de réduire les transactions on-chain et de minimiser la quantité de gaz par transaction on-chain.
Dans la conception d’Orbiter, en plus du système de paiement de transition, il existe un autre système qui nécessite ZKP. Dans ce scénario, un rôle appelé « émetteur » agrège les informations de transaction agrégées croisées et les envoie à L1 pour s’assurer que le concessionnaire décentralisé reçoit des récompenses exactes.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-6c296aed58-dd1a6f-cd5cc0.webp)
Conception du committer décentralisé d’Orbiter
Le protocole d’Orbiter part du principe que la majorité des participants sont infaillibles et gère avec optimisme les événements de cumul croisé pour garantir une exécution rapide. Si des preuves étaient requises pour chaque transaction de cumul croisé, l’exécution de l’ensemble de la transaction de pontage serait lente. Par conséquent, il n’est pas nécessaire de générer des preuves en l’absence de comportement malveillant, ce qui permet de réaliser des économies. Toutefois, si un comportement malveillant est détecté par le créateur ou l’expéditeur, le challenger peut générer une preuve, et l’auteur contesté doit également soumettre la preuve.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-482a7d6cd7-dd1a6f-cd5cc0.webp)
Conception optimiste du pont zk de l’orbiteur
Modèle de séparation de l’étalon du demandeur ZKPool
Lorsqu’il s’agit d’utiliser la technologie ZKP, différents modes sont disponibles :
Full zk : Dans ce mode, un ZKP est requis pour chaque conversion. Cela peut être réalisé grâce à des projets tels que ZK-bridge (par exemple Polyhedra) ou ZK-Rollup (par exemple Scroll).
Optimiste zk : Dans ce mode, ZKP n’est requis que lorsque la conversion est contestée. Taiko et Orbiter sont un exemple de ce modèle.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-256e64cbf8-dd1a6f-cd5cc0.webp)
Full zk et Optimistic zk
Lors de la définition de modèles abstraits, il est clair que ZK-bridge et ZK-Rollup partagent certaines similitudes. Plus précisément, cette différence se reflète dans la relation entre le demandeur ZKP et le prouveur ZKP, comme le montre le diagramme suivant. Ici, le demandeur ZKP fait référence à un module qui a besoin de générer un ZKP.
Le scénario est le suivant :
Dans le projet ZK-Rollup :
En mode zk complet, le séquenceur fonctionne comme un demandeur ZKP.
En mode Optimistic zk, le challenger agit en tant que demandeur ZKP.
Dans le cadre du projet ZK-bridge :
En mode all-zk, le créateur agit en tant que demandeur ZKP.
En mode Optimistic zk, le challenger agit en tant que demandeur ZKP.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-dc3d1f9dd8-dd1a6f-cd5cc0.webp)
Demandeur ZKP et prouveur ZKP
Comme mentionné précédemment, dans un zk optimiste, il n’y a pas toujours de tâche de preuve. Par conséquent, si les requêtes ZKP et le prouveur ZKP sont combinés dans le même module, le prouveur peut être inactif et sa puissance de calcul peut ne pas être pleinement utilisée.
Si nous concevons un modèle de séparation demandeur-prouveur et que nous faisons de l’étalon un pool partagé, nous pouvons augmenter l’utilisation de l’étalon. Lorsque le scénario optimiste n’est pas remis en question, l’étalon peut prendre en charge la tâche de preuve d’autres projets ZKP. Cela signifie que ZKPool joue un rôle important dans le projet zk-bridge, en particulier lorsqu’il s’agit de combiner Optimistic avec d’autres.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-f42c2097ff-dd1a6f-cd5cc0.webp)
ZKPool partage le rôle de prouveur ZKP parmi les demandeurs ZKP
Le modèle de séparation suppliant-étalon ZKP s’applique non seulement aux rollups et aux ponts, mais aussi aux oracles et à tous les autres projets ZKP.
Résumé
Sur la base des informations fournies, nous pouvons tirer les conclusions suivantes :
La technologie ZKP est essentielle au projet ZKP, y compris les rollups, les ponts, les oracles et autres projets connexes.
ZKPool nous permet de traiter le créateur/expéditeur de ZK-bridge et le séquenceur de ZK-Rollup comme le même rôle, collectivement appelés demandeur ZKP
En utilisant le modèle de séparation demandeur-prouveur ZKP de ZKPool, vous pouvez améliorer le taux d’utilisation de votre prouveur. Ce modèle favorise également la décentralisation de tous les projets ZKP.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Interpréter la nouvelle idée du pontage ZKP : utiliser le modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé
原文标题 :Modèle de séparation demandeur-prouveur ZKP pour prendre en charge le ZK complet et le ZK optimiste
Auteur original : 0x3d18, ZKPool
Compilateur : Qianwen, ChainCatcher
Il existe de nombreux cas d’utilisation des preuves à divulgation nulle de connaissance, notamment les cumuls, les ponts et les oracles. Cela a conduit au développement de projets tels que ZK-Rollup, ZK-bridge et ZK-oracle.
Des conceptions hybrides et optimistes ont récemment été appliquées à la technologie ZKP. Par exemple, Orbiter Finance a proposé le protocole de pontage Optimistic ZK, tandis que Taiko a proposé une solution de rollup hybride progressive.
Optimiste ZK suppose que toutes les transitions d’état sont correctes et n’exige pas de preuve immédiate de validité. Mais il établit une fenêtre de contestation prédéterminée au cours de laquelle tout participant peut contester une activité frauduleuse en soumettant une preuve de validité ou une preuve de fraude.
Cette conception réduit le coût total de la preuve pour les projets ZKP tout en garantissant la sécurité en incitant à un système décentralisé de surveillance des challengers et en luttant contre la fraude.
Protocole de pontage ZK optimiste
Orbiter Finance est l’un des projets de cross-rollup les plus connus. Il propose « Orbiter Cross-Rollup Protocol : Optimistic about the Compliant Majority, Tough Arbitration for the Malicious Minority » (Protocole de cumul croisé de l’orbiteur : optimiste quant à la majorité conforme, arbitrage difficile pour la minorité malveillante).
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1b60a8b1ca-dd1a6f-cd5cc0.webp)
Processus de cumul optimiste de négociation croisée (d’Orbiter Finance)
Il définit une conception de cumul croisé décentralisée, sécurisée et rentable, prise en charge par la technologie ZKP.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-be9223a531-dd1a6f-cd5cc0.webp)
La conception décentralisée de l’orbiteur
Il y a plusieurs facteurs importants à prendre en compte pour une telle conception :
Tout d’abord, le projet de pont a connu dans le passé de multiples problèmes de sécurité, qui ont causé des pertes importantes aux utilisateurs. La centralisation comporte également des risques pour la sécurité. Par conséquent, la décentralisation est essentielle pour faire des ponts.
Deuxièmement, il doit y avoir un mécanisme pour garantir l’exactitude du flux de transaction entre la source/le cumul et la chaîne/le cumul de destination.
De plus, il est essentiel de trouver un moyen rentable de générer de telles preuves. Par rapport aux arbres Merkle on-chain, le ZKP est une option viable avec moins de frais de gaz.
En particulier, pour les ponts à enroulement croisé, le coût est une considération primordiale, et l’objectif de l’ensemble de la conception est de minimiser les dépenses. Cela signifie qu’il est essentiel de réduire les transactions on-chain et de minimiser la quantité de gaz par transaction on-chain.
Dans la conception d’Orbiter, en plus du système de paiement de transition, il existe un autre système qui nécessite ZKP. Dans ce scénario, un rôle appelé « émetteur » agrège les informations de transaction agrégées croisées et les envoie à L1 pour s’assurer que le concessionnaire décentralisé reçoit des récompenses exactes.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-6c296aed58-dd1a6f-cd5cc0.webp)
Conception du committer décentralisé d’Orbiter
Le protocole d’Orbiter part du principe que la majorité des participants sont infaillibles et gère avec optimisme les événements de cumul croisé pour garantir une exécution rapide. Si des preuves étaient requises pour chaque transaction de cumul croisé, l’exécution de l’ensemble de la transaction de pontage serait lente. Par conséquent, il n’est pas nécessaire de générer des preuves en l’absence de comportement malveillant, ce qui permet de réaliser des économies. Toutefois, si un comportement malveillant est détecté par le créateur ou l’expéditeur, le challenger peut générer une preuve, et l’auteur contesté doit également soumettre la preuve.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-482a7d6cd7-dd1a6f-cd5cc0.webp)
Conception optimiste du pont zk de l’orbiteur
Modèle de séparation de l’étalon du demandeur ZKPool
Lorsqu’il s’agit d’utiliser la technologie ZKP, différents modes sont disponibles :
Full zk : Dans ce mode, un ZKP est requis pour chaque conversion. Cela peut être réalisé grâce à des projets tels que ZK-bridge (par exemple Polyhedra) ou ZK-Rollup (par exemple Scroll).
Optimiste zk : Dans ce mode, ZKP n’est requis que lorsque la conversion est contestée. Taiko et Orbiter sont un exemple de ce modèle.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-256e64cbf8-dd1a6f-cd5cc0.webp)
Full zk et Optimistic zk
Lors de la définition de modèles abstraits, il est clair que ZK-bridge et ZK-Rollup partagent certaines similitudes. Plus précisément, cette différence se reflète dans la relation entre le demandeur ZKP et le prouveur ZKP, comme le montre le diagramme suivant. Ici, le demandeur ZKP fait référence à un module qui a besoin de générer un ZKP.
Le scénario est le suivant :
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-dc3d1f9dd8-dd1a6f-cd5cc0.webp)
Demandeur ZKP et prouveur ZKP
Comme mentionné précédemment, dans un zk optimiste, il n’y a pas toujours de tâche de preuve. Par conséquent, si les requêtes ZKP et le prouveur ZKP sont combinés dans le même module, le prouveur peut être inactif et sa puissance de calcul peut ne pas être pleinement utilisée.
Si nous concevons un modèle de séparation demandeur-prouveur et que nous faisons de l’étalon un pool partagé, nous pouvons augmenter l’utilisation de l’étalon. Lorsque le scénario optimiste n’est pas remis en question, l’étalon peut prendre en charge la tâche de preuve d’autres projets ZKP. Cela signifie que ZKPool joue un rôle important dans le projet zk-bridge, en particulier lorsqu’il s’agit de combiner Optimistic avec d’autres.
! [Interprétation de la nouvelle idée de pontage ZKP : utilisation du modèle de séparation demandeur-prouveur ZKP pour créer un pont inter-chaînes décentralisé plus sécurisé] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-f42c2097ff-dd1a6f-cd5cc0.webp)
ZKPool partage le rôle de prouveur ZKP parmi les demandeurs ZKP
Le modèle de séparation suppliant-étalon ZKP s’applique non seulement aux rollups et aux ponts, mais aussi aux oracles et à tous les autres projets ZKP.
Résumé
Sur la base des informations fournies, nous pouvons tirer les conclusions suivantes :
La technologie ZKP est essentielle au projet ZKP, y compris les rollups, les ponts, les oracles et autres projets connexes.
ZKPool nous permet de traiter le créateur/expéditeur de ZK-bridge et le séquenceur de ZK-Rollup comme le même rôle, collectivement appelés demandeur ZKP
En utilisant le modèle de séparation demandeur-prouveur ZKP de ZKPool, vous pouvez améliorer le taux d’utilisation de votre prouveur. Ce modèle favorise également la décentralisation de tous les projets ZKP.