Présentation de ZkSync, par sisyfos - Les Amis d’Ethereum France #18
Ethereum France Talks · 18 Jan 2024 · 12:02
A Matter Labs community manager presents ZKsync and argues that proving the transition of the Ethereum virtual machine, rather than the validity of each transaction, brings cheap storage updates, in theory some native privacy, and horizontal scaling. He claims fees stayed low on ZKsync during the October to January wave of inscription spam that raised gas on Optimism, Arbitrum and Polygon zkEVM, because transactions are batched into state differences. The ZK Stack is described as a toolkit for launching a custom Layer 2 or Layer 3 with options such as a centralized sequencer, fees paid in any ERC-20 or a fully private chain, while shared circuits could allow trustless bridging between chains.
Topics
From Ethereum France Talks, hosted by Ethereum France.
Transcript
bonsoir à tous Tout d'abord merci beaucoup à France à Nathan pour l'organisation de ce meop c'est c'est chouette d'être ici avec vous ce soir je m'appelle Esteban en ligne CC faos je suis community manager chez ZK ça fait maintenant enfin chez Mor Labs la team qui est derrière le protocole ZK ça fait maintenant 2 ans que que je suis chezlps ce soir j'aimerais vous parler de trois sujets premièrement le zik credo deuxièmement zik Sy et troisièmement le zik stack récemment on il y a eu un article dans sur le blog de de vitalque qui appelait la communauté à rendre etheréum cyherpk again c'est cyherpk c'est c'est vague
mais en même temps il y a quelques valeurs dans le mouvement cyherpk sur lequel les gens sont pas prêts à faire du compromis l'une d'entre elles par exemple c'est la résistance à l'ensure S ou bien avoir des systèmes où on a pas besoin de confiance dans lequel on peut vérifier l'intégrité des transactions l'intégrité l'intégrité du de la blockchain la sécurité la protection de la vie privée ce sont des valeurs qui sont dans le mouvement cyher punk et la team de matur la en septembre déjà on a publié un document qui s'appelle le zque credo il est aujourd'hui disponible surthub en français github/ zcing/cedo et vous pourrez le trouver en français dans lequel on on
met par écrit en fait notre notre engagement envers les valeurs cyherpunk et la technologie zero zero proof et voilà c'est j'aimerais voilà je voulais partager ça et puis les valeurs du zic et credo sont aussi les valeurs qui guident le développement notre développement du protocole mais maintenant on trend dans le vif de sujet je vais vous parler de de rollup vous savez peut-être la qu'il y a une grande famille de de rollup de layer two ou de deuxième couche les deux grandes familles sont en fait les les optimistic roll up et puis les Ike rollup comme l'a dit Nathan comme l'a dit Lucas avant les optimistic rollup c'est un peu de la game theory ils sont ils sont sécurisés par un consensus social tandis que les Ike rollup sont
sécurisés par des par des maths eu au sein de la famille zik rollup on a aussi une Vitali a créé une distinction les types 0 type 1 type 2 type 3 type 4 qui sont en fait différentes on va dire différentes compatibilités avec les VM ou équivalence avec les VM mais on pourrait introduire une autre distinction c'est qu'est-ce qui est prouvé au fait par le système de zeroge proof si on a des il y a des solutions comme le polygone zkvm ou le scroll zkvm dans lequel chaque transaction ou chaque chaque transaction en fait la validité des transactions est prouvée par une zero knowledge proof dans les systèmes tels que Starware ou Z cas ce qu'on prouve c'est pas la validité d'une
transaction ce qu'on prouve c'est c'est la validité de la transition euh de l'Ethereum euh de la machine virtuelle ethereum en fait ce qu'on prouve c'est qu'on que l'Ethereum à la machine virtuelle etheréum àant T et qui passe à un instant T + 1 on prouve que cette transation transition est valide euh il y a beaucoup d'avantages en fait à utiliser ce type d'architecture euh je vais vous passer quelques minutes en fait présenter cette architecture mais euh l'un d'eux c'est chip fees euh des gazfix qui sont plutôt bas euh la vie privée euh enfin la confidentialité des transactions et eu en fait starquare ZK sera et le zikesta utilise ce ce type d'architecture où nous prouvons que la
transition euh de l'Ethereum virtuel machine est correcte en utilisant des euh en fait une combinaison de Stark et de Snark euh alors il a il y a trois avantages en fait que ici que je vais mentionner pour d'utiliser en fait euh de prouver la la la transition de de la machine virtuelle ethereum le premier c'est lorsqu'on doit fréquemment mettre à jour des storage slots eu en fait ça devient vraiment très bon marché sur sur Z casing ou sur Star qu parce que on a seulement besoin de en fait d'un storage slot à intenter un storage slot à la fin et entre deux on
peut en fait le mettre à jour autant de fois qu'on veut ça c'est c'est ça devent un bon marché alors par ex exemp avoir des oracles qui sont qui sont hyper rapides aujourd'hui je crois qu'on met un jour un oracle à peu près chaque 20 minutes on peut imaginer des oracles qui sont mis à jour chaque seconde parce que c'est bien en fait très bon marché la deuxième raison c'est que comme on met ensemble on a pas besoin en fait de l'intégrité de la transaction on a pas besoin de l'intégralité de la transaction on a seulement besoin en fait d'un batch et puis de prouver que que la transition est correcte en théorie on pourrait prendre les données de ces transactions seulement accessible par les personnes qui émettent une transaction et donc avoir nativement une une certaine forme de de confidentialité
ou de vie privée en fait sur le layer sur la deuxième couche finalement et je pense que c'est la plus importante et la plus intéressante c'est ce qu'on appelle horizontal scalling mise à l'échelle horizontale peut-être ce qui c'est-à-dire que on peut avoir du vertical scalling dans les cas des blockchain monoloique comme comme Solana ou bien on peut avoir du ce qu'on appelle de horizontal scaling c'est-à-dire d'avoir une infinité de d'application euh d'applications qui qui tournent mais qui sont pas constreints euh euh constraint par un par un par un goulot d'étranglement par exemple comme un sequencer ou par votre power euh on l'a vu par exemple sur récemment je crois que entre Octobre et et janvier
il y a eu beaucoup de chaînes VM qui ont été spammé par des les inscription je sais pas si vous avez vu ça on a vu les gas fis qui ont qui ont pique sur optimism arbitrum sur euh euh sur polygon zikvm mais mais pas sur zik euh et en fait c'est c'est une une des raisons pour laquelle ça s'est passé c'est parce que justement on l'tie de state difference et que que on batche les transactions euh en les batch et puis euh contrairement à layer one plus il y a transaction qui se passe sur layer two moins euh euh en fait moins moins cher sera la transaction euh le gasfis par transaction euh je crois qu'il y a un consensus au sein de la communauté étherum que la plupart
des coûts des gaz fis dans le futur ou enfin euh à dans dans le futur cours et à moyen temps il sera principalement dû au data data availability cost on a des solutions comme Celestia comme Agen layer qui commence à émerger qui pour pour pour rendre justement ce ces coups bon marché euh on peut le faire et puis dépendre après avoir des on va dire des trust assumption qui sont un peu plus euh qui sont différentes de du layer one ou bien on peut utiliser des architectures qui mettent ensemble toutes ces transactions et puis qui qu'il prouve la validité de ses transactions comme comme comme ce qu'on fait sur zkn H je vous invite à voir deux articles qui je pense super
intéressant ici un il est écrit par poulinaya je sais pas si vous vous connaissez le chercheur et le deuxième il est écrit par onekx et les deux en fait je pense que en fait ils ils font l'argument que que St c'est peut-être un design qui peut être très intéressant pour rendre ethereum scalable et cheip les l'implémentation pratique ça cé la théorie l'implémentation pratique première implémentation pratique ça été zik sera qui est un layer two deuxème couche qui utilise les zero knowledge proof on a upgradé notre prouur en décembre une solution qu'on appelle Bou
boujou et depuis décembre de façon consistante za et le layer avec les f les plus bas du marché et par par une grande marge par rapport à autres ZVM même pas sur gra polygone ou scroll parce que justement utilise cette architecture un autre per pour vous si vous développez des applications sur les VM vous pouvez les déployer sur ZK il y a beaucoup d'utilisateurs je crois qu'on a une des plus hautes activités utilisateur depuis depuis depuis qu'on est sur mainnet en avril l'année passée et finalement et là là c'est entre guillemets on est sécurisé on s'est jamais on est jamais assez sécurisé mais
on a fait beaucoup d'audit avec code for Arena on a eu un un bounty je crois de 1 million alborn open zeplin plusieurs audit trail of bits pour sécuriser en fait les divers éléments de de de Z cas sy h Z casing c'est un un layer to il a été créé par matterlabs mais vous avez aussi la possibilité de créer votre propre layer to vous avez peut-être entendu parler de l'opistac qui permet de créer des super chain il a une solution similaire mais au lieu d'utiliser les fr proof et puis optimistic rollup vous pouvez utiliser les Z rollup et on appelle ça le zikestack zikestack c'est aussi un stack qui a été créé produit par matterlab je vous montre je vous invite à visiter le
site Web zikestac.io essentiellement il vous permet de déployer votre propre layer to ou layer 3 qui SLE donc sur zik sera avec de façon totalement personnalisée vous pouvez avoir un rollup qui a un séquenceur centralisé vous pouvez avoir vous pouvez payer vos gas fees en n'importe quel C20 vous pouvez avoir une blockchain qui est totalement privée ou bien vous pouvez enfin voilà quel que soit vos besoins vous pouvez utiliser le zik stack la technologie derrière zik sera pour déployer vot blockchain en layer two ou bien bien en layer 3 donc qui s'étale sur sur zik senera comme l'a mentionné Lucas un fractal
scalling c'est très similaire à ce que Luc a présenté avant c'est le concept de fractal scalling à partir du moment où des blockchains partagent la même architecture le même prouur le même verifier on peut imaginer des écosystèmes dans lequels on peut bridge entre les blockchains de façon sans sans sans trustless trustless fion sans sans confiance et voilà on on peut imaginer ça on peut imaginer on a pas besoin de fragmenter les liquidités entre les différentes blockchains non plus si vous avez si vous partagez de nouveau le la même architecture le même prou les mêmes circuits et et voilà donc le le zic STAC ouvre des possibilités de scaling qui
sont on dit limitless dans le sens que on pouvait scaler de façon très très horizontal avec n'importe quel type d'application ou bien aussi de façon verticale en mettant en mettant d'autres d'autres applications au sein du par exemple sur layertu H voilà je sais pas si vous avez des questions sur sur la technologie on peut en parler juste après je voulais juste donner un petit mot sur la communauté zking on a une grosse on a des gros hub de Communauté en Naas aussi en au sein en Europe de l'Est Z casing Japon zking Chine zking Ukraine zking Indonésie sont des grosses communautés euh peut-être un jour zking France on aimerait on est
toujours à la recherche d'ambassadeurs ou de personnes qui sont prêts à représenter zking euh dans le monde entier et puis donc si vous êtes intéressé n'hésitez pas à m'écrire un DM soit sur discord soit sur Twitter et puis on peut en discuter merci à [Applaudissements] vous