jakiro
Auteur: Elias Tazartes, Kakarot Zkevm Co -founder et PDG;
Kakarot Zkevm est sur le point de saisir le réseau de test.
Cet article discutera du caractère unique de Kakarot.
Les constructeurs EVM perturbateurs ont étendu l’espace de conception de l’expérience utilisateur, et ils verront un environnement enthousiaste et amical à Kakarot.
1Ainsi queKakarotBrève introduction
Kakarot est un langage supportable qui prend en charge la prise en charge de StarkNet et de toutes les chaînes Starknetos (également connu sous le nom de chaîne Cairovm ou de chaîne d’applications Starknet).Kakarot est un zkrollup compatible avec Ethereum.En plus de la compatibilité, Kakarot s’efforce également de promouvoir plus d’innovation dans l’espace L2 et d’ajouter de nouvelles fonctionnalités telles que l’abstraction EVM telles que les comptes natifs.L’esprit de conduite de Kakarot est la preuve, l’extension et l’innovation.
2Ainsi queKakarotVision
Dans cet article, nous présenterons ce que Kakarot est différent et pourquoi il est important de mettre fin aux utilisateurs et aux constructeurs.Après des années de développement à travers l’écosystème Ethereum, nous avons formé trois croyances fermes.
-
Le TPS n’est pas important qu’un certain seuil.Les utilisateurs veulent un niveau de réponse qui équivaut à Web3 DAPP en tant qu’applications Web2 et DAPPS Web3 rapides.En d’autres termes, les utilisateurs veulent une vitesse de transaction de niveau sous-deuxième.Cela signifie généralement que pour atteindre 10 000 TPS, il faut encore attendre quelques années (nous devons encore résoudre le problème de la croissance de l’état ensemble).
-
Les frais de négociation sont les principaux obstacles.Comme l’a dit Vitalik dans un article de blog: « Je pense que le coupable qui mène à cette transformation (ouverture Web3) est la hausse des coûts de transaction. »
-
Un autre obstacle majeur adopté à grande échelle est l’expérience utilisateur.À Kakarot, nous pensons que le statu quo de l’expérience utilisateur Web3 doit être considérablement amélioré.Par exemple, notre objectif est de fournir un autre choix à ceux qui ne veulent pas gérer les mots, ou ceux qui recherchent la plupart des DAPP pour réaliser une expérience de fonctionnement à clic (c’est-à-dire plusieurs appels).
Pour résumer ces trois points, Kakarot peut former sa promesse aux utilisateurs et sa position dans la concurrence actuelle de Rollup dans Ethereum:
Tout en fournissant des transactions à faible coût et rapide,KakarotLe but est de diriger l’abstraction basée sur le compte (appelez plus,SICRET ENCLAVE SIGNIFIERPublier et une version de fonction rapide (par exemple, d’abord dans la plupart des similairesEIP) Innovation actuelle de l’utilisateur.
3Ainsi queKakarotConception: La séparation inévitable de la cryptographie et de l’ingénierie
Dans un sens, l’architecture de Kakarot est inévitable car elle est créée sur la base du premier principe.Le noyau de Kakarot est construit avec le Caire de haut niveau de niveau.Cela fait de Kakarot le seul ZKEVM qui est vraiment séparé par la cryptographie et l’ingénierie, qui correspond à « ZK » et « EVM » dans ZKEVM (à l’exception du Reth de Zeth et Sp1 actuellement en phase de recherche).
Que signifie cette séparation pour notre équipe?Cela signifie un développement plus rapide, moins de code (encore moins de code à écrire que les circuits personnalisés), une maintenance plus facile et toutes les innovations au Caire dans la vérification et les logiciels open source.
L’idée de séparation est non seulement élégante, mais aussi le seul moyen de soutenir l’expansion future.Pour ZKEVM, qui construit un circuit personnalisé, il a été prouvé pour prendre en charge la fourchette du réseau principal et innover via de nouveaux EIP à l’avance.
Nous pensons que davantage de participants passeront à des machines virtuelles intermédiaires éprouvées dans ce domaine.Aujourd’hui, les deux options qui peuvent prouver et les logiciels adaptables sont:
-
Utilisez le langage LLVM et prouvez-le, comme la rouille à LLVM, puis RISC-V s’est avéré utiliser RISC-Zero VKVM (comme le code de rouille de Revm peut s’avérer être Zeth).
-
En utilisant le langage du Caire, il s’agit d’un langage de programmation pour la «conception de la preuve» conçue pour Cairovm.
Nous sommes convaincus que le Caire aura toujours de meilleures performances (tandis que d’autres ZKVM peuvent être plus pratiques), car sa construction intègre le concept de preuve, qui est différent des autres ZKVM.Au cours des prochaines années, le Caire sera prouvé être l’outil le plus pratique et le plus efficace pour l’écriture de logiciels.
4Fixé par l’utilisateur
Il est bon de développer des logiciels simples et faciles à utiliser, mais les utilisateurs finaux ne s’en soucient pas.Ils ne se soucient pas de savoir si l’arrière de WhatsApp fonctionne sur AWS ou sur son propre cloud, et ne se soucie pas du langage de programmation écrit en télégramme.L’utilisateur final attend une valeur ajoutée évidente.
Le défi auquel nous sommes confrontés dans le processus de construction de Kakarot est de convertir cet énorme avantage d’ingénierie (un langage intermédiaire éprouvé de haut niveau) en valeur ajoutée de notre communauté.
Nous espérons montrer notre adaptabilité rapide au changement d’Ethereum.Les deux premiers avantages évidents que nous offrons à la communauté sont:
-
Kakarot Zkevm intégrera immédiatement le réseau principal de Dencun à la division dure: tous les nouveaux codes et mises à jour de nouveaux opérations seront inclus dans (tStore, etc.).
-
Une feuille de route coopérative, des tests d’utilisateurs, une construction itérative.
Prenons un peu de temps pour découvrir le deuxième point.Nous sommes libres et nous pouvons rapidement atteindre des fonctions importantes (parce que notre communauté choisira).À notre étape du réseau de test, nous publierons de nouvelles fonctionnalités et demanderons à notre communauté de choisir les fonctionnalités les plus utiles.Nous sommes heureux d’essayer certaines de nos idées dans notre réseau de test: appels natifs, EOA avec FACEID (ou signataire matériel), abstraction de compte natif de priorité mobile, intégration précoce, etc.!
Lorsque nous explorons de nouvelles fonctionnalités avec nos constructeurs et nos communautés d’utilisateurs finaux, n’oubliez pas que le Caire et ses écosystèmes se développent activement en arrière-plan!Plus de 100 employés de Starkware travaillent dur pour créer la prochaine génération de prover pour le Caire.Dans le même temps, plus de 500 développeurs et participants aux infrastructures de la communauté des développeurs du Caire construisent de nouvelles bibliothèques de code et percées, et celles-ci, Kakarot sera intégrée à l’avenir (comme l’exécution parallèle).
Il existe un bon exemple qui peut refléter notre avantage concurrentiel, c’est-à-dire la dernière recherche sur l’amélioration des provers lancée par Starkware et Polygon Labs: Circle Stark.Le Caire devient de plus en plus fort!
Kakarot peut non seulement utiliser l’innovation dynamique de l’écosystème du Caire (prouve l’augmentation de la vitesse, le support de bibliothèques de code open source telles que SECP256R1), mais développe également un développement à vitesse élevée avec une forte flexibilité (s’adapter aux fourches dures et EIP).
5Ainsi queKakarotDernière dynamique
Sur la base de l’esprit de cohérence pure et de la devise de « It Just Works », l’objectif de Kakarot est de passer le test Ethereum (test EVM officiel de la Fondation Ethereum).Cette étape confirmera notre compatibilité complète avec Ethereum et fera également des développeurs éviter les problèmes fragmentés EVM.
De cette façon, Kakarot offrira une expérience de développement transparente.Nous voulons que les développeurs se concentrent sur des choses importantes pour eux: leurs protocoles ou DAPP.
Maintenant, Kakarot a réussi plus de 90% du test (c’est-à-dire plus de 18 000 tests).Nous avons établi une confiance dans notre EVM, et maintenant il est temps de faire face au monde réel.
La dernière situation de Kakarot est que nous entrons dans l’étape du réseau de test!Pour atteindre cet objectif, nous travaillons avec Karnot et Starkware, et ils nous aideront à gérer notre pile.Au cours des deux prochains trimestres de 2024, nous (espérons le faire) avec vous (espoir) pour vérifier notre technologie avec notre communauté.Vous pouvez prêter une attention particulière à notre compréhension dynamique de la date d’ouverture du réseau de tests public sur Twitter!À l’heure actuelle, le réseau de test n’est pas divulgué.
Ce qui suit est une image simplifiée du principe de travail du réseau de test Kakarot:
6,en conclusion
Les derniers développements de Kakarot: le deuxième et le troisième trimestre de 2024 ont lancé le réseau de test.
L’avantage unique de Kakarot réside dans sa conception: se tenir sur l’épaule d’un géant cryptographique et se concentrer sur le projet.Utilisez cet avantage pour devenir une équipe plus adaptative et publiez des produits plus rapidement (environ 6 personnes et contributeurs ont construit deux implémentations ZKEVM uniques en moins d’un an).
L’objectif de Kakarot est d’être compatible avec le réseau principal Ethereum.Nous sommes complètement assurés de garantir la garantie aux communautés de nos constructeurs par le biais de la Fondation Ethereum.À ce jour, nous avons réussi plus de 90% du test Ethereum.Notre objectif est de permettre aux développeurs de n’avoir aucun fardeau psychologique en matière de compatibilité et de fonctionnalité.
La mission de Kakarot est d’apporter plus d’innovation dans l’espace L2 (appels multiples, signatures en enclaves sécurisées, payeur, exécution parallèle, etc.) et soutenir le développement à long terme (Zkevm de type 1, preuve du réseau principal, pur équivalent, etc.) .
En utilisant le Caire, Kakarot peut évoluer rapidement et rapidement.Une petite arrogance nous permet: Kakarot est là, nous sommes destinés à venir.
