Auteur : 1912212.eth, Foresight News

L'infrastructure ZK continue de gagner la faveur du capital-risque. Aligned Layer, qui vient de finaliser un financement de démarrage de 2,6 millions de dollars en avril de cette année, a finalisé un cycle de financement de série A de 20 millions de dollars en moins de deux mois. Son cycle de démarrage a été dirigé par Lemniscap, avec la participation de StarkWare, O(1)Labs et d'autres institutions. Le cycle A a été dirigé par Hack VC, avec la participation de dao5 et d'autres.

Quelles sont les caractéristiques d’Aligned qui attirent tant d’investisseurs en capital-risque ?

Introduction à Aligné

De l’avis d’Aligned, la « génération de preuves » ne sera pas le plus gros goulot d’étranglement du secteur à l’avenir, mais la vérification des preuves en chaîne. À l’heure actuelle, les applications basées sur ZK ne peuvent pas fonctionner efficacement sur Ethereum en raison des coûts de vérification élevés.

Aligned est une couche de vérification et d'agrégation construite sur EigenLayer qui permet une vérification rentable de toute preuve SNARK en tirant parti de la sécurité des validateurs Ethereum. Aligned pourrait avoir plus d'applications en dehors d'Ethereum et aider d'autres chaînes à valider les données. Aligned Layer a été créé et développé par la startup d'infrastructure Ethereum Yet Another Company, qui a levé 1 million de dollars de financement en janvier de cette année.

Comme le montre le diagramme de présentation, la couche 0 est la couche Bitcoin, Ethereum et DA, Aligned est la couche de vérification de la couche 1 et le niveau 2 correspond aux autres couches, telles que la chaîne d'applications, zkML, zkEVM Rollup, etc.

Comment fonctionne Aligné

Dans la vague de conception modulaire, il est courant de diviser plusieurs processus en plusieurs couches dédiées. D'une couche unique chargée d'effectuer la vérification, le règlement, le consensus jusqu'au DA, la conception modulaire après division améliore l'efficacité et réduit les coûts.

Aligned contient principalement quatre éléments de base. Parmi eux, Aligned reçoit principalement des preuves de différents systèmes de preuves et les vérifie. Ces preuves peuvent être générées à l'aide de différents systèmes de preuves. Ils ont des tailles d'épreuve, des temps de vérification et une logique de vérification différents. Cependant, toutes les preuves ont un point commun : elles sont rapides à vérifier.

Aligned dispose de validateurs dédiés qui peuvent être utilisés pour vérifier la validité de chaque validateur et publier les résultats sur Ethereum. Les preuves sont stockées au niveau de disponibilité des données, ce qui constitue une stratégie de stockage rentable. Les opérateurs d'Aligned obtiennent les données pour la preuve à partir de cette couche.

Ethereum reçoit les résultats de vérification d'Aligned. Cependant, Ethereum lui-même ne peut pas vérifier les preuves en raison de son coût élevé. Au lieu de cela, le prouveur Rust normal génère des preuves de vérification pour toutes les preuves contenues dans une période de temps donnée.

Afin d'agréger toutes les preuves, dans un premier temps, toutes les preuves sont converties en preuves exécutées par une machine virtuelle, obtenant ainsi l'uniformité des preuves. Nous pouvons ensuite réduire la taille de la preuve en prouvant la preuve de manière récursive, comme le montre l'arborescence :

Applications

Aligned a déclaré que ses orientations d'application possibles incluent une variété de catégories, telles que : la finalité douce des Rollups et des chaînes d'applications, le pontage rapide, les protocoles P2P basés sur SNARK, tels que les systèmes de paiement et les réseaux sociaux, les chaînes publiques qui interagissent avec Ethereum et les machines. apprentissage, oracle ZK, protocole de vérification d'identité, jeux en chaîne, etc.

Actuellement, Aligned prend en charge Platinum Prover de Cairo STARK, Plonk de gnark, Kimchi de Mina, SP1 de SuccintLabs et Jolt de a16z. Le coût de la vérification dépend du type de preuve et de sa taille.

De plus, Aligned a lancé un réseau de test simple basé sur le SDK Cosmos en mars et migrera vers le réseau de test EigenLayer.