1/ Manta Pacifique

Manta Pacific est une solution Ethereum Layer 2 conçue pour les applications ZK. Il s'agit d'une couche 2 modulaire construite sur Ethereum et a obtenu un financement de plus de 60 millions de dollars auprès d'institutions telles que Polychain, Binance Labs, CoinFund et SevenX Ventures.

Manta Pacific est actuellement basé sur une architecture OP Stack personnalisée de Caldera, ce qui la rend presque 100 % compatible avec l'EVM Ethereum. Cela permet aux développeurs existants de l’écosystème Ethereum de migrer de manière transparente leurs applications vers Manta Pacific.

Manta Pacific déplace la couche de disponibilité des données d'Ethereum vers Celestia, ce qui en fait la première couche 2 à utiliser Celestia comme couche de disponibilité des données.

Manta intègre également des circuits ZK dans Manta Pacific. Les développeurs peuvent facilement appeler des fonctions ZK avec seulement quelques lignes de code via des SDK et des API, permettant l'intégration de ZK avec les DApp existantes ou le développement de nouvelles applications ZK.

2/ Modularité

La modularité fait référence à une conception de produits et à une réflexion architecturale courantes dans les industries Web2 et traditionnelles. Par exemple, les fabricants de smartphones choisissent des fournisseurs pour les écrans, les puces, le WiFi, le Bluetooth, etc., puis font appel à des sous-traitants pour l'assemblage, améliorant ainsi considérablement l'efficacité et réduisant les coûts, plutôt que de produire eux-mêmes tous les composants.

En règle générale, une blockchain peut être décomposée en couche de consensus, couche de règlement, couche de disponibilité des données et couche d'exécution.

Le réseau principal d'Ethereum gère les responsabilités finales en matière de consensus et de règlement, tandis que les projets de couche de disponibilité des données incluent Celestia, EigenDA, Polygon Avail, etc. Les Ethereum Layer 2 courants sont des projets de couche d’exécution.

1. La modularité signifie la personnalisation et une plus grande composabilité. Les projets peuvent faire des compromis en fonction de leurs besoins, comme confier la sécurité au réseau principal Ethereum tout en recherchant des frais de gaz faibles, voire nuls, et des vitesses de transaction ultra élevées.

2. La modularité permet aux projets de construire leur chaîne sur la base de piles techniques éprouvées comme Polygon CDK ou OP Stack sans construire toute l'infrastructure à partir de zéro.

3/ La modularité de Manta Pacific

La conception modulaire de Manta englobe deux aspects :

1. Manta Pacific utilise des piles technologiques matures telles que OP Stack et Polygon CDK pour mettre en œuvre son architecture modulaire.

Contrairement à d'autres solutions de couche 2, Manta Pacific n'a pas construit son infrastructure à partir de zéro, mais a plutôt utilisé la pile technologique mature existante OP Stack.

Si Manta était une marque de smartphone nouvellement créée, utiliser OP Stack reviendrait à utiliser directement la chaîne d'approvisionnement et l'architecture technologique de l'iPhone.

L'avantage de cette approche est qu'Optimism est un projet testé par le marché baissier et que sa pile technologique, OP Stack, a également subi des tests de marché à long terme et est très mature. Manta Pacific peut directement reposer sur les épaules de géants, héritant dans une large mesure des avantages de sécurité et techniques existants d'OP Stack.

De plus, il atteint une compatibilité EVM totale, permettant aux développeurs de migrer facilement les DApps existantes vers Manta Pacific. Plus important encore, Manta peut se concentrer davantage sur la construction d’écosystèmes et l’expansion de projets. À ce jour, Manta Pacific a vérifié plus de 810 contrats intelligents sur sa chaîne, avec plus de 200 projets écosystémiques.

2. Manta Pacific utilise Celestia comme couche de disponibilité des données, ce qui signifie que la sécurité de la disponibilité des données est en partie garantie à la fois par le réseau principal Ethereum et par Celestia. Si les nœuds du séquenceur publient des données authentiques, les données correspondantes peuvent être trouvées à la fois sur le réseau principal Ethereum et sur Celestia.

Le séquenceur de Manta Pacific spécifie la hauteur du bloc pour la publication de blobs sur Ethereum. Si le blob n’est pas présent à cette hauteur, la transaction n’est pas valide.

