Bitcoin ne lit pas les reçus Ethereum, mais doit néanmoins décider à qui renvoyer les BTC verrouillés dans Taproot. C’est comme confier à un portier qui ne reconnaît que des sceaux l’examen d’un jugement de tribunal rédigé en langue étrangère.
En suivant le déroulé BABE via @BabylonLabs_io , je démonte ensuite la mécanique et je constate que ce n’est pas pour faire exécuter à Bitcoin l’intégralité d’un vérificateur ZK : c’est plutôt pour transformer la vérification du vrai et du faux en une sorte de jeu de défis préconfiguré.
Lors du rachat, la chaîne de preuves commence par confirmer que les blocs du beacon Ethereum sont bien finalisés, puis relie les blocs d’exécution au reçu de rachat. Enfin, SP1 génère la preuve, qui est compressée en Groth16. Le bénéficiaire diffuse ensuite les opérations Claim et Assert, et inscrit l’engagement de la preuve dans une transaction Bitcoin via WOTS. Puis vient la fenêtre de défi sur le réseau de test public : environ 432 blocs BTC, soit près de trois jours.
Le point crucial, en réalité, c’est le Peg-in. Les paramètres actuels exigent que chaque groupe de bénéficiaires et de challengers génère 307 circuits candidats de confusion, publie 301 vérifications pour contrôler la triche, et n’en laisse que 6 choisies aléatoirement pour traiter les litiges futurs. Un peu comme si l’on ouvrait d’abord la très grande majorité des copies scellées pour les contrôler, et qu’on n’utilisait ensuite que le reste pour l’examen officiel.
Si le bénéficiaire soumet une fausse preuve, le challenger rejoue la vérification et lance un Challenge. La fausse preuve ne peut pas reconstituer le bon étiquetage : après environ 108 blocs, le challenger peut emprunter la voie No-Payout, empêchant la libération des BTC et confisquant sa mise. À l’inverse, si une preuve valide fait l’objet d’un défi malveillant, le bénéficiaire peut extraire le bon étiquetage, diffuser WronglyChallenged afin de continuer le Payout, et le challenger perd sa mise.
Ainsi, BABE ne vise pas à faire comprendre directement à Bitcoin l’Ethereum : il vise plutôt à empêcher celui qui ment d’aller jusqu’à l’étape suivante. Mais si, à n’importe quel stade, les circuits de confusion, la chaîne de preuves ou le taux de présence des challengers en ligne fait défaut, la sortie peut en pâtir. Avant le lancement sur le mainnet, ce que je voulais le plus voir, c’est si un vrai différend peut être mené jusqu’au bout — pas seulement un Happy Path sans défi.
#baby $BABY
En suivant le déroulé BABE via @BabylonLabs_io , je démonte ensuite la mécanique et je constate que ce n’est pas pour faire exécuter à Bitcoin l’intégralité d’un vérificateur ZK : c’est plutôt pour transformer la vérification du vrai et du faux en une sorte de jeu de défis préconfiguré.
Lors du rachat, la chaîne de preuves commence par confirmer que les blocs du beacon Ethereum sont bien finalisés, puis relie les blocs d’exécution au reçu de rachat. Enfin, SP1 génère la preuve, qui est compressée en Groth16. Le bénéficiaire diffuse ensuite les opérations Claim et Assert, et inscrit l’engagement de la preuve dans une transaction Bitcoin via WOTS. Puis vient la fenêtre de défi sur le réseau de test public : environ 432 blocs BTC, soit près de trois jours.
Le point crucial, en réalité, c’est le Peg-in. Les paramètres actuels exigent que chaque groupe de bénéficiaires et de challengers génère 307 circuits candidats de confusion, publie 301 vérifications pour contrôler la triche, et n’en laisse que 6 choisies aléatoirement pour traiter les litiges futurs. Un peu comme si l’on ouvrait d’abord la très grande majorité des copies scellées pour les contrôler, et qu’on n’utilisait ensuite que le reste pour l’examen officiel.
Si le bénéficiaire soumet une fausse preuve, le challenger rejoue la vérification et lance un Challenge. La fausse preuve ne peut pas reconstituer le bon étiquetage : après environ 108 blocs, le challenger peut emprunter la voie No-Payout, empêchant la libération des BTC et confisquant sa mise. À l’inverse, si une preuve valide fait l’objet d’un défi malveillant, le bénéficiaire peut extraire le bon étiquetage, diffuser WronglyChallenged afin de continuer le Payout, et le challenger perd sa mise.
Ainsi, BABE ne vise pas à faire comprendre directement à Bitcoin l’Ethereum : il vise plutôt à empêcher celui qui ment d’aller jusqu’à l’étape suivante. Mais si, à n’importe quel stade, les circuits de confusion, la chaîne de preuves ou le taux de présence des challengers en ligne fait défaut, la sortie peut en pâtir. Avant le lancement sur le mainnet, ce que je voulais le plus voir, c’est si un vrai différend peut être mené jusqu’au bout — pas seulement un Happy Path sans défi.
#baby $BABY
