Kakarot zkEVM est une machine virtuelle Ethereum (EVM) écrite au Caire. Cairo est un langage Turing-complet associé à CairoVM. CairoVM utilise des systèmes de preuve polynomiale et ZK-STARK pour réaliser un calcul démontrable.
La caractéristique de zkEVM est qu'il peut générer des transactions prouvables, il peut donc également générer des blocs prouvables. Kakarot est construit sur CairoVM, de sorte que chaque transaction exécutée sur Kakarot est démontrable.
En général, Kakarot zkEVM est écrit en langage du Caire et utilise le système de preuve ZK-STARK pour fournir une puissance de calcul démontrable. Il permet aux développeurs de déployer des applications EVM par-dessus et permet aux utilisateurs finaux d'interagir avec ces applications à l'aide de leur chaîne d'outils habituelle.
Enfin, Kakarot fournira également une interopérabilité avec le protocole Starknet, offrant une composabilité pour les protocoles dans différents domaines tels que DeFi et GameFi.
le plan de route
Le projet a démarré en octobre 2022 avec plusieurs objectifs : open source dès le premier jour et, le plus ambitieux, créer un zkEVM en moins de 10 000 lignes de code. Ceci a été réalisé en seulement six mois. Et le testnet sortira à la fin de l'été 2023.
La feuille de route de Kakarot zkEVM est divisée en trois phases :
Phase 1 : Kakarot zkEVM sur Starknet — Apporter l'EVM à Starknet
Kakarot zkEVM existera d'abord dans la L2 de Starknet en tant qu'EVM intégré, permettant aux développeurs de déployer directement leurs contrats intelligents Solidity (ou tout langage compatible EVM) sur Starknet et d'utiliser leurs outils familiers (tels que Foundry, Hardhat, Wagmi, etc.) . Leurs utilisateurs finaux pourront interagir avec leurs dApps en utilisant leurs chaînes d'outils familières telles que Metamask, Wallet connect, etc. Dans l'ensemble, l'expérience développeur et utilisateur sur Kakarot sera exactement la même que Polygon, Scroll ou Ethereum L1
Phase 2 : Kakarot x Madara — L3 zkEVM
Kakarot et Madara seront combinés dans une pile unifiée pour activer les zkEVM L3 et là où il est logique d'activer L4, L5, etc. Les équipes pourront déployer leur chaîne d'applications zkEVM et utiliser une preuve de validité pour régler les transactions sur Starknet. Les calculs sont effectués hors chaîne ou à une couche supérieure, et vérifiés en chaîne. Ces L3 de preuve de validité (comme Kakarot) ont une propriété intéressante et sous-estimée : la capacité de découpler sécurité et décentralisation. Les utilisateurs peuvent bénéficier de la sécurité d'Ethereum L1 sans nécessiter le même niveau de décentralisation (c'est-à-dire des milliers de validateurs). Cependant, pour les rollups, la décentralisation est bénéfique car elle apporte de la vivacité et de la résistance à la censure, deux propriétés très importantes. Ceci peut être réalisé en réglant le séquenceur par centaines au lieu de milliers. L2 a un coût de gaz beaucoup plus faible et des performances (TPS) plus élevées que L2 en raison du calcul effectué sur une autre couche. Notez que L2 est déjà beaucoup moins cher que L1. Les cumuls sont empilés et multipliés pour l'évolutivité. Pour réduire davantage les coûts de gaz, la vérification des preuves et la disponibilité des données (DA) peuvent être séparées. Starknet L2 ne peut être utilisé que comme couche de vérification de preuve, tandis que de nouvelles solutions de disponibilité des données, telles que Celestia ou EigenDA, peuvent être utilisées pour publier des données de transaction. Les utilisateurs auront la possibilité d'opter pour l'un ou l'autre, en fonction de leurs besoins en matière de sécurité. La publication de preuves et de données de transaction sur Starknet est une option plus sûre, tandis que l'utilisation de solutions DA pour publier des données de transaction est une option plus économique
Phase 3 : Kakarot x Madara — type 1 zkEVM
Kakarot et Madara peuvent également être combinés pour implémenter le zkEVM de type 1. Si vous le pouvez:
Écrivez les règles de consensus Ethereum avec Cairo dans le nœud complet Madara x Kakarot, afin que le consensus L1 puisse être prouvé.
Passez de Pedersen Merkle Patricia Trie (MPT) à Keccak MPT. Ensuite, Kakarot deviendra un client zkEVM de type 1 capable d'attester des blocs L1. Il s'agit d'un cas d'utilisation plus avancé qui dépend de la feuille de route d'Ethereum, en particulier de Verge. Après Verge, keccak peut être remplacé par poseidon comme fonction de hachage de choix pour Ethereum. Cela aidera l'équipe zkEVM à être de type 1, puisque le principal obstacle à la compatibilité pour zkEVM est la disposition du stockage, c'est-à-dire la mise en œuvre de Keccak MPT à un coût démontrable et raisonnable.
Équipe:
Dans la maison d'un hacker à Lisbonne, environ une semaine de travail acharné, une dizaine de personnes ont construit un zkEVM, jusqu'à présent, l'équipe centrale de Kakarot est née.
Avec l'aide de la Fondation Starknet et Onlydust, Kakarot compte aujourd'hui plus de 40 contributeurs uniques.
**Elias Tazartes : **Co-fondateur et PDG de Kakarot, développeur indépendant spécialisé dans l'ingénierie blockchain (Dapp, Ethereum, Algorand) et le développement full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter :**Scientifique, ingénieure, entrepreneure, bricoleuse, curieuse de tout, c'est la présentation de Clément. En parallèle, il est co-fondateur et directeur technique de Kakarot
Financement :
Kakarot a actuellement réalisé un financement de pré-amorçage. Le montant du financement spécifique n'a pas été annoncé. Les équipes et le personnel impliqués dans l'investissement sont : **Starkware, LambDa. **Les investisseurs providentiels incluent Vitalik, Nicolas Bacca, co-fondateur de Ledger, et Rand Hindi, co-fondateur et PDG de ZAMA.
Résumer:
À l'heure actuelle, le développement écologique des chaînes publiques qui ne sont pas compatibles avec l'EVM est à un stade lent.À l'heure actuelle, la majeure partie de l'écologie de la chaîne publique est développée autour de l'écosystème Ethereum.Kakarot, comme la machine virtuelle Ethereum (EVM) écrite au Caire sur Starknet, peut rapidement Un bon lien entre l'écologie Starknet et l'écologie Ethereum, sur le Starknet qui n'est pas compatible avec EVM, permet à l'écologie Ethereum d'être bien construite sur Starknet, et abaisse la barrière d'entrée pour que les développeurs se développent, accèdent au la sécurité d'Ethereum et la réduction des coûts. Dans les deuxième et troisième étapes de Kakarot, une plus grande composabilité peut être obtenue et des modules tels que Celestia ou EigenDA peuvent être combinés de manière modulaire.
Comme le ZK-EVM écrit sur Starknet, la connexion avec l'écologie Starknet est comme une relation entre les lèvres et les dents, et les deux sont prospères. À l'heure actuelle, Starknet est également constamment mis à niveau de manière itérative pour améliorer l'expérience utilisateur et s'appuie sur le ZK- EVM construit par Kakarot, ça peut être très bien.Pour contribuer à la prospérité écologique du projet, au contraire, si le développement de Starknet n'est pas satisfaisant, Kakarot sera également affecté.
Un autre avantage de Kakarot est qu'il bénéficie du soutien de V God et de StarkWare, non seulement spirituellement mais aussi financièrement.
Comparé à d'autres ZK-EVM, Kakarot est désavantagé - une équipe de moins de 10 personnes, avec un budget et une marque beaucoup plus petits. C'est l'une des raisons pour lesquelles Kakarot n'est pas déployé en tant que zkEVM L2 à usage général.
À l'heure actuelle, Kakarot en est encore à ses débuts et le testnet sera publié dans un proche avenir, veuillez rester à l'écoute.
Voir l'original
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
Kakarot : Un Zk-EVM que Vitalik Buterin trouvait cool et dans lequel il investit
Écrit par : Yinan
Introduction
Kakarot zkEVM est une machine virtuelle Ethereum (EVM) écrite au Caire. Cairo est un langage Turing-complet associé à CairoVM. CairoVM utilise des systèmes de preuve polynomiale et ZK-STARK pour réaliser un calcul démontrable.
La caractéristique de zkEVM est qu'il peut générer des transactions prouvables, il peut donc également générer des blocs prouvables. Kakarot est construit sur CairoVM, de sorte que chaque transaction exécutée sur Kakarot est démontrable.
En général, Kakarot zkEVM est écrit en langage du Caire et utilise le système de preuve ZK-STARK pour fournir une puissance de calcul démontrable. Il permet aux développeurs de déployer des applications EVM par-dessus et permet aux utilisateurs finaux d'interagir avec ces applications à l'aide de leur chaîne d'outils habituelle.
Enfin, Kakarot fournira également une interopérabilité avec le protocole Starknet, offrant une composabilité pour les protocoles dans différents domaines tels que DeFi et GameFi.
le plan de route
Le projet a démarré en octobre 2022 avec plusieurs objectifs : open source dès le premier jour et, le plus ambitieux, créer un zkEVM en moins de 10 000 lignes de code. Ceci a été réalisé en seulement six mois. Et le testnet sortira à la fin de l'été 2023.
La feuille de route de Kakarot zkEVM est divisée en trois phases :
Kakarot zkEVM existera d'abord dans la L2 de Starknet en tant qu'EVM intégré, permettant aux développeurs de déployer directement leurs contrats intelligents Solidity (ou tout langage compatible EVM) sur Starknet et d'utiliser leurs outils familiers (tels que Foundry, Hardhat, Wagmi, etc.) . Leurs utilisateurs finaux pourront interagir avec leurs dApps en utilisant leurs chaînes d'outils familières telles que Metamask, Wallet connect, etc. Dans l'ensemble, l'expérience développeur et utilisateur sur Kakarot sera exactement la même que Polygon, Scroll ou Ethereum L1
Kakarot et Madara seront combinés dans une pile unifiée pour activer les zkEVM L3 et là où il est logique d'activer L4, L5, etc. Les équipes pourront déployer leur chaîne d'applications zkEVM et utiliser une preuve de validité pour régler les transactions sur Starknet. Les calculs sont effectués hors chaîne ou à une couche supérieure, et vérifiés en chaîne. Ces L3 de preuve de validité (comme Kakarot) ont une propriété intéressante et sous-estimée : la capacité de découpler sécurité et décentralisation. Les utilisateurs peuvent bénéficier de la sécurité d'Ethereum L1 sans nécessiter le même niveau de décentralisation (c'est-à-dire des milliers de validateurs). Cependant, pour les rollups, la décentralisation est bénéfique car elle apporte de la vivacité et de la résistance à la censure, deux propriétés très importantes. Ceci peut être réalisé en réglant le séquenceur par centaines au lieu de milliers. L2 a un coût de gaz beaucoup plus faible et des performances (TPS) plus élevées que L2 en raison du calcul effectué sur une autre couche. Notez que L2 est déjà beaucoup moins cher que L1. Les cumuls sont empilés et multipliés pour l'évolutivité. Pour réduire davantage les coûts de gaz, la vérification des preuves et la disponibilité des données (DA) peuvent être séparées. Starknet L2 ne peut être utilisé que comme couche de vérification de preuve, tandis que de nouvelles solutions de disponibilité des données, telles que Celestia ou EigenDA, peuvent être utilisées pour publier des données de transaction. Les utilisateurs auront la possibilité d'opter pour l'un ou l'autre, en fonction de leurs besoins en matière de sécurité. La publication de preuves et de données de transaction sur Starknet est une option plus sûre, tandis que l'utilisation de solutions DA pour publier des données de transaction est une option plus économique
Kakarot et Madara peuvent également être combinés pour implémenter le zkEVM de type 1. Si vous le pouvez:
Équipe:
Dans la maison d'un hacker à Lisbonne, environ une semaine de travail acharné, une dizaine de personnes ont construit un zkEVM, jusqu'à présent, l'équipe centrale de Kakarot est née.
Avec l'aide de la Fondation Starknet et Onlydust, Kakarot compte aujourd'hui plus de 40 contributeurs uniques.
**Elias Tazartes : **Co-fondateur et PDG de Kakarot, développeur indépendant spécialisé dans l'ingénierie blockchain (Dapp, Ethereum, Algorand) et le développement full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter :**Scientifique, ingénieure, entrepreneure, bricoleuse, curieuse de tout, c'est la présentation de Clément. En parallèle, il est co-fondateur et directeur technique de Kakarot
Financement :
Kakarot a actuellement réalisé un financement de pré-amorçage. Le montant du financement spécifique n'a pas été annoncé. Les équipes et le personnel impliqués dans l'investissement sont : **Starkware, LambDa. **Les investisseurs providentiels incluent Vitalik, Nicolas Bacca, co-fondateur de Ledger, et Rand Hindi, co-fondateur et PDG de ZAMA.
Résumer:
À l'heure actuelle, le développement écologique des chaînes publiques qui ne sont pas compatibles avec l'EVM est à un stade lent.À l'heure actuelle, la majeure partie de l'écologie de la chaîne publique est développée autour de l'écosystème Ethereum.Kakarot, comme la machine virtuelle Ethereum (EVM) écrite au Caire sur Starknet, peut rapidement Un bon lien entre l'écologie Starknet et l'écologie Ethereum, sur le Starknet qui n'est pas compatible avec EVM, permet à l'écologie Ethereum d'être bien construite sur Starknet, et abaisse la barrière d'entrée pour que les développeurs se développent, accèdent au la sécurité d'Ethereum et la réduction des coûts. Dans les deuxième et troisième étapes de Kakarot, une plus grande composabilité peut être obtenue et des modules tels que Celestia ou EigenDA peuvent être combinés de manière modulaire.
Comme le ZK-EVM écrit sur Starknet, la connexion avec l'écologie Starknet est comme une relation entre les lèvres et les dents, et les deux sont prospères. À l'heure actuelle, Starknet est également constamment mis à niveau de manière itérative pour améliorer l'expérience utilisateur et s'appuie sur le ZK- EVM construit par Kakarot, ça peut être très bien.Pour contribuer à la prospérité écologique du projet, au contraire, si le développement de Starknet n'est pas satisfaisant, Kakarot sera également affecté.
Un autre avantage de Kakarot est qu'il bénéficie du soutien de V God et de StarkWare, non seulement spirituellement mais aussi financièrement.
Comparé à d'autres ZK-EVM, Kakarot est désavantagé - une équipe de moins de 10 personnes, avec un budget et une marque beaucoup plus petits. C'est l'une des raisons pour lesquelles Kakarot n'est pas déployé en tant que zkEVM L2 à usage général.
À l'heure actuelle, Kakarot en est encore à ses débuts et le testnet sera publié dans un proche avenir, veuillez rester à l'écoute.