Contrairement à la tendance, il a levé 12 millions de dollars US et a été sélectionné par Sequoia.Quelle est l'origine de Taiko, un rookie Type-1 zkEVM ?
Note de l'éditeur : Selon Odaily Planet Daily, le 8 juin, Taiko, le réseau Ethereum de deuxième niveau basé sur zkRollup, a réalisé deux tours de financement d'amorçage totalisant 22 millions de dollars. Le premier tour de financement est de 10 millions de dollars US, dirigé par Sequoia China, et se clôturera au troisième trimestre 2022. Le dernier cycle de financement de série A de 12 millions de dollars a été mené par Generative Ventures.
Si vous avez suivi un peu la scène Ethereum sans connaissance, vous avez probablement entendu les noms Polygon, Starkware, Scroll et zkSync.
En fait, vous avez probablement non seulement entendu parler d'eux, mais vous les avez vus sur Twitter débattre de toutes sortes de questions : quelle est la véritable définition de zkEVM, qui a déployé/déployera/déployera zkEVM pour la première fois sur le réseau principal Ethereum, qui est le commercialiser mieux, et d'autres questions importantes et moins importantes.
Quelle que soit votre opinion sur leurs arguments, tous ces projets travaillent dur pour faire évoluer Ethereum.
Mais un nouvel acteur émerge, relativement discret mais tout aussi viable que les autres. Ce nouveau joueur est Taiko – un zkEVM qui vise à être un équivalent entièrement décentralisé et sans connaissance d'Ethereum. Autant que je sache, aucune autre équipe zkEVM ne tente actuellement de réaliser cet exploit, donc je pense que Taiko mérite une attention particulière.
Voyons ce qu'est Taiko.
arrière-plan
Taiko ("tambour" en japonais) a été fondé début 2022 par Daniel Wang, Brecht Devos et d'autres grands noms du domaine. Avant de commencer Taiko, les deux travaillaient chez Loopring, le premier cumul de connaissances zéro déployé sur Ethereum.
Je pense qu'il est important de comprendre rapidement le rôle que Loopring a joué dans la création et le développement de Taiko. À l'origine, le zkEVM Taiko était en train de construire devait faire partie des efforts de Loopring pour apporter aux masses Ethereum alimenté par une preuve de connaissance zéro.
Cependant, au cours de la phase de développement, Wnag et son équipe ont réalisé que confondre les deux pouvait être assez déroutant, puisque Loopring est une extension spécifique à l'application, tandis que Taiko est destinée à être une extension à usage général. En conséquence, Taiko s'est séparé de Loopring et s'est développé indépendamment.
Taiko compte actuellement environ 20 employés de pays tels que la Turquie, l'Autriche, la Barbade, la Chine, l'Inde, les États-Unis, le Canada, l'Ukraine, etc.
détails techniques
Type-1 zkEVM
La principale caractéristique qui différencie Taiko de ses concurrents (ou plutôt de ses pairs) est son objectif d'être un zkEVM de type 1. Le zkEVM de Type-1 s'efforce d'être pleinement équivalent à Ethereum, ce qui signifie qu'il n'apporte aucune modification au système Ethereum pour faciliter la génération de preuves à connaissance nulle.
Avant de plonger, il est important de noter que le zkEVM de Taiko est un fork de l'effort communautaire de l'équipe Privacy and Scaling Explorations (PSE). Taiko utilise ce fork pour tester de nouvelles choses, puis contribue au zkEVM de PSE afin que tout projet développant un zkEVM de type 1 (pas encore) puisse bénéficier de cette recherche.
Le zkEVM de type 1 espère être entièrement compatible avec Ethereum. Dans le cas de Taiko, il a l'intention d'être l'équivalent d'Ethereum au niveau de l'opcode, ce qui signifie que les fonctions de hachage, les contrats précompilés, les arborescences de transactions et d'états et d'autres logiques de cohérence ne changeront pas. Cependant, comme indiqué dans le livre blanc de Taiko, le protocole désactive actuellement certaines propositions d'amélioration Ethereum (EIP), mais cela changera avec le temps.
Devenir l'équivalent d'Ethereum apporte de nombreux avantages aux développeurs. Par exemple, les développeurs peuvent migrer en toute transparence leurs contrats intelligents et leurs applications décentralisées (dApps) vers Taiko. Ceci est très important car si une dApp comme Uniswap souhaite migrer vers Taiko, elle n'a pas besoin de modifier son protocole. Sinon, réécrire le code dans un langage de programmation différent de Solidity ou apporter d'autres modifications introduirait immédiatement de multiples risques pour la sécurité du protocole, ainsi que pour les actifs qu'il contient.
Au-delà de cela, dans le cas de Taiko, la compatibilité a été encore améliorée. Le client Taiko est basé sur le client Ethereum testé au combat Go-Ethereum. Cela signifie qu'ils sont plus familiers et plus faciles à utiliser pour ceux qui souhaitent participer. Du point de vue de l'utilisateur final, la possibilité d'utiliser Uniswap sur Taiko par rapport au réseau principal Ethereum maintient, voire améliore, la cohérence, l'accessibilité et la satisfaction des utilisateurs.
Bien sûr, il y a des compromis à faire pour poursuivre la voie de la compatibilité parfaite. Le principal défi avec les zkEVM de type 1 comme Taiko est une génération de preuve à connaissance zéro plus lente. Étant donné qu'Ethereum n'a pas envisagé l'intégration de preuves à connaissance nulle au début de sa conception, de nombreuses parties du protocole nécessitent de nombreux calculs pour générer des preuves à connaissance nulle.
Cependant, une conception de protocole appropriée peut atténuer ce problème. Voyons comment Taiko peut accélérer la génération de preuves sans connaissance.
Accélération de la génération de preuves sans connaissance
Taiko accélère la génération de preuves sans connaissance de plusieurs manières :
Tous les blocages proposés sur Taiko L2 sont validés immédiatement car ils sont déterministes et non révocables. "Déterministe" signifie que n'importe qui peut calculer l'état de la chaîne après exécution. Il suffit de passer le test de validité intrinsèque une seule fois lorsque le bloc L2 est soumis à Taiko L1 pour être considéré comme vérifié.
Étant donné que tous les blocs de proposition Taiko L2 sont déterministes, ils peuvent être prouvés en parallèle et les preuves peuvent être validées dans n'importe quel ordre. Par exemple, le prouveur #1 peut vérifier le bloc #1 en même temps, et le prouveur #2 peut vérifier le bloc #2 en même temps. Cela signifie que seul le Taiko L1 doit attendre plus longtemps pour la preuve.
Tous ces éléments peuvent accélérer dans une certaine mesure la génération de preuves à connaissance nulle. Pour les utilisateurs finaux, cela signifie une finalité instantanée sur L2 et une transition plus rapide de L2 à L1.
Collaborer Taiko
Le protocole zéro connaissance de Taiko déploie deux contrats intelligents sur le réseau principal Ethereum (L1) et Taiko L2 :
Les contrats intelligents L1 sont utilisés pour proposer, prouver et vérifier les blocs L2.
Les contrats intelligents L2 sont actuellement utilisés pour prouver l'invalidité des blocs proposés et les ancrer, un moyen pour le protocole de tirer parti de la programmabilité de l'EVM pour appliquer certains comportements de protocole.
zkSNARKs
Le protocole Taiko utilise des preuves Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zkSNARK). Au moins en théorie, les zkSNARK sont considérés comme moins évolutifs que les zkSTARK et nécessitent un processus de configuration fiable. Cependant, les zkSNARK sont plus légers que les zkSTARK et prennent donc moins de temps à vérifier. Et zkSNARK nécessite moins de gaz, offrant des transactions moins chères.
Pour générer des zkSNARK, Taiko utilise le système de preuve Global No Interaction Proof of Knowledge (PLONK) basé sur la cardinalité lagrangienne. L'avantage de PLONK est qu'il s'appuie sur une cryptographie standard et que ses preuves sont de petite taille. Cependant, Taiko étudie également la possibilité de combiner PLONK avec d'autres systèmes de preuve tels que Plonky 2, Hyperplonk et Halo.
Le réseau Taiko est composé de trois participants :
Le proposant construit un bloc Rollup basé sur les transactions de l'utilisateur L2 et le soumet au client Taiko L1. Ils décident quelles transactions sont incluses dans un bloc et comment les classer.
Le prouveur génère des preuves zkSNARK pour confirmer la validité des transactions et des blocs L2. Ils décident quels blocs doivent être vérifiés en chaîne.
Les opérateurs de nœud exécutent des transactions à partir des données de la chaîne pour rester synchronisés avec l'état de la chaîne. Les proposants et les prouveurs exécutent également des nœuds, mais ceux qui souhaitent fournir d'autres services (tels que des explorateurs de blocs) doivent également exécuter un nœud.
Point Taiko L2
Les nœuds L2 de Taiko récupèrent les données de transaction d'Ethereum et exécutent ces transactions sur Taiko L2. Comme nous l'avons mentionné précédemment, les nœuds L2 de Taiko sont basés sur Go-Ethereum.
Veuillez lire le livre blanc de Taiko pour des détails techniques plus détaillés.
Progrès en cours
Taiko a récemment lancé son premier réseau de test, appelé Snæfellsjökull, d'après un volcan dans l'ouest de l'Islande. Les utilisateurs peuvent tester Taiko en testant des ponts entre Ethereum A1 et Taiko A1, en transférant des jetons entre différents comptes, en interagissant avec des contrats et en exécutant des nœuds de proposition.
Du point de vue des tests, le testnet a été un énorme succès. En un peu plus d'une semaine, le réseau Taiko L2 a traité plus de 1,6 million de transactions, plus de 650 000 blocs et 275 000 adresses de portefeuille. On peut dire que Snæfellsjökull a explosé.
Source : explorer.a 1.taiko.xyz.
L'équipe Taiko a l'intention d'éliminer progressivement Snæfellsjökull au cours des prochains mois et de le remplacer par un nouveau réseau de test qui utilisera une technologie sans connaissance. D'autres réseaux de test amélioreront les versions précédentes et mettront en œuvre des modèles économiques symboliques.
Taiko n'a pas précisé quand son lancement sur le réseau principal aurait lieu, mais a mentionné la fin de 2023 ou l'année prochaine comme plus probable.
La foi de Taiko
Bien que Taiko soit assez différent dans la conception technique des autres zkEVM dans ce domaine, sa poursuite mérite également d'être discutée.
Taiko affirme qu'il veut être accessible, inclusif, ouvert, sans autorisation et décentralisé. En fait, il espère pouvoir mettre en service un ensemble entièrement décentralisé de proposants et de démonstrateurs. Cela diffère des autres zkEVM car la plupart d'entre eux choisissent de commencer par la centralisation et deviennent progressivement décentralisés.
Taiko pense qu'être entièrement décentralisé et poursuivre les mêmes objectifs qu'Ethereum est indispensable pour devenir un équivalent d'Ethereum. Au-delà de cela, l'équipe a l'intention de lancer un DAO dans le futur. Le co-fondateur Wang a également déclaré que Taiko espère fonctionner comme une organisation à but non lucratif.
La lecture des valeurs de Taiko ne peut s'empêcher de se sentir très avant-gardiste, presque révolutionnaire. Cela me rappelle l'énoncé de mission de zkSync. J'espère que Taiko tiendra sa promesse et deviendra le premier zkEVM de type 1 entièrement décentralisé à atterrir sur le réseau principal Ethereum.
Conclusion
Le zkEVM de type 1 a ses avantages et ses inconvénients. Mais que se passe-t-il si ses inconvénients sont négligeables par rapport aux avantages qu'il offre ? Et si l'équivalent Ethereum, apparemment la norme la plus élevée, combiné aux moyens existants et potentiels d'accélérer la génération de preuves à connaissance nulle, faisait vraiment du Type-1 zkEVM un gagnant à long terme ? Il y a encore beaucoup d'inconnues, mais au moins Vitalik semble impliquer qu'un zkEVM de type 1 est le bon choix.
Quant à Taiko, je pense qu'il a trouvé le bon endroit au bon moment. 2023 semble être une année réservée au Build. Si Taiko atteint ses objectifs et lance son réseau principal cette année ou au début de l'année prochaine, il pourrait être l'un des grands gagnants du prochain cycle d'adoption.
Taiko est clairement seul, essayant de réaliser des exploits extraordinaires. Que cela réussisse est une autre question, mais à en juger par ce que Wang et son équipe ont réalisé avec le Loopring, les chances semblent être de leur côté. Si Taiko gagne, Ethereum sera également gagnant.
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.
Contrairement à la tendance, il a levé 12 millions de dollars US et a été sélectionné par Sequoia.Quelle est l'origine de Taiko, un rookie Type-1 zkEVM ?
Écrit par : umede.eth
Compilation: Odaily Planet Daily jk
Note de l'éditeur : Selon Odaily Planet Daily, le 8 juin, Taiko, le réseau Ethereum de deuxième niveau basé sur zkRollup, a réalisé deux tours de financement d'amorçage totalisant 22 millions de dollars. Le premier tour de financement est de 10 millions de dollars US, dirigé par Sequoia China, et se clôturera au troisième trimestre 2022. Le dernier cycle de financement de série A de 12 millions de dollars a été mené par Generative Ventures.
Si vous avez suivi un peu la scène Ethereum sans connaissance, vous avez probablement entendu les noms Polygon, Starkware, Scroll et zkSync.
En fait, vous avez probablement non seulement entendu parler d'eux, mais vous les avez vus sur Twitter débattre de toutes sortes de questions : quelle est la véritable définition de zkEVM, qui a déployé/déployera/déployera zkEVM pour la première fois sur le réseau principal Ethereum, qui est le commercialiser mieux, et d'autres questions importantes et moins importantes.
Quelle que soit votre opinion sur leurs arguments, tous ces projets travaillent dur pour faire évoluer Ethereum.
Mais un nouvel acteur émerge, relativement discret mais tout aussi viable que les autres. Ce nouveau joueur est Taiko – un zkEVM qui vise à être un équivalent entièrement décentralisé et sans connaissance d'Ethereum. Autant que je sache, aucune autre équipe zkEVM ne tente actuellement de réaliser cet exploit, donc je pense que Taiko mérite une attention particulière.
Voyons ce qu'est Taiko.
arrière-plan
Taiko ("tambour" en japonais) a été fondé début 2022 par Daniel Wang, Brecht Devos et d'autres grands noms du domaine. Avant de commencer Taiko, les deux travaillaient chez Loopring, le premier cumul de connaissances zéro déployé sur Ethereum.
Je pense qu'il est important de comprendre rapidement le rôle que Loopring a joué dans la création et le développement de Taiko. À l'origine, le zkEVM Taiko était en train de construire devait faire partie des efforts de Loopring pour apporter aux masses Ethereum alimenté par une preuve de connaissance zéro.
Cependant, au cours de la phase de développement, Wnag et son équipe ont réalisé que confondre les deux pouvait être assez déroutant, puisque Loopring est une extension spécifique à l'application, tandis que Taiko est destinée à être une extension à usage général. En conséquence, Taiko s'est séparé de Loopring et s'est développé indépendamment.
Taiko compte actuellement environ 20 employés de pays tels que la Turquie, l'Autriche, la Barbade, la Chine, l'Inde, les États-Unis, le Canada, l'Ukraine, etc.
détails techniques
Type-1 zkEVM
La principale caractéristique qui différencie Taiko de ses concurrents (ou plutôt de ses pairs) est son objectif d'être un zkEVM de type 1. Le zkEVM de Type-1 s'efforce d'être pleinement équivalent à Ethereum, ce qui signifie qu'il n'apporte aucune modification au système Ethereum pour faciliter la génération de preuves à connaissance nulle.
Avant de plonger, il est important de noter que le zkEVM de Taiko est un fork de l'effort communautaire de l'équipe Privacy and Scaling Explorations (PSE). Taiko utilise ce fork pour tester de nouvelles choses, puis contribue au zkEVM de PSE afin que tout projet développant un zkEVM de type 1 (pas encore) puisse bénéficier de cette recherche.
Le zkEVM de type 1 espère être entièrement compatible avec Ethereum. Dans le cas de Taiko, il a l'intention d'être l'équivalent d'Ethereum au niveau de l'opcode, ce qui signifie que les fonctions de hachage, les contrats précompilés, les arborescences de transactions et d'états et d'autres logiques de cohérence ne changeront pas. Cependant, comme indiqué dans le livre blanc de Taiko, le protocole désactive actuellement certaines propositions d'amélioration Ethereum (EIP), mais cela changera avec le temps.
Devenir l'équivalent d'Ethereum apporte de nombreux avantages aux développeurs. Par exemple, les développeurs peuvent migrer en toute transparence leurs contrats intelligents et leurs applications décentralisées (dApps) vers Taiko. Ceci est très important car si une dApp comme Uniswap souhaite migrer vers Taiko, elle n'a pas besoin de modifier son protocole. Sinon, réécrire le code dans un langage de programmation différent de Solidity ou apporter d'autres modifications introduirait immédiatement de multiples risques pour la sécurité du protocole, ainsi que pour les actifs qu'il contient.
Au-delà de cela, dans le cas de Taiko, la compatibilité a été encore améliorée. Le client Taiko est basé sur le client Ethereum testé au combat Go-Ethereum. Cela signifie qu'ils sont plus familiers et plus faciles à utiliser pour ceux qui souhaitent participer. Du point de vue de l'utilisateur final, la possibilité d'utiliser Uniswap sur Taiko par rapport au réseau principal Ethereum maintient, voire améliore, la cohérence, l'accessibilité et la satisfaction des utilisateurs.
Bien sûr, il y a des compromis à faire pour poursuivre la voie de la compatibilité parfaite. Le principal défi avec les zkEVM de type 1 comme Taiko est une génération de preuve à connaissance zéro plus lente. Étant donné qu'Ethereum n'a pas envisagé l'intégration de preuves à connaissance nulle au début de sa conception, de nombreuses parties du protocole nécessitent de nombreux calculs pour générer des preuves à connaissance nulle.
Cependant, une conception de protocole appropriée peut atténuer ce problème. Voyons comment Taiko peut accélérer la génération de preuves sans connaissance.
Accélération de la génération de preuves sans connaissance
Taiko accélère la génération de preuves sans connaissance de plusieurs manières :
Tous les blocages proposés sur Taiko L2 sont validés immédiatement car ils sont déterministes et non révocables. "Déterministe" signifie que n'importe qui peut calculer l'état de la chaîne après exécution. Il suffit de passer le test de validité intrinsèque une seule fois lorsque le bloc L2 est soumis à Taiko L1 pour être considéré comme vérifié.
Étant donné que tous les blocs de proposition Taiko L2 sont déterministes, ils peuvent être prouvés en parallèle et les preuves peuvent être validées dans n'importe quel ordre. Par exemple, le prouveur #1 peut vérifier le bloc #1 en même temps, et le prouveur #2 peut vérifier le bloc #2 en même temps. Cela signifie que seul le Taiko L1 doit attendre plus longtemps pour la preuve.
Tous ces éléments peuvent accélérer dans une certaine mesure la génération de preuves à connaissance nulle. Pour les utilisateurs finaux, cela signifie une finalité instantanée sur L2 et une transition plus rapide de L2 à L1.
Collaborer Taiko
Le protocole zéro connaissance de Taiko déploie deux contrats intelligents sur le réseau principal Ethereum (L1) et Taiko L2 :
zkSNARKs
Le protocole Taiko utilise des preuves Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zkSNARK). Au moins en théorie, les zkSNARK sont considérés comme moins évolutifs que les zkSTARK et nécessitent un processus de configuration fiable. Cependant, les zkSNARK sont plus légers que les zkSTARK et prennent donc moins de temps à vérifier. Et zkSNARK nécessite moins de gaz, offrant des transactions moins chères.
Pour générer des zkSNARK, Taiko utilise le système de preuve Global No Interaction Proof of Knowledge (PLONK) basé sur la cardinalité lagrangienne. L'avantage de PLONK est qu'il s'appuie sur une cryptographie standard et que ses preuves sont de petite taille. Cependant, Taiko étudie également la possibilité de combiner PLONK avec d'autres systèmes de preuve tels que Plonky 2, Hyperplonk et Halo.
Le réseau Taiko est composé de trois participants :
Point Taiko L2
Les nœuds L2 de Taiko récupèrent les données de transaction d'Ethereum et exécutent ces transactions sur Taiko L2. Comme nous l'avons mentionné précédemment, les nœuds L2 de Taiko sont basés sur Go-Ethereum.
Veuillez lire le livre blanc de Taiko pour des détails techniques plus détaillés.
Progrès en cours
Taiko a récemment lancé son premier réseau de test, appelé Snæfellsjökull, d'après un volcan dans l'ouest de l'Islande. Les utilisateurs peuvent tester Taiko en testant des ponts entre Ethereum A1 et Taiko A1, en transférant des jetons entre différents comptes, en interagissant avec des contrats et en exécutant des nœuds de proposition.
Volcan Snæfellsjökull. Source : Magazine islandais.
Du point de vue des tests, le testnet a été un énorme succès. En un peu plus d'une semaine, le réseau Taiko L2 a traité plus de 1,6 million de transactions, plus de 650 000 blocs et 275 000 adresses de portefeuille. On peut dire que Snæfellsjökull a explosé.
Source : explorer.a 1.taiko.xyz.
L'équipe Taiko a l'intention d'éliminer progressivement Snæfellsjökull au cours des prochains mois et de le remplacer par un nouveau réseau de test qui utilisera une technologie sans connaissance. D'autres réseaux de test amélioreront les versions précédentes et mettront en œuvre des modèles économiques symboliques.
Taiko n'a pas précisé quand son lancement sur le réseau principal aurait lieu, mais a mentionné la fin de 2023 ou l'année prochaine comme plus probable.
La foi de Taiko
Bien que Taiko soit assez différent dans la conception technique des autres zkEVM dans ce domaine, sa poursuite mérite également d'être discutée.
Taiko affirme qu'il veut être accessible, inclusif, ouvert, sans autorisation et décentralisé. En fait, il espère pouvoir mettre en service un ensemble entièrement décentralisé de proposants et de démonstrateurs. Cela diffère des autres zkEVM car la plupart d'entre eux choisissent de commencer par la centralisation et deviennent progressivement décentralisés.
Taiko pense qu'être entièrement décentralisé et poursuivre les mêmes objectifs qu'Ethereum est indispensable pour devenir un équivalent d'Ethereum. Au-delà de cela, l'équipe a l'intention de lancer un DAO dans le futur. Le co-fondateur Wang a également déclaré que Taiko espère fonctionner comme une organisation à but non lucratif.
La lecture des valeurs de Taiko ne peut s'empêcher de se sentir très avant-gardiste, presque révolutionnaire. Cela me rappelle l'énoncé de mission de zkSync. J'espère que Taiko tiendra sa promesse et deviendra le premier zkEVM de type 1 entièrement décentralisé à atterrir sur le réseau principal Ethereum.
Conclusion
Le zkEVM de type 1 a ses avantages et ses inconvénients. Mais que se passe-t-il si ses inconvénients sont négligeables par rapport aux avantages qu'il offre ? Et si l'équivalent Ethereum, apparemment la norme la plus élevée, combiné aux moyens existants et potentiels d'accélérer la génération de preuves à connaissance nulle, faisait vraiment du Type-1 zkEVM un gagnant à long terme ? Il y a encore beaucoup d'inconnues, mais au moins Vitalik semble impliquer qu'un zkEVM de type 1 est le bon choix.
Quant à Taiko, je pense qu'il a trouvé le bon endroit au bon moment. 2023 semble être une année réservée au Build. Si Taiko atteint ses objectifs et lance son réseau principal cette année ou au début de l'année prochaine, il pourrait être l'un des grands gagnants du prochain cycle d'adoption.
Taiko est clairement seul, essayant de réaliser des exploits extraordinaires. Que cela réussisse est une autre question, mais à en juger par ce que Wang et son équipe ont réalisé avec le Loopring, les chances semblent être de leur côté. Si Taiko gagne, Ethereum sera également gagnant.