Milestone for the Bitcoin ecosystem: Zulu leverages Bitcoin Script to enable ZKP verification

Par : Ri Yue Xiao Chu

Un événement marquant récent dans l'écosystème Bitcoin : Zulu a annoncé la réalisation de la première vérification zk-SNARK (ZKP) utilisant Bitcoin Script. Cette avancée concerne les algorithmes dominants Groth16/FFlonk et le code a été soumis au dépôt BitVM.

Réaliser une vérification ZKP via le script Bitcoin signifie que le réseau Bitcoin peut désormais valider des opérations Layer2. Ceci constitue un véritable layer2 héritant directement de la sécurité du réseau Bitcoin, fondée sur son mécanisme PoW, qui est sans doute le réseau blockchain le plus sécurisé qui soit.

En raison des limitations inhérentes à la programmabilité de Bitcoin, la mise en œuvre de ZKP s'avère particulièrement difficile. La plupart des layer2 Bitcoin actuels ne sont pas vraiment des L2 au sens strict, car leur état de chaîne ne peut pas être validé directement sur le réseau Bitcoin. Leur approche actuelle consiste à générer une preuve zk qu'ils publient sur le réseau BTC. Toutefois, cette preuve n'est pas vérifiée par le réseau Bitcoin lui-même, mais uniquement par leurs propres nœuds, ce qui entraîne une séparation entre l'état de la chaîne L2 et celui du réseau Bitcoin.

Cela contraste nettement avec les layer2 Ethereum. Qu'il s'agisse de zk-rollup ou d'op-rollup, les données sont regroupées puis transmises au réseau principal Ethereum pour validation. L'un des principaux avantages des layer2 Ethereum par rapport aux autres blockchains réside précisément dans la garantie de sécurité fournie par Ethereum.

Devenir un layer2 validé par le réseau Bitcoin présente comme principal avantage d'hériter directement de sa sécurité. Celle-ci est clairement supérieure à celle d'Ethereum. Actuellement, deux méthodes permettent véritablement d'hériter de cette sécurité. La première, incarnée par Babylon, repose sur le stake de BTC natifs afin de former un réseau PoS autonome avec sanctions contre les comportements malveillants. Lorsque la valeur des BTC mis en jeu est importante, le coût de la malhonnêteté devient extrêmement élevé, assurant ainsi la sécurité. Toutefois, cette méthode nécessite au préalable un volume important de BTC en staking.

La seconde méthode exploite directement le réseau PoW de Bitcoin, le premier réseau blockchain et celui ayant la capitalisation boursière la plus élevée. Fonctionnant sans interruption depuis 14 ans, il dispose de la puissance de calcul la plus élevée au monde, et sa robustesse est incontestable. Ainsi, la capacité de Bitcoin à effectuer des vérifications constitue un élément clé pour hériter de sa sécurité. C'est précisément ici que réside toute l'importance de la réalisation de ZKP par Zulu. La dernière fois que j'ai mentionné Zulu Network, c'était pour saluer son architecture double couche innovante appliquée à Bitcoin. Cette nouvelle avancée concernant la vérification zk-SNARK (ZKP) confirme encore davantage la force technologique remarquable derrière Zulu.

L'importance du zk-SNARK

SNARK (argument succinct non interactif de connaissance) désigne un système de preuve mathématique permettant à un vérificateur de confirmer la validité de données sans avoir accès aux données initiales. Comme on le sait, les layer2 d'Ethereum incluent les zk-rollup et les op-rollup. Ce dernier est considéré comme une solution transitoire, tandis que le zk-rollup représente la forme ultime. En effet, le zk-rollup regroupe les transactions à l'aide d'algorithmes zk, génère des preuves SNARKs qu'il soumet au réseau principal, lequel valide alors l'intégralité du lot. Le zk-SNARK offre une excellente protection de la vie privée et une forte extensibilité, qualités pour lesquelles Vitalik Buterin l'a désigné comme une priorité absolue pour la prochaine décennie.

BitVM

Il convient ici de présenter BitVM. Avant BitVM, le langage de script de Bitcoin était considéré comme non Turing-complet. Malgré d'importants efforts collectifs, ce problème restait insoluble jusqu'à l'annonce retentissante, en octobre dernier, de BitVM par Robin Linus. Son approche consiste à vérifier dans le script Bitcoin un type particulier de porte logique appelée NAND (« NON-ET »), une primitive fondamentale située au niveau physique/électrique. Tous les calculs possibles peuvent être construits à partir de portes NAND.

Récemment, Robin a proposé un nouveau design appelé BitVM 2, qui n'utilise plus directement les portes NAND dans le script, mais s'en sert plutôt pour implémenter un vérificateur universel de preuves zéro connaissance SNARK.

L'importance de BitVM réside dans sa capacité à permettre la validation par le réseau Bitcoin sans nécessiter de mise à niveau ni de fork, et sans imposer aucun fardeau supplémentaire au réseau BTC. Les calculs complexes sont exécutés par le layer2, qui hérite ainsi de la sécurité du réseau principal. En raison de son importance majeure, de nombreux projets layer2 sont désormais construits sur BitVM. Par exemple, Bitlayer utilise BitVM comme composant central, adoptant une technologie de machine virtuelle en couches (Layered Virtual Machine) pour sa solution de deuxième couche.

Dans Zulu Network, BitVM joue également un rôle crucial. De plus, Zulu est un contributeur majeur à BitVM : il est possible de dire que la réalisation d'une vérification zk-SNARK via le script Bitcoin constitue la étape centrale pour BitVM. Zulu a largement contribué au dépôt officiel GitHub de BitVM 2, ce qui lui a valu une reconnaissance explicite de Robin Linus, l'inventeur de BitVM.

La semaine dernière, Zulu a achevé la segmentation du script Groth16. Pour deux entrées publiques, cela a produit 1 701 sous-scripts, dont la taille totale est inférieure à 4 Mo et la profondeur de pile <1 000. Cette réussite dans la segmentation du script ZKP marque une nouvelle étape vers la commercialisation de BitVM. Grâce au travail remarquable de Zulu, BitVM2 pourra rapidement produire la première preuve SNARK sur Bitcoin. Cela démontre aussi que Zulu occupe une position technologique de pointe.

Note image : Les progrès techniques de Zulu ont reçu une reconnaissance élevée de Robin Linus, inventeur de BitVM

Présentation rapide finale de Zulu Network

Zulu Network est le premier réseau double couche de l'écosystème Bitcoin. Sa couche L2, appelée ZuluPrime, est compatible EVM, permettant aux projets EVM de se déployer rapidement et à faible coût, favorisant ainsi l'éclosion d'un écosystème dynamique. L'autre couche, nommée ZuluNexus, correspond à une couche L3. Elle unifie de manière innovante les modèles UTXO et de comptes, et introduit des contrats intelligents basés sur le modèle UTXO. Cela permet de tirer pleinement parti des avantages de l'UTXO tout en soutenant les innovations futures sur ce modèle. Zulu développe actuellement deux produits :

• Un pont Zulu capable de vérifier via ZKP l'état hors chaîne, destiné à supporter l'émission d'actifs

• Le premier pont ZK décentralisé permettant aux utilisateurs d'effectuer des opérations inter-chaînes avec des montants quelconques

Zulu n'a pas encore lancé de jeton. Ceux qui souhaitent participer précocement peuvent rejoindre l'activité de points sur le testnet actuel de Zulu. Pour plus de détails, consultez la documentation officielle : https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#