La preuve de fraude est une solution technique largement utilisée dans le domaine de la blockchain, qui a d'abord émergé de la communauté Ethereum, et a été adoptée par des Layer2 comme Arbitrum et Optimism. Après l'émergence de l'écosystème Bitcoin en 2023, Robin Linus a proposé le schéma BitVM, basé sur l'idée centrale de la preuve de fraude, offrant un nouveau modèle de sécurité pour les couches ou ponts Bitcoin.
BitVM a connu plusieurs évolutions de version, passant du BitVM0 basé sur des portes logiques à l'origine, au BitVM2 qui repose sur les circuits de vérification ZK Fraud Proof et Groth16, avec un chemin technologique en constante maturité. Plusieurs projets tels que Bitlayer, Citrea, BOB, etc. ont tous été réalisés sur la base technologique de BitVM.
Cet article prendra comme exemple le schéma de preuve de fraude d'Optimism, en analysant son schéma basé sur la machine virtuelle MIPS et la preuve de fraude interactive, ainsi que les principales idées de la preuve de fraude ZK.
OutputRoot et StateRoot
Optimism est un projet de rollup optimiste bien connu, dont l'architecture est composée d'un séquenceur et de contrats intelligents sur la chaîne Ethereum. Après avoir traité les transactions, le séquenceur envoie les données à Ethereum. N'importe qui peut exécuter un client de nœud Optimism, télécharger les données et exécuter des transactions localement, calculant ainsi le hash de l'état actuel.
Si le séquenceur a téléchargé un hash d'ensemble d'état incorrect, le résultat local sera différent, et à ce moment-là, une contestation peut être initiée. Optimism utilise le champ OutputRoot pour refléter les changements d'état, calculé à partir de StateRoot et de deux autres champs.
Machine virtuelle MIPS et arbre Merkle en mémoire
Pour vérifier la validité de OutputRoot sur la chaîne, l'équipe d'Optimism a implémenté la machine virtuelle MIPS en Solidity et conçu un système de preuve de fraude interactive. Ce système affine le processus de traitement des transactions et observe quel code opérationnel MIPS a causé l'erreur.
Les informations d'état de la machine virtuelle MIPS sont organisées sous forme de structure d'arbre Merkle. Dans la preuve de fraude interactive, il est nécessaire de déterminer quel code d'opération a causé l'erreur de hachage d'état, puis de reproduire l'état de la machine virtuelle sur la chaîne et d'exécuter ce code d'opération.
Preuve de fraude interactive
Optimism a développé le protocole Fault Dispute Game(FDG), qui comprend deux rôles : le challenger et le défenseur. Les deux parties doivent construire localement un GameTree et localiser les codes d'opération MIPS contestés à travers plusieurs interactions.
Preuve de fraude ZK
Les preuves de fraude traditionnelles présentent des problèmes tels que la complexité d'interaction, des coûts de gaz élevés et une grande difficulté de développement. Pour cela, Optimism a proposé le concept de ZK Fraud Proof. Le cœur du système est qu'un challenger désigne les transactions à reproduire, le séquenceur fournit une preuve ZK, qui est vérifiée par un contrat Ethereum.
Comparé à la preuve de fraude interactive, la preuve de fraude ZK simplifie plusieurs interactions en une seule génération et vérification de preuve ZK, économisant ainsi du temps et des coûts. Contrairement au ZK Rollup, elle ne génère des preuves qu'en cas de contestation, réduisant les coûts de calcul.
Cette approche a également été adoptée par BitVM2. BitVM2 réalise la vérification ZK Proof via des scripts Bitcoin et a simplifié le programme on-chain. Plusieurs projets tels que Bitlayer, Goat Network, etc. ont déjà adopté cette solution.
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.
11 J'aime
Récompense
11
7
Reposter
Partager
Commentaire
0/400
BugBountyHunter
· 07-22 23:54
Encore une fois la technologie de chariot OP, tss tss.
Voir l'originalRépondre0
GateUser-a180694b
· 07-22 23:36
Le nouveau schéma Groth16 a quelque chose d'intéressant.
Voir l'originalRépondre0
TestnetFreeloader
· 07-22 22:00
Bientôt, il va encore falloir tondre les moutons jusqu'à en avoir mal aux mains !
Voir l'originalRépondre0
GasWastingMaximalist
· 07-20 00:31
l'univers de la cryptomonnaie est vraiment trop compétitif, beaucoup de gens cherchent des preuves.
Voir l'originalRépondre0
LiquidatedTwice
· 07-20 00:29
fraud proof joué intelligemment, on peut directement améliorer
Voir l'originalRépondre0
BridgeTrustFund
· 07-20 00:28
Comment se fait-il que la preuve de fraude OP du propriétaire de l'immeuble se soit arrêtée à mi-chemin ?
Analyse de la preuve de fraude Optimism et de la mise en œuvre de ZK Fraud Proof
Fraud proof et la mise en œuvre de ZK Fraud Proof
La preuve de fraude est une solution technique largement utilisée dans le domaine de la blockchain, qui a d'abord émergé de la communauté Ethereum, et a été adoptée par des Layer2 comme Arbitrum et Optimism. Après l'émergence de l'écosystème Bitcoin en 2023, Robin Linus a proposé le schéma BitVM, basé sur l'idée centrale de la preuve de fraude, offrant un nouveau modèle de sécurité pour les couches ou ponts Bitcoin.
BitVM a connu plusieurs évolutions de version, passant du BitVM0 basé sur des portes logiques à l'origine, au BitVM2 qui repose sur les circuits de vérification ZK Fraud Proof et Groth16, avec un chemin technologique en constante maturité. Plusieurs projets tels que Bitlayer, Citrea, BOB, etc. ont tous été réalisés sur la base technologique de BitVM.
Cet article prendra comme exemple le schéma de preuve de fraude d'Optimism, en analysant son schéma basé sur la machine virtuelle MIPS et la preuve de fraude interactive, ainsi que les principales idées de la preuve de fraude ZK.
OutputRoot et StateRoot
Optimism est un projet de rollup optimiste bien connu, dont l'architecture est composée d'un séquenceur et de contrats intelligents sur la chaîne Ethereum. Après avoir traité les transactions, le séquenceur envoie les données à Ethereum. N'importe qui peut exécuter un client de nœud Optimism, télécharger les données et exécuter des transactions localement, calculant ainsi le hash de l'état actuel.
Si le séquenceur a téléchargé un hash d'ensemble d'état incorrect, le résultat local sera différent, et à ce moment-là, une contestation peut être initiée. Optimism utilise le champ OutputRoot pour refléter les changements d'état, calculé à partir de StateRoot et de deux autres champs.
Machine virtuelle MIPS et arbre Merkle en mémoire
Pour vérifier la validité de OutputRoot sur la chaîne, l'équipe d'Optimism a implémenté la machine virtuelle MIPS en Solidity et conçu un système de preuve de fraude interactive. Ce système affine le processus de traitement des transactions et observe quel code opérationnel MIPS a causé l'erreur.
Les informations d'état de la machine virtuelle MIPS sont organisées sous forme de structure d'arbre Merkle. Dans la preuve de fraude interactive, il est nécessaire de déterminer quel code d'opération a causé l'erreur de hachage d'état, puis de reproduire l'état de la machine virtuelle sur la chaîne et d'exécuter ce code d'opération.
Preuve de fraude interactive
Optimism a développé le protocole Fault Dispute Game(FDG), qui comprend deux rôles : le challenger et le défenseur. Les deux parties doivent construire localement un GameTree et localiser les codes d'opération MIPS contestés à travers plusieurs interactions.
Preuve de fraude ZK
Les preuves de fraude traditionnelles présentent des problèmes tels que la complexité d'interaction, des coûts de gaz élevés et une grande difficulté de développement. Pour cela, Optimism a proposé le concept de ZK Fraud Proof. Le cœur du système est qu'un challenger désigne les transactions à reproduire, le séquenceur fournit une preuve ZK, qui est vérifiée par un contrat Ethereum.
Comparé à la preuve de fraude interactive, la preuve de fraude ZK simplifie plusieurs interactions en une seule génération et vérification de preuve ZK, économisant ainsi du temps et des coûts. Contrairement au ZK Rollup, elle ne génère des preuves qu'en cas de contestation, réduisant les coûts de calcul.
Cette approche a également été adoptée par BitVM2. BitVM2 réalise la vérification ZK Proof via des scripts Bitcoin et a simplifié le programme on-chain. Plusieurs projets tels que Bitlayer, Goat Network, etc. ont déjà adopté cette solution.