Comment ZKM entre-t-il sur le créneau des couches 2 Bitcoin ?

Rédaction : Lanhu Biji

Voir ZKM entrer également sur le segment des couches 2 du BTC montre que ce secteur deviendra tout comme celui des L2 Ethereum de plus en plus concurrentiel. La configuration finale du marché dépendra encore des évolutions technologiques et commerciales.

La technologie sous-jacente de ZKM est zkVM, dont l'objectif ultime est de faire adopter sa technologie zkVM par davantage de projets et d'écosystèmes afin de devenir une infrastructure fondamentale. Par exemple, elle permettrait de relier les actifs de différents écosystèmes (Ethereum, Bitcoin, Cosmos, etc.), générant ainsi une meilleure liquidité. Dans ce cadre général, on comprend mieux pourquoi ZKM s'engage dans le domaine des L2 BTC.

En revenant aux solutions techniques, les technologies clés de ZKM reposent principalement sur deux aspects : « l’architecture Entangled Rollup + zkVM ». Ces deux composantes visent à résoudre deux problématiques majeures du marché : premièrement, garantir la sécurité des actifs ; deuxièmement, assurer la durabilité de son propre réseau.

Actuellement, la sécurité des ponts entre chaînes suscite beaucoup d’intérêt sur le marché. Pour y répondre, ZKM a mis en place un mécanisme appelé « Entangled Rollup Network » (réseau de regroupement intriqué), qui utilise une preuve de connaissance nulle récursive pour synchroniser les états entre blockchains, sans recourir aux mécanismes traditionnels de ponts pour transférer des actifs. Ce cadre avait déjà été concrétisé précédemment sur Ethereum, via le mécanisme Optimistic Rollup de Metis. Aujourd’hui, ZKM tente d’appliquer cette approche et ce cadre, tout en l’adaptant aux spécificités propres au niveau 1 du Bitcoin, pour développer ainsi sa propre couche 2 BTC. Bien entendu, le BTC ne supportant pas les contrats intelligents, relever ce défi représente une difficulté bien plus grande. ZKM cherche donc à utiliser Entangled Rollup pour centraliser les états vers le réseau ZKM, puis transmettre ces états vérifiés à d'autres écosystèmes. En ce qui concerne la sécurité des actifs BTC, une méthode de contrôle local est adoptée : par exemple, les BTC sont gérés par un script multisignature, et tant qu’au moins une partie honnête existe, les malveillants ne peuvent pas retirer les BTC mis en gage. Du côté de la L2, un séquenceur décentralisé est utilisé, garantissant de manière décentralisée l’inclusion et la finalité des transactions. L’exécution des lots de transactions sur la L2 devrait également être validée via des scripts BTC.

ZKM introduit un mécanisme OCP (Optimistic Challenge Process), similaire en partie à une version BTC du système de preuve optimiste des L2 Ethereum. Le principe général est le suivant : lorsque les utilisateurs déposent des actifs sur la L2 (ZKM), ceux-ci sont verrouillés dans un script multisignature pré-signé de type n-sur-n, les signataires étant généralement des tiers indépendants ou des auditeurs. Le script d’échange multisignature s’active après une période de défi définie, pendant laquelle les signataires envoient préalablement les actifs à l’utilisateur cible, lançant ainsi la phase de défi. Durant cette phase, les signataires pré-signent une transaction contenant à la fois le script de défi et le script d’actif. Pour initier le script de défi, il suffit de payer une entrée UTXO afin de lancer la procédure, exigeant alors de l’opérateur qu’il tente d’ouvrir son engagement en fournissant une trace intermédiaire du calcul vers le script d’actif. Si cet engagement ne peut être validement ouvert, le validateur recevra tous les actifs à l’issue de la période de défi, ou bien les actifs en jeu seront attribués au signataire. La trace d’exécution est soumise via TapTree, chaque feuille de l’arbre représentant une valeur intermédiaire. Chaque valeur intermédiaire est calculée à l’aide d’une signature à usage unique, utilisant la valeur précédente comme entrée. Grâce à cette méthode, le script BTC exécute directement ce calcul et finalise la validation des actifs sur chaîne. Autrement dit, ZKM cherche à garantir la sécurité des calculs hors chaîne via le mécanisme OCP, assurant ainsi que les transactions L2 soient incluses dans un réseau de séquenceurs décentralisés.

zkVM constitue depuis longtemps une exploration fondamentale importante dans le domaine de la cryptographie, et zkVM de ZKM en est une variante. Contrairement à RISC Zero et SP1, l’un des points distinctifs de ZKM est son support natif du langage Golang (RISC Zero et SP1 supportant Rust). ZKM permet aux développeurs Golang d’utiliser le compilateur Vanilla Golang pour compiler leur code en instructions MIPS, puis d’utiliser le réseau de preuve de ZKM pour attester de son exécution. À l’avenir, ZKM prévoit également d’ajouter le support de Rust.

Outre la sécurité des actifs sur la blockchain BTC, le marché s’intéresse également à la durabilité du réseau L2 ZKM lui-même. Pour être durable, chaque participant au réseau doit pouvoir bénéficier de revenus réguliers. Dans la L2 BTC de ZKM, le concept de séquenceur décentralisé est introduit, et ces nœuds séquenceurs perçoivent des récompenses proportionnelles à leur contribution. ZKM prévoit d’allouer 40 % de ses jetons aux participants au minage (incluant les nœuds séquenceurs, la mise en gage de liquidités et le minage sur le réseau de preuve). Autrement dit, les nœuds séquenceurs pourront percevoir non seulement les frais de gaz des transactions L2, mais aussi des revenus issus du minage.

Selon la tendance actuelle, l’exploration des L2 BTC se poursuivra, tant dans la voie des L2 natives que dans celle des L2 compatibles EVM. La piste des L2 natives repose sur l’exploration d’une tension interne à l’écosystème, soutenue par une base fidèle en raison de son caractère natif. Quant à la voie des L2 compatibles EVM, elle vise non seulement à étendre l’écosystème BTC, mais aussi à proposer une direction exploratoire pour l’intégration de davantage d’écosystèmes.