Le séquenceur publie des données : une transaction dans la boîte de réception, codée en trois parties : un numéro de version (0x02), une hauteur de bloc (0xa4aa050000000000) et un engagement de blob (la partie restante). En spécifiant la hauteur, les nœuds savent où chercher.

Par exemple, 0xa4aa050000000000 est le codage little-endian de la hauteur du bloc, converti en bloc 371364. Vous pouvez trouver le même bloc sur https://celenium.io/block/371364.

Le bloc contient un bloc dans l'espace de noms de Manta Pacific. Des données complètes peuvent être trouvées :

Si le séquenceur publie des données falsifiées, les nœuds ne pourront pas trouver l'engagement à la hauteur de bloc spécifiée.

3. Les circuits ZK de Manta sont conçus de manière modulaire, ce qui rend les fonctionnalités ZK intégrées à Manta Pacific. Les développeurs peuvent entièrement appeler et implémenter les fonctions et fonctionnalités ZK dans Manta Pacific, ce qui le différencie des autres ZK Rollups ou zkEVM. Les développeurs peuvent également facilement appeler des circuits ZK pour combiner les fonctions ZK avec des applications.

Dans les interactions ZK Rollup, les utilisateurs échangent au sein du ZK Rollup, et le séquenceur du Rollup agit comme le prouveur, séquençant les transactions des utilisateurs, compressant, empaquetant et générant des preuves ZK. Les contrats intelligents du réseau principal Ethereum agissent en tant que vérificateurs, vérifiant l'exactitude de la preuve ZK, vérifiant ainsi l'exactitude des transactions qu'elle représente.

Le contrat intelligent du réseau principal n'a pas besoin d'effectuer une validation complexe des transactions ZK Rollup, et une preuve ZK peut représenter l'exactitude de davantage d'informations sur les transactions, permettant ainsi l'évolutivité et améliorant la capacité du réseau principal Ethereum à confirmer les transactions.

En comparaison, les utilisateurs de Manta Pacific agissent comme des prouveurs, générant des preuves ZK localement lors de la soumission de transactions. Les assembleurs en chaîne agissent en tant que vérificateurs, validant les preuves ZK. Les transactions vérifiées sont ensuite compressées par le séquenceur et soumises au réseau principal Ethereum. Au sein de la couche 2, Manta Pacific achève la génération et la validation du ZK, réalisant ainsi pleinement les fonctionnalités du ZK.

4/ SUR PILE

OP Stack est une pile technologique blockchain modulaire et open source lancée par l'équipe Optimism, conçue pour fournir des solutions blockchain hautement évolutives et hautement interopérables. OP Stack adopte une conception modulaire, chaque module implémentant une couche spécifique de la pile et se connectant via des API bien définies. Cela permet aux développeurs de modifier facilement les modules existants ou d'en créer de nouveaux, prenant en charge différents types d'applications et d'innovations blockchain.

L'objectif d'OP Stack est d'aller au-delà des modèles traditionnels à chaîne unique ou multi-chaînes et de promouvoir une structure composée de chaînes hautement intégrées, connue sous le nom de Superchain. La Superchain, en partageant des formats de messagerie, permet à différentes chaînes de communiquer facilement sans adaptateurs personnalisés pour chaque chaîne. Il prend également en charge la composabilité atomique entre chaînes, où plusieurs chaînes opérationnelles partagent un ensemble de séquenceurs, garantissant des interactions au niveau atomique entre les chaînes.

5/ Couche de disponibilité des données (couche DA)

La couche de disponibilité des données garantit que toutes les données d'un réseau blockchain, en particulier les données de couche 2, peuvent être consultées et vérifiées publiquement. La couche de disponibilité des données permet à tout participant de récupérer ces données pour valider l'état du réseau et la validité des transactions, offrant une garantie cruciale de transparence et de sécurité de la blockchain.

6/ Célestia

Celestia fournit une couche de disponibilité et de consensus des données enfichable, basée sur le consensus Cosmos Tendermint et le SDK Cosmos, compatible avec les chaînes EVM et les chaînes d'applications Cosmos. Ces chaînes peuvent utiliser directement Celestia comme couche de disponibilité des données, avec des données de bloc stockées, consultées et vérifiées via Celestia. Celestia prend également en charge les rollups natifs, permettant les constructions de couche 2, bien qu'il ne prenne pas en charge les contrats intelligents.

Les rollups s'intègrent à Celestia en exécutant des nœuds Celestia. Celestia reçoit les informations sur les transactions Rollup, commande les transactions via le consensus Tendermint, mais n'exécute ni ne valide l'exactitude des transactions. Il emballe, commande, diffuse les transactions et garantit la sécurité et la disponibilité des données grâce au codage d'effacement et à l'échantillonnage de disponibilité des données (DAS).

7/ Circuits ZK

Dans les preuves à connaissance nulle, les « circuits » sont un moyen de représenter des algorithmes et des fonctions complexes. Ici, les circuits ne font pas référence aux circuits électroniques traditionnels mais à une structure mathématique ou logique.

Dans le contexte des preuves à connaissance nulle, les circuits sont souvent utilisés pour décrire ou définir un problème ou un énoncé spécifique.

Les principales fonctions des circuits :

1. Description du problème : les circuits peuvent décrire ou définir un problème ou une déclaration spécifique. Par exemple, le prouveur peut vouloir prouver qu’il connaît l’entrée qui satisfait un circuit spécifique.

2. Confidentialité des détails : en utilisant des circuits, le prouveur peut prouver qu'il connaît des informations qui satisfont aux conditions du circuit sans révéler le contenu spécifique de ces informations.

3. Vérifiable : les circuits permettent au vérificateur de vérifier l'exactitude de la preuve sans connaître l'entrée spécifique utilisée par le prouveur.

4. Généralité et réutilisabilité : une fois définis, les circuits peuvent être utilisés pour une variété de problèmes et de scénarios. C'est pourquoi certains frameworks ZKP supportent des circuits dits « universels », capables de décrire et de résoudre divers problèmes.

En résumé, les circuits dans les preuves à connaissance nulle agissent comme un pont, reliant les déclarations que le prouveur veut prouver au besoin du vérificateur de vérifier la déclaration, sans révéler aucune information au-delà de la déclaration elle-même. Les circuits sont utilisés pour définir les calculs à prouver. Chaque application spécifique nécessite ses propres circuits. Différents services (tels que zkEVM, ZKML, ZK Oracle, ZK Bridge et diverses preuves de consensus et d'état) nécessitent différents circuits.

8/ Circuits universels ZK par Manta Pacific

Manta Pacific est une solution de couche 2 conçue spécifiquement pour les applications ZK (Zero-Knowledge), offrant une compatibilité quasi totale avec l'environnement Ethereum EVM (Ethereum Virtual Machine) et le langage de programmation Solidity. Récemment, Manta Pacific a lancé Universal ZK Circuits 2.0, une bibliothèque ZK orientée développeur qui permet l'intégration de contrats compatibles ZK dans les contrats intelligents Solidity et les dApps existants avec seulement quelques lignes de code.

Les circuits Universal ZK fournissent ZK-as-a-Service pour les développeurs Solidity. Actuellement, il comprend le circuit MantaPay existant de Manta Network, le circuit zkShuffle et les circuits ZK du projet Semaphore de la Fondation Ethereum.

Grâce aux circuits universels sur Manta Pacific, les développeurs peuvent facilement déployer des applications ZK natives EVM. Ils peuvent également appeler des contrats compatibles ZK pour leurs contrats intelligents Solidity et leurs dApps existants via des API avancées.

Par exemple, un développeur créant une application de jeu de cartes en chaîne peut utiliser le circuit zkShuffle pour mettre en œuvre un mélange et une distribution décentralisés de cartes. Un exemple pratique de développement d'applications ZK simplifié avec Manta Universal Circuits est zkHoldem.

Avant l'introduction des circuits universels, la création de zkShuffle et d'applications ZK similaires nécessitait une construction manuelle de circuits et des conversions entre des langages de programmation comme Rust et Solidity. Cependant, avec l’introduction des circuits universels Manta, cette complexité a été considérablement réduite.

Avec les circuits universels de Manta Pacific, la création d'applications ZK est devenue plus simple et plus efficace.