Les Amis d’Ethereum France #5 — Zero Knowledge @P2P Festival

Transcript

à tous difficile de passer après ça on en est philippe honigman je suis ravi de vous accueillir ce soir au double titre de peer-to-peer festival dont c'est la 1re journée et de déterrer en france pour une soirée autour des 0 knowledge à l'origine la personne qui te présenter et qui a organisé cette fois et c'est nathan s'exerce été en france a pas pu venir donc voilà je le remplace mais merci à lui d'avoir préparé toute cette soirée quelques mots sur été en france on est une association loi 1901 à but non

lucratif on existe depuis 2015 on est dédié a été réinhumé au bloc chaînes publiques on n'est pas sectaire n'est pas maximaliste on vise surtout à promouvoir l'éducation et les rencontres on n'entend pas les rencontres autour de ces sujets on a un site web était de france.com où on publie pas mal d'articles et ont traduit aussi des articles techniques yellow peppers des terrains beaucoup beaucoup d'articles voilà et puis bien sûr on est connu aussi pour nos événements donc les amis des terrains de france une session qu'on a

commencé une série de sessions qu'on a commencé depuis quelques mois c'est la 5e ce soir et puis est ici que vous connaissez sans doute quelques uns des plus gros événements européens autour des terrains hommes et qui a lieu cette année en juillet j'en reparlerai quelques instants nous soutient pour ce soir c'est en bas là bon voila et un protocole et un token qui vise à promouvoir et à soutenir financièrement les projets communautaires sur été hommes y a attaqué à un incubateur est un investisseur de projets crypto français c'est un mot un samouraï coop qui fait la capture vidéo le montage vidéo puisque maintenant nos sessions sont publiées sur youtube dans les jours qui

suivent la session et enfin xxi amphores qui est un petit fonds d'amorçage treptow les prochains événements il y aura un ami d'été rome en mai s'est pas encore défini ni le contenu ni la date on lundi qu ici parce que si vous avez envie de parler de sujets il ya souvent des projets qui présentent leurs contenus lors de ces sessions mais c'est aussi ouvert des intervenants techniques sur des sujets divers donc n'hésitez pas à proposer du contenu on se fera un plaisir de vous accueillir et puis bien sûr il ya être ici donc je vais pas je vais en parler tout de suite

être 6,6 cette année c'est en juillet donc du 19 au 21 c'est encore un peu plus gros que l'année dernière il ya trois ans piqueur l'année dernière on avait été un peu bloqué par la jauge à cause du coc vide cette année on va accueillir 2000 personnes le maximum qu'on puisse accueillir à la maison de la mutualité donc il ya tout l'écosystème et théréau mais au delà qui vient à paris il ya beaucoup de gens qui ne seront pas la conférence parce que malheureusement on peut pas vendre à ces tickets en raison des limitations du lieu mais il ya beaucoup d'événements qui se font en périphérie au tour et c'est le but de letizi week de réunir le maximum d'événements on en prévoit à peu près une centaine qui auront lieu pendant

toute cette semaine là si vous avez des événements que vous même vous les organiser n'hésitez pas à nous les communiquer parce qu'on a un site qui s'appelle est ici week dot fr qui permet de publier d'ailleurs vous avez un bouton dessus vous pouvez publier votre événement de façon à ce que les gens savent où vous vous trouvez j'oublie rien là-dessus oui bien sûr et la prochaine vague de tickets c'est le 30 avril donc dans deux jours je crois et pour terminer la journée de ce soir dont d'accord on va commencer avec léo cyrus le sitio de 6 mo pour vous présenter tornado cash en tant que application du zkk grande échelle et puis ensuite on aura une présentation

d'alexandre de consensus sur les qualifie m et enfin henry s'il arrive à temps il n'est pas arrivé là non il est pas encore arrivé donc s'il arrive d'amsterdam attend présentera les l'état des écailles des êtres carole hop on rit liautaud de deux stars quoi voilà merci beaucoup d'être présent et puis je laisse la parole à léo bonjour à tous je m'appelle les hauts de six mots et je vais vous montrer un petit peu tornado cache donc tornado cash c'est un des seuls exemples ça fait partie des peu d'exemples 2-0 knowledge qui sont vraiment en production donc c'est très intéressant parce que c'est

quelque chose qui fonctionne vraiment qui amène en cas parts d'usagé très concret voilà donc sur était rome vous avez des adresses et pouvait faire des transactions pour envoyer de l'éther d'ombragé simplifier on a zéro x 1 et 0 x2 et on veut transférer 1 et r donc le problème particulier c'est que si ces deux adresses m'appartiennent dès que je vais envoyer cet éther je vais faire un lien direct entre ces deux adresses par exemple si le zéro x 1c mon acompte principal donc c'est mon camp bancaire avec tout mon argent et que j'envoie un éther sur les os et les os x 21 6 mo point est qui est mon adresse plutôt public je vais

directement faire un lien entre ces deux adresses et tout le monde pourra savoir main toute ma vie donc c'est ce qu'on appelle se faire doc ces êtres toc c'est de révéler son identité derrière alors bon là les os x 21 ans on voit clairement que c'est moi mais je pourrais avoir un compte anonyme par exemple et je révélerai directement dit est entre mes différents à quand donc c'est exactement ce que fait tornado cage c'est de trouver une solution à ce problème donc comment on pourrait le faire et on a pour trouver cette solution il existe deux possibilités soit il ya un échange donc en fait on va envoyer de l'argent à 0 x1 sur par exemple been ans et de binh ans on va le renvoyer sur 0 x2 donc c'est ce qu'on appelle de la custode

privacy c'est que c'est la privacy qui est très steed par bin ans par exemple et au final c'est pas vraiment la privacy puisque eux ils connaissent exactement tous les échanges qui sont faits la deuxième solution c'est utiliser un mixeur donc un mixeur ça va être un nom qui social privé si c'est exactement ce que fait tornado cash c'est que ça va vivre de façon décentralisée indépendamment en tant que smart contracte sur les blocs chaîne voilà dans la doc a annonc é c'est-à-dire l'été rome 1er célébrer les six solutions qui font les deux en fait donc si je reprends mon mon exemple 2 0 x1 sur lequel je veux envoyer un éther vers x 0 x2 on va essayer de voir comment on préfère ça de façon donc en

passant à priori par un contrat donc on va avoir deux fonctions une fonction qui va être deux des pubs de dépôt on va déposer un éther depuis la première adresse puis on va faire un withdraw donc un retrait depuis la deuxième adresse en faisant ça le problème c'est que là on est en train de se dire bon tout le monde peut aller retirer 1 était enfin ça peut pas marcher donc on va essayer de se dire bon va c'est la même personne derrière donc on n'a qu'à avoir un secret et en fait on va envoyer ce secret en argument du dépôt et on va reprendre le même secret pour faire le retrait c'est qu'on va dire une façon la plus naïve qui viendrait à l'idée mais en faisant ça on suit immédiatement doc c'est parce que tous les liens sont publiques et donc on va voir

immédiatement que le secret vient de 0 x1 est donc en fait ça nous apporte pas la solution la deuxième idée qui nous viendrait à l'idée c'est de dire bon on va le lâcher on va chez le secret et puis après dans la fonction de retrait on va vérifier est ce que ce secret correspondait au h pareil on sait doc c'est parce que eux il suffirait de bruit de forces et par tous les âges qui ont été mis en dépôt avec tous les secrets qui ont été utilisés on voit immédiatement les liens tout est public c'est très simple à faire luire donc on sent que l' architecture là elle correspond à quelque chose mais on a besoin d'une technologie de quelque chose qui nous permettrait de prouver que je connais le secret qui a permis

qui a permis qui a permis de faire le tpo en fait c'est exactement là où on va utiliser les héros knowledge proof est long nous permettre de faire une preuve qu'on connaît ce secret mais sans jamais révéler le secret en fait on va prouver qu'on connaît un secret qu'une fois h et vaud la valeur qui a été déposé dans le contrat donc on va on va rentrer un petit peu on va on va voir un peu donc les rôles et je prouve qu est-ce que c'est ça va être c'est ce qu'on appelle un cryptographique système qui permet de générer une preuve à partir d'un prouveur vers un very fire et ce very fire va pouvoir le vérifier et être sûr que cette preuve a bien été fait donc elle tenterait il ya trois propriétés derrière ses airs de match pose c'est

qu'elles sont liées à la complète nes ça veut dire que si le prouveur fait une preuve de façon honnête avec un fait qui est vrai un very fire honnête va pouvoir vérifier cette preuve est dire que l a bien été fait dans l'autre sens c'est lassant menace si le prouvent heures essayent de tricher et de prouver une fausse info fait en fait tu pourras jamais passé fire va rugir non les héros knowledge c'est que cette preuve ne contiendra aucune information concrète de qu'est-ce qu'on veut prouver des arguments qui ont été utilisés pour prouver donc si je résume un petit peu plus on va dire en cas plus concret de ce que ça veut dire ça veut dire qu'on

va pouvoir faire exécuter du code sans tricher dans l'exécution de ce code et en plus le contenu des variables qui vont être utilisés dans ce code seront totalement privée donc à pouvoir en fait déporter cette exécution sans jamais révéler qu'est ce qui se passe à l'intérieur mais le very fire qui va vérifier la preuve en fait on pour être sûr que le résultat c'est la l'exécution s'est bien fait comme prévu donc si on revient sur notre cas d'avant on voulait prouver qu'on connaît un secret dont le h est connue et que à l'intérieur de en fait se trouve heures on va relâcher ce secret et vérifier que le résultat correspond aux achats connu donc en fait on va on va rentrer le

secret le secret va être ce qu'on appelle un brave et input c'est à dire qu'il va il sera pas utilisée côté verify heures mais seulement côté prouveur à l'intérieur du prouveur on va refaire le h et on va vérifier qui correspond aux âges du secret donc là ce qui en blanc on le retrouve côté verify heures donc c'est la lame la même donné et la levée rifaï arrive à me dire oui ou non on pourrait être plus concret sur ce qui se passe dans leur temps à tokyo en fait le prouvèrent va tourner dans l'ordre dans le browser en javascript et le very fire ça va être convertis en smart contracte donc du solide ici et ça va être en smart mois pour appeler avec la prof en argument qui va nous dire tout haut vol sur le sur la preuve au regard du public

une poutre qu'on lui donne typiquement le hb du secret en fait si on revient ici on a réussi à prédire qu'on réussit à faire un retrait en prouvant bien que c'est nous qui avons fait le dépôt parce que l'on connaît le secret qui fait l'éloge des secrets le souci c'est qu'au final on retombe sur le problème d'origine où on et docks sait puisqu'on a besoin d'injecter au very fire se hache du secret donc en fait on est d'auxerre et on a un petit peu avancé dans la logique mais on est on est toujours sur le même problème on n'a pas résolu le souci d'origine pour ça j'ai besoin de vous présenter les marqueteries les marqueteries c'est une date à

structure pour la l'intégrité de toute la donne et qui se trouve à l'intérieur du mark halperin et qui va permettre de prouver aussi très facilement qu'une partie de cette date à et bien à l'intérieur de sa mère qu'elle trie les jeux vous expliquer précisément comment ça fonctionne donc en fait le marqueterie donc c'est un arbre il va y avoir des feuilles et une route qui est la route de l'arbre et on va partir de toutes les feuilles et on va aller h et de façon donc là je parle en marqueterie binaire de façon binaire donc donc le noeud au dessus sarp entre le h de l1 l2 h de l3 l4 et puis on va racheter le résultat des deux noeuds jusqu'à arriver

à la route ongles à on est sur la route donc au niveau d'intégrité imaginons que j'essaie de changer l 2 donc je mets une haute valeur sûre l2 qu'est ce qui se passe va le h de l1 l2 change aussi et donc le hqe et réutiliser au dessus change aussi donc tout change en fait et la route est modifié donc ça montre bien que pour chaque route données calculées toutes les feuilles ont de la valeur qui ont été calculées lors de la construction de ses marques et le tri maintenant je vais vous montrer comment on peut prouver qu'on fait partie de sa mère katherine imaginons qu'on veut prouver que la feuille l3 fait partie de cet arbre donc nous on connaît l 3 donc

ce qu'il faut bien comprendre c'est que cette arme il est il est publié quelque part donc tout le monde peut aller chercher en fait les données qui leur intérêt ce donc là je vais prendre je prendrai le 4 et grâce à elle 4 je vais recalculer le h de l3 de l4 donc je vais avoir la valeur que j'ai calculé moi même ensuite je vais aller prendre le h de l1 et l2 et de même j'ai et recalculer le h au dessus et c'est bon je suis remonté à la route est donc là je vais pouvoir comparer avec une route qui va être publié et pour voir est ce que le résultat correspond si le résultat correspond sais que je suis bien dans l'antre ici correspondent pas c'est que j'ai triché l4 est pas en fait elles quatre donc le ce qu'on appelle le maire

qu'elle passe ça va être un tableau d'éléments qui permettent de remonter jusqu'à la route et de prouver qu'on est bien à l'intérieur donc voilà il ya deux éléments sont les deux éléments entouré j'ai fait un autre exemple avec un arbre un peu plus gros donc là on va essayer de prouver que l cat fait partie de l'arbre on a besoin de l3 pour recalculer le noeud n 34 qui est donc le h2 l3 l4 on a besoin d'eux n 12 pour le calcul n'est au dessus puis on a besoin de l'autre côté du n 56 francs 18 pour recalculer la août donc voilà donc là le merkel parce je corresponds appareils n'ont que trois éléments l3 n 12 n 56 78 et en fait ce qui est très intéressant

c'est que là on aurait pu se dire de façon naïve mais pourquoi faire tout ça on aurait pu tout simplement faire un check somme de toutes les feuilles et le résultat du tchèque c'est m'aurait permis de s'assurer de l'intégrité de l'arbre enfin deux des feuilles des de la data oui mais pour prouver qu'on fait partie on aurait eu besoin de toutes les feuilles pour construire ce check scène et pour vérifier là on a besoin de seulement trois éléments et donc en fait sûr si on généralise sur aisne level en fait on va avoir deux puissances n feuilles et notre preuve donc on retrouve bien avec trois éléments c'est un look 2 du nombre de feuilles donc là on avait

trois le veulent donc en fait 8 feuilles on a eu trois éléments pour la preuve est là où c'est intéressant c'est que donc si on a mille feuilles en fait ça correspond à 10 éléments donc 10 niveaux et si on a 1 millions de feuilles ça correspond à 20 éléments donc en fait on aura seulement 20 h à faire pour prouver que notre data fait partie de 1 million d'autres data donc pour récapituler la route garantit l'intégrité de l'arbre la route est courte ce qui est très pratique dans la blue jays vu qu'on va pouvoir la stocker dans un smart contracte et on a seulement besoin du log dont base 2 sur un binaire du nombre de feuilles pour prouver qu'on fait partie de l'arbre

donc si on revient sur notre smart contracte de mixeur qu'on est en train d'essayer de faire on va essayer donc on faire un peu de place et on va essayer de se dire ben en fait le hb du secret qu'on en voyait on va pas le stocker directement comme ça dans le smart contact on va construire un marqueterie dans le contrat et on va prendre la feuille qui est la plus on va dire on va ajouter une feuille donc on va prendre celle qui est libre ou la part je les mici donc ça veut dire qu'il ya une la première feuille était utilisée on vient le mettre sur la deuxième feuille et donc on construit cet arbre on a une route et on va utiliser cette route dans le zéro knowledge en faisant ça

ce qui se passe c'est qu'on en train d'essayer de prouver que notre secret une fois h et correspond à une feuilles d'un arbre et grâce aux merkel passe on va pouvoir re vérifier dans le prouveur du zéro knowledge que cette feuille fait partie de l'arbre en entier et donc on est en train de faire une preuve of number chip on est en train de prouver qu'on fait partie d'un ensemble là je monte plus en détail à quoi correspond le prouveur circuite donc c'est qu'est ce qui se passe à l'intérieur du prouveur on prend le secret on le h on viendra chez avec tous les éléments du marque elle passe et ensuite on fait ce qu'on appelle une contrainte c'est à dire qu'on va venir contraindre ce résultat

avec la route qui a été calculé là on a fait une preuve qu'on peut laisser en secret et que ce secret était une feuille et que la feuille faisait partie de l'arbre dont on connaît la route et donc la route et la vraie route qui est dans le smart contracte si on revient ici donc on a en fait résolu notre problème de pouvoir faire notre retrait maintenant on a un second problème c'est que on a 1 infinite withdraw donc en fait on peut retirer autant de fois qu'on veut parce qu'à chaque fois on peut régénérer une preuve pour prouver qu'on fait partie de cet arbre donc là

on pourrait se dire mais on pourrait suffire et de stocker en fait le résultat de la preuve dans le contrat donc c'est pas faux mais en fait seul le reste là de la preuve est assez gros donc c'est difficile à stocker et en plus il y a une particularité c'est qu'on peut tricher un peu dans le dans le temps le à quoi ressemble cette preuve et le verify heures dira toujours que c'est vrai pourtant on n'aura pas changé les arguments d'entrée donc en fait on est obligé de rajouter un autre type d'argument qui veut s'appelle un ulif ailleurs et qui va être injecté au niveau du zéro knowledge proof pour pouvoir le stocker dans le contrat et dire ok ce retrait a déjà été effectué donc ces nuits leaf ailleurs on pourrait

dire c'est un peu un ticket c'est un ticket qu'on va en fait déposer une première fois et qu'on va on va vérifier est ce qu il a déjà été utilisé s'il a été utilisée bain hans trop donc on peut pas retirer s'il a pas utilisés on peut retirer et on le stock donc là en fait le souci c'est que à cette étape là le nul if ailleurs on peut venir avec n'importe quoi donc en fait on peut prendre n'importe quel nombre aléatoire et en fait on a besoin de prouver dans le zéro knowledge que ce nul y fire et valides dont on a besoin de prouver ce délit fire faisait partie du dépôt d'origine donc on va juste en fait changer le hb du secret dans le dépôt et on va rajouter aussi le nüvi

fire donc c'est à dire dormez re4 il y aura aussi le nüvi fire et quand on arrivera à faire cette preuve on la fera avec nooyi fire donc le circuit change un petit peu voilà on se retrouve avec juste le nüvi fire qui a injecté cette fois ci en public n foot et donc on refait comme la dernière fois le hb du secret et d'une leaf ailleurs on vérifie la mère qu'elle passe et on remonte jusqu'aux route si on fait un petit récapitulatif de ce que ce qu'on a vu c'est que on choisit donc un le user choisi un secret aléatoires donc avec le plus possible d'entropie de façon à ce que ça puisse pas être beaucoup de force et mais que tout est public on choisit aussi un nombre aléatoire pour l'onu l'y fire on appelle la fonction des baux avec le h

du secret d'une leaf ailleurs et les terres qu'on envoie le contrat va automatiquement abrité derrière tout le maire qu'elle trie directement unchained on attend alors pourquoi on attend je n'ai pas parlé jusqu'à présent mais parce qu'en fait là on a un à ce qu'on appelle un anneau t-il anonymity 7 c'est à dire que je vous ai dit on fait une preuve de number chip d'un meerkat rit donc de l'ensemble des feuilles du merkel tri est en fait si on n'attend pas on peut très facilement deviner par statistiques et attaque que la personne qui vient juste de retirer en fait c'est très probablement la personne qui vient de déposer donc ce que conseille tornado cash sur leur sur le site officiel c'est

d'attendre au moins 24 heures mais l'idée c'est d'attendre qu'il ait eu le plus de retrait possible avant de faire toi même ton retrait et 7 anonymity cette île est constituée par l'ensemble des personnes qui ont utilisé tornado cache donc typiquement en parle sur manette c'est au tour de 50000 personnes mais aussi du temps en fait que l'on va attendre avant de faire le retrait si on attend on va en plus une semaine c'est totalement save c'est impossible de ya tellement de possibilités que c'est impossible de deviner le lien entre les deux adresses on a attendu en génère notre 0 knowledge proof et ensuite on peut appeler le la fonction withdraw avec laser knowledge proof est devenu différent

donc merci pour ce col et donc pour avoir écouté et en fait nous on recrute donc on fait des erreurs et je pouffe si ce mot c'est un attestation protocole ça veut dire qu'on va attester des faits sur des contrats sur les terrains en fait ces attestations elles seront d'origine soient publiques ou soit par des zéros knowledge qui vont permettre d'éviter de faire les liens entre les adresses qu'on utilise pour les faits qu'on veut a testé et celle qu'on utilisait et celle sur lequel on met cette attestation voilà merci beaucoup [Applaudissements] est-ce que vous avez des questions

oui bonsoir alors gène tic et sont un petit peu troll là on est dans des problématiques de vie privée est-ce que ça serait pas plus simple et tellement utilisé la technologie directement conçu pour la vie privée je pense à mon héros êtres cache ce genre de truc plutôt qu'utiliser des protocoles sur les assez compliqué pour le commun des mortels merci donc là là ce que vous êtes en train de dire c'est que c'est plus intéressant d'utiliser directement z cash qui est en fait une block chaîne qui utilisent les héros knowledge proof dans son coeur que d'utiliser et et rome qui est public par

nature et de rajouter le contrat c'est ça alors ben moi je suis pas d'accord parce qu'en fait là on bloque l'usagé ça veut dire qu'on va utiliser que sept blocs chaîne pour faire en fait son utilisation c'est à dire qu'on déplace d'un ample tout son utilisation sur sept blocs chaîne alors que ce genre de cas particuliers permet en fait de rajouter à une autre fonctionnalité sur les terrains je vois pourquoi on prépare ajouter cette fonctionnalité là et là on est sur un exode tornado cash mais les héros knowledge c'est en fait une technologie qui est beaucoup plus forte et moi je pense que dans les dix prochaines années elle va exploser et en fait on va

pouvoir avoir énormément de nouveaux types d'applications qui vont être faits directement sur des smart contracte surêté rome la wii c'est très simple donc là on pourrait se dire ok vous être cachés intéressant mais demain on va avoir des décades application beaucoup plus complexe ce qu'on fait avec 6 mo c'est déjà plus complexe que ça on va tester des faits on va faire des épreuves de 2,2 plein plein de choses directement on va prouver que vous avez des crypto pain que vous avez des invités que vous avez des choses comme ça donc voila moi je pense pas que ce soit aulas qui faillit pour autant faire que sur cette cache ma réponse est ce qu'il ya une autre question

si on envoie la personne de ne pas retirer avant 24 pour ne pas lier à l'otan très bonne question de temps la doc hc utiliser vraiment pour déplacé de l'argent à nous enfin entre nos propres adresses c'est vraiment pas fait pour envoyer de l'argent à quelqu'un voilà parce qu'en fait le cas d'utilisation le plus concret c'est vraiment j'ai dix adresses je déplaçais de l'argent d'une adresse à l'autre comment je fais c'est louis auprès imaginer une autre application fait sympa j'ai juste une question au niveau des

montants une fois que j'ai fait un dépositaire d'un certain montant le retrait fin il faut que les montants soient découpée je sais très bonne question donc là en fait les retraits et les dépôts font sont à chaque fois de une somme identique c'est-à-dire que le marqueterie dont j'ai parlé va être en fait tous les dépôts de 1 et r et donc ce que fait en ado cage c'est qu'il va y avoir plusieurs poules ya 0 1 et r 1 et r 10 100 et on est obligé d'aller dans une de ces poules ils ont sorti une nouvelle version il n'ya pas longtemps qu'ils s'appellent tornado nova elle est en bêta elle a pas été audités n'est rien mais elle permet de faire avec un système qui est beaucoup plus complexe de faire justement des dépôts et des retraits sans avoir de montants fixes

et elle utilise d'ailleurs en fait une technique et une technologie très proche de cette cache derrière kir et implémentées dans ces zéros knowledge and poke du coup pas question de thaler d'envoyer de l'argent d'une personne à une autre est ce que c'est ce que fait à steak avec sont d'ailleurs deux situations de sept cas sont roses autorise donc aztèque ils font donc aztèque ils sont ils vont très très loin dans les airs au knowledge c'est eux qui ont notamment sorti de nouveaux zerg au rythme comme plomb plus cup etc et eux ils ont créé zykë à monet est en fait

ils permettent justement avec le relayeur deux donc c'est un meilleur 2e où on va envoyer de l'argent dessus et on va pouvoir transférer entre personnes directement toujours dans le zéro knowledge donc on saura jamais en fait ce qui se passe et là on est un peu comme dans z cache donc en fait tous les échanges sont sont privés dont on peut faire plein des changes entre plein d'adressent et après on va pouvoir les remonter sur élan et les retirer sur notre adresse donc oui wee man show je voulais savoir si on

veut l'interface est avec un autre contrat quel est le coût en fait pour ce combien coûte le contrat tornado ou de contrainte verify heures du zéro knowledge le contrat de very ferrailleur de hockey alors j'ai au matelas donc on parle de ce contrat là en fait le verify heures de smart contracte de 12h knowledge donc ça dépend quel techno l'utilisent pour le générée par un plat avec circum et snark js qui sont des qui vont être tout un toolkit pour faire des héros knowledge on est autour de 250 mille gaz donc c'est beaucoup

pour un ordre de grandeur en fait une transaction ses vingt mille gaz donc des 105 en 2000 c'est vraiment le bas et dès qu'on va rajouter plusieurs publique inhp outil si on monte très vite à 300000 même plus donc c'est beaucoup donc ça d merci beaucoup les mots bonjour donc du coup la présentation avoir commencé désolé mon ordinateur pouvait pas partagé l'écran

ouais ok du coup ce que je vais vous présenter c'est ce qu'on appelle l'egypte qui viennent j'imagine que beaucoup d'entre vous sont pas entièrement familier avec ce que sont les renault lâche pouf et le talk est plutôt technique je vais essayer d'aller lentement et de pas trop m'éparpiller dans les détails et si jamais quelque chose ça va vraiment trop loin n'hésitez pas à m'interrompre a levé la main je pense que ça sera mieux pour tout le monde donc ce que c'est qu'une fille qui aime c'est concrètement un outil et cryptographique donc vous le savez peut-être déjà été réopéré de supporter ce que l'on appelle les smart contracte

en quelques mots cela signifie que vous pouvez déployer un programme sur la blocs sanitaires et homme qui va spécifier comment plusieurs personnes peuvent interagir entre elles donc c'est par exemple comme ça qu'on peut spécifier des heures ces bains des contrats de swap ou les nfc sont également qu'au départ des smart contracte et donc c'est soir de contractants fait son défi n'est sur une machine virtuelle que l'on appelle le vm ou pourrait terrain de virtual machine est tout l'enjeu des ics et ibm c'est de construire des outils et crypto graphiques qui permettent de prouver la bonne exécution de transactions sur les i qui viennent donc du coup comment ça comment ça

marche pas je vais vous présenter plus ou moins notre approche sur comment faire cela il ya d'autres projets qu'ils le font je pense par exemple à ce rôle technique et singh herminis aztèque est également en train de travailler sur des machines virtuelles mais avec support pour la privacy dans notre cas ce n'est pas vraiment le cas des usages le cas des usages pour nous c'est simplement et simplement basé sur une observation c'est qu'une preuve c'est beaucoup beaucoup plus rapide à vérifier c'est beaucoup plus rapide à vérifier que que des exécutants des transactions donc ça descend ça permet d'améliorer

énormément la scalabilité sur un terrain mais si aujourd'hui le réseau intérieur mais capable de de faire passer 20 transactions par seconde on pense que grâce à ce genre de technique on pourra parvenir à faire placer plusieurs milliers de transactions et on pense que mais pas directement sur et terium mais sur ce qu'on appelle des meilleurs de sa à point un autre point mais le prochain talk s'épanchera un peu plus dessus donc je ne m'étendrai pas tellement plus alors plus de détails donc ça fait maintenant un peu plus de six mois qu'on travaille à consentiez sur le design l'implémentation et la spécification du nikkei dit m

c'est un challenge qui est assez technique vous allez le voir et je viens ce soir partager avec vous toutes les avances qu'on a pu faire dessus donc faut savoir déjà qu'il y a plusieurs approches pour construire une zik fm sans rentrer dans les détails ces deux approches sont dans un cas vous construisez une machine virtuelle qui marche extrêmement bien avec les systèmes de preuves et du coup vous obtenez quelque chose d'assez efficace mais vous n'êtes pas directement compatible avec la façon dont étaient riyom fonctionne de façon interne donc ça vous conduit à développer des systèmes de transpiration et c'est ce que fait par exemple zykë sync avec son

langage ding c'est également ce que quaero à sa propre machine virtuelle mais d'autres projets développés par netherrealm travail sur la transpiration de lever m dans leurs machines virtuelles il yad'autres approche qui consiste directement essayer des mulets le v m dans des systèmes de preuves et de spécifiquement visé le vm à travers à travers ce qu'on fait donc nous on a choisi la deuxième approche donc comment ça comment ça marche dans les grandes lignes en fait ce que donc déjà voyons ce que ça donne dans le cas d'un rôle à ce que c'est qu'un roll up dans les grandes lignes c'est en gros c'est ce qu'on appelle un meilleur de ce

que vous faites c'est que vous envoyez votre transaction pas directement sur itélé hommes mais sur un client de ce qu'on appelle un relève de clients en fait l'interface avec laquelle vous le faites et plus ou moins exactement la même chose qui était riyom vous pouvez faire ça en jette en rpc est l'heureux loeb déjà dans un premier temps séquencer les transactions c'est à dire qu'il va construire la même chose que faire un bloc c'est simplement faire un gros match de transactions exécutées d'un coup ensuite point numéro 2 ces transactions sont envoyés à une machine virtuelle un peu améliorée dans lesquels on a mis des fonctionnalités de tracing c'est grâce à ces fonctionnalités de tracing on obtient énormément

d'informations sur les valeurs intermédiaires qui sont prises par tous les registres de la machine virtuelle et terium et ça nous permet de du coup et ça va être très utile ça est la matière première pour construire des preuves de correct exécute d'exécution correct ou d'intégrité de d'exécuter de calcul pour employer le mot français ensuite une fois que c'est fait c'est trash son procès c'est par un autre module qui va accomplir ce qu'on peut appeler un travail d'organisation des données et d'expansion des données de sorte à obtenir grosse de sorte à les rendre facilement vérifiable en instance et une fois qu'on a ces données sous ce format là on peut les donner à

manger à l'asie qui viennent prouveur pour qu'il fasse une preuve et après cette preuve vous pouvez le vérifier directement sur le réseau et terium et ça vous coûtera beaucoup moins cher que si vous aviez vérifier toutes les transactions d'un coup sure it here i am donc c'est vraiment ça l'utilité de cette vie qu'il aime donc quelques mots sur la structure de de ce système de preuve qu'en fait on a désossé la machine virtuelle et terium dans un sens dans le sens théorique et on ajuste identifié plein de composants qui anin

son prouvable en un certain sens donc chacun de ses composants peut être vu comme une sous machines virtuelles et on prouve non seulement qui fonctionne correctement mon prouve qu'ils ont travaillé de façon consistante cette preuve de consistante sont faits grâce à ce qu'on appelle des preuves de l'inclusion donc les eaux de la mentionner pendant les questions mais c'est en gros c'est un système de preuve qui a été développée initialement par aztèques et qui est extrêmement pratique et qui permet de prouver que un vecteur est inclus dans un autre c'est à dire qu'il contient toutes les mêmes valeurs sans compter les répétitions ça ça permet de faire plein de trucs en cryptographie et

c'est super puissants donc voilà donc si on zoome sur un des rectangles on l'a on a une sous partie de la trâche d'exécution donc là vous avez un échantillon de toutes les données qu'il faut en pratique il y en a beaucoup plus mais là vous avez juste quelques une sous partie du coût de ce que peut contenir la trace d'exécution donc vous pouvez reconnaître pour ceux qui sont assez familier avec le fonctionnement d'un cpu les instructions en les instructions qui sont exécutés vous avez vous retrouvé d'autres registres comme le pc qui est à le programme ce qu'on appelle le programme kunter et vous pouvez retrouver également un

certain nombre de de pointer en fait happer respect wsb en fait ça ça permet de modéliser la stack et donc ça en fait ils sont là pour répondre à un problème technique sur comment est ce qu'on représente un obstacle en dire au knowledge et donc c'était un petit challenge technique à faire donc voilà en fait donc si on reprend donc du coup si on refait un petit peu en arrière hop là pour chacun de directeur que vous voyez en fait c'est on a derrière tout une matrice comme ça et

chacune est en fait ce qu'il ya c'est que les colonnes de ces matrices doivent vérifier des équations arithmétique entre elles c'est à dire qu'à certains moments on doit retrouver une valeur dans une colonne à gauche elle doit se retrouver un cran plus haut dans la colonne à droite ce genre de contraintes et tout ça on l'a spécifié du coup dans un document qui va être publié entièrement en juin mais dont on a publie déjà publié une partie en mars sur et reasearch qui décrit exactement comment est ce qu'on a en fait quels sont ces contraintes que doivent représenter les colonnes là je veux bien sûr vous en voyez qu une sous-partie dans la pratique on a plusieurs milliers et ce à un travail de longue haleine et ce pour au total paraît plus d'un millier de colonne

donc on dans la spec vous voyez en fait on se définit de la façon suivante vous avez des ifs et des hells qui dit si une contrainte doit être une force et une fois que vous arrivez au goût vous avez quelle contrainte doit être un de force à travers ce jeu de règles logiques on arrive à représenter si ça ça correspond à une d'exécution intègre de lever m et du coup si vous je vous donne ça et que vous vérifiez toutes les équations comme ça vous pouvez être entièrement convaincu sans ambiguïté que la trash que vous voyez correspond à une exécution totalement

intègre de lever m donc pour pour décrire toutes ces contraintes on a utilisé un outil d'arithmétique à sion donc vous avez qui nous permet d'encoder toute cette logique de ifs et de elf que vous voyez dans la salle dans la slide avant mais également d'autres choses on peut également ajouter des contraintes que certaines colonnes doivent contenir exactement les mêmes éléments en même nombre mais pas forcément dans le même ordre ce qu'on appelle roches fling vous avez également ce qu'on appelle les ce qu'on appelle des kairos time of kai reus et le machines virtuelles qui est développé

par starck where he du coup on a emprunté leur idée de red roof et c'est une reine trouve ça permet de prouver qu'une valeur est très petit et typiquement ça s'appelle c'est très utile pour prouver qu'une valeur est comprise entre 0 et 2 156 et ça intervient un peu partout et également en utilisent ce qu'on appelle des désigne plus jeunes prouvent c'est à dire du coup on utilise et pour lier pour prouver la consistance des modules entre eux mais également pour pour représenter les toutes les opérations logiques qui sont

pas facilement représentable avec des équations arithmétique comme des les haines d'exhaure enfin tout ce genre de choses on utilise des systèmes devraient spécifiques qui sont pelloux cup du coup on a également tout un pur toutes les additions on a également utilisé des techniques qu'on appelle le voir splitting puisqu'en fait canton les nombres dans lesquels on travaille dans le système de preuves cryptographiques son appartiennent ce qu'on appelle encore fini et sans entrer dans les détails c'est pas la même chose que les mots de la machine virtuelle déterré hommes qui sont des mots de 256 bits et ça c'est un dû de la complexité

ça veut dire que un mot de la machine intérieure mais plus petit qu'un nombre qu'on peut utiliser pour la khl dans le systèmes cryptographiques et donc du coup on est bon on a besoin de le couper en deux donc il ya un certain nombre du coup j'avais déjà mentionné mais pour la stac on a eu un certain nombre de défis à relever pour pouvoir la représenter on a également eu [Musique] fait représenter une stack dans une mèche environ- l'edge c'est assez compliqué en soi mais en plus de ça il faut savoir que la machine virtuelle détériore permet de faire des opérations comme piocher directement au fond parce que les gens sont familiers avec ce que

c'est qu'une stack ici je vais peut-être expliquer un peu en gros dans un dans un processeur il ya une zone mémoire qui permet de qui sert en fait de pioche et deux zones de travail pour laquelle le processeur peut directement accéder sans aucun délai et dans la machine virtuelle deutérium s'est représenté sous la forme d'une stack ça veut dire qu'on peut une stack ça veut dire qu'on peut seulement accéder à la dernière valeur en théorie que celle qu'on a qu'on a ajouté et c'est une stack un peu particulière dans celle des terrains parce qu'en fait on peut aussi intervertir des éléments de façon arbitraire entre la dernière position et

la 32e dernière par exemple mais n'importe quelle position entre 0 et 30 de on peut aussi vouloir toucher beaucoup d'éléments d'un coup en pop et énormément c'est à dire retirer des piles énormément d'éléments d'un coup donc il fallait que pour être complètement compatible avec la machine virtuelle et terium il a fallu qu'on fasse ça et du coup on a représenté tout ça grâce à un système de machine de pointer que vous pouvez voir ici et donc concrètement cette partie est incluse dans la mayenne exécution frêche c'est à dire le module central que vous voyez ici et du coup à travers tout un jeu de

pointer on arrive à représenter ce qu'on appelle une stack spectrale qui en fait n'est jamais vraiment existe jamais en tant que tel dans les tableaux que vous voyez ici que vous voyez ici mais on voit seulement des panthères vers cette stat spectrale et on arrive en fait à travers le tout le jeu de contraintes faire en sorte que cette taxe spectrale soit forcément respectée même si elle n'est jamais en tant que tel montrer la lutte au système de preuves du coup un petit mot sur comment est ce qu'on leur donne les

les colonnes c'est pour rappel la manière dont ça marche c'est qu'on fait tourner directement les transactions dans une machine virtuelle était réel cette machine virtuelle était réelle nous sort plein de données intermédiaires que vous voyez enfin par exemple les instructions le programme kunter mais pour pouvoir appliquer notre système de preuve on a eu besoin de construire plein d'autres colonnes de sorte à ce que le tout soit probable et ça c'est ce qu'on appelle la génération des colonnes auxiliaires ça c'est du coup quelque chose qu'on a pu implémenter donc en dessous ce qui a été aujourd'hui c'est encore un projet in progress toutefois ce qui a déjà été fini c'est

qu'on est désormais capable de vraiment faire tourner des transactions de vraiment obtenir les colonnes le système de preuves est encore en cours de design et d'implémentation et mais ça sera pour très bientôt dans le courant de l'année sans doute et du coup pour l'instant on a pu on a néanmoins été capable de faire tourner unis soit sur notre vie qui y viennent un autre point sur l'implémentation c'est que tous ces contraintes je vous ai dit on à plusieurs milliers en fait pour les implémenter on a construit une librairie qui permet de décrire dans un langage très proches que de celui de la

spécification et de générer toutes les équations arithmétique qu'il faut pour arriver à la fin à nos contraintes donc c'est pour nous ça sera très utile parce que ça va également servir à auditer le coat à la faim et à faire de la preuve formelle du coup ce qui nous manque donc voilà on avait fait une démo la semaine dernière pour des raisons pratiques je vais pas là la réalise vais pas pouvoir la réaliser aujourd'hui mais du coup c'est ce que je vous disais on a été capable de compiler une histoire avec truffle de lancer sur la zik à ibm de faire des swaps de générer

toutes les colonnes que vous avez vu de tous les modules et de vérifier que toutes les contraintes étaient satisfaites du coup ce qui nous manque encore il nous manque encore quelques instructions sse et les rives earth léry verte c'est ce qui se passe quand le smart contracte atteint est invalidée qu'il faut avorter la transaction dans ce cas là il ya tout un système de gestion de cole stack assez complexe on est encore en train de travailler dessus il ya également ce qu'on appelle les log où les event on aimerait être capable de prouver qu un event a bien été déployés c'est très pratique dans pleins à deux cas d'usagé des terres im aujourd'hui ça

serait dommage de pas voir ça et également les prêts compagne les prêts compellent c'est ce qui permet de faire des opérations très particulière la plupart du temps c'est des opérations cryptographiques sur les terrains homme est un cas d usage sur les avc par exemple qu'on pourrait faire prouver une vie qu'elle vienne dans une zik et ibm ou des choses comme ça ou vérifier n'importe quelle heure layher de dans une ssii qui viennent du coup il nous manque également la partie génération de la preuve à vérifier sur était rome et ça sera pour plus tard et on publie la spécification complète de notre ticket vm anges donc voilà désolé je sais que c'était très technique j'ai fait de mon mieux

pour vulgariser au maximum et enlever tous les détails inutiles mais si vous avez des questions je répondrai avec plaisir merci j'ai l'impression que leur rythme et isa sion c'est de l'artisanat c'est de leur favori et que ça n'est pas systématique c'est à dire que si on cherche bien on va trouver des cas où tu vas croire que tu as prouvé quelque chose mais moi en fait je l'exécuté autre chose ah oui c'est exact il suffit pas de montrer des équations pour dire que ça marche si c'était votre vote points on travaille sur des preuves sur des

formalisations sur ce qu'on appelle des preuves formelles et l'enjeu pour nous à ce moment là dedans c'est où bon je le dis c'est un travail du coup sûr sur des preuves formelles pour notre rythme et isation et tout l'enjeu ce serait de prouver que à qu'il y ait pour une trace d'exécution il ait qu'un seul chemin d'exécution valide de lever m et tout ça c'est tout un effectivement ça peut pas être simplement de leurs favoris comme vous le dites ouais et et it nom est tu penses que cette preuve est possible moi je pense qu'elle ne l'est pas

stark were l'a fait pour ça vm quaero et on a des équipes d'experts de preuves formelles qui travaille sur la à vérifier formellement le vm a qui travaillent sur également été rime 2 je pense que ce genre de choses est à leur portée merci alors j'ai deux questions donc la première c'est que c'est quoi la différence entre aka héros et easy cash est ce que je quaero on peut exécuter que les écailles starck ou alors en effet il ya le fait que cai

reçoit conçu pour être le plus efficace possible avec les musiques et stark à ma connaissance je vois pas de raisons théoriques pour lesquelles on pourrait pas faire tourner quaero avec autre chose que avec le propre système zykë stark une différence en revanche c'est que la structure l' architecture de la machine virtuelle de quaero diffère de la machine virtuelle détériore les deux machines sont dans les deux cas turing complète ça veut dire qu'il en théorie possible de transpirer l'une dans l'autre et en l'occurrence naisseur man qui est ainsi je ne m'abuse un client intérieurement dotnet travaille sur un transpondeur de solides

outils vers la bm de quaero donc à la fin ça veut dire qu'il est possible de compiler un smart contracte vers une fois que ça une fois que ça fonctionne il sera possible de transpirer un contrat solide et hiver la vm de quaero mais pas directement de déployer un contrat compilé avec truffle par exemple c'est simplement ce petit détail qui change ok et une deuxième question est ce que vous avez déjà eu des benchmark de le temps d'exécution des preuves et tout sur zik et vm ou c'est juste maintenant c'est la spécification non pour l'instant c'est simplement l'on travaille essentiellement sur la spécification ce genre de benchmark on

les aura quand on sortira le système de preuves in fine est ok merci aujourd'hui j'ai l'impression qu'on a six sept huit et ibm entre polygone et remèdes si casting et c'est pourquoi est ce que tout le monde travaille dans son coin plutôt que faire comme 'pourris' terium et travailler tous ensemble je pense à ma connaissance on n'a pas une collaboration aussi étroite entre les différents projets et remise crawl tech stark ouais si casting qui et j'en oublie plein mais pour autant je trouve qu'en fait il ya une plutôt bonne collaboration et quand on a publié un échantillon de notre spec on a eu énormément de retours

de scroll tech est aussi d'ingénieurs de star wars qui faisait des suggestions sur comment améliorer améliorer le design ou donc en fait je pense que ça plus il ya plutôt de la collaboration il a eu une à une logique et vm des également à amsterdam vendredi dernier dans lequel on a tous pu se rencontrer par exemple collaboré sur comment est-ce qu'on pourrait améliorer le traitement de la fonction de hp de chaque dans des proof système c'est pas une on s'en va pas des messages tous les matins mais on collabore une dernière

bonjour déjà deux superbes présentations et je voulais savoir juste une information pour savoir où est-ce qu'on pouvait retrouver ou est ce qu on pouvait retrouver l'article et le full code en tout cas le code source quand il sera publié le 14 du coup c'est a publié en juin la spécification totale avec toutes les équations ça sera dans la même journée norman a déjà publié un technical report qui contient pas dire une description au niveau de tous a plus beaucoup plus détaillé que la présentation néanmoins mais qui présente un peu toutes les idées générales qu'on a appliqué pour chaque sou parti et qui détaille un des sous composants je suis plus tout à fait sûr duquel mais

celui-là tu peux le trouver sur et reasearch et le nom du passé asic et ibm spécifications bonjour vous m'entendez correctement cool je vous remercie d'être d'être la soie et de me donner un peu de votre attention c'est rare d'avoir du temps de cerveau disponible ces temps ci et je suis reconnaissante du temps vous me donnez je m'appelle henri blot je travaille chez star coureurs et boulot je fais de l'addeva de vocation pour stats boulot c'est expliquer aux gens ce que ces stars kate et comment ils peuvent construire des

trucs cool dessus donc si vous voulez qu'on serait des trucs cools et moi et moi ce soir j'ai essayé de vous parler un peu plus globalement je vais de des profs des preuves de qu a connue la divulgation nul comment ils ont sans les services jusqu'ici dans le monde de la blog chaîne qu'est ce qu'on est en train de construire avec et qu'est ce qu'on peut imaginer c et plus de la vulgarisation je vais pas vous parler trop de menthe si jamais vous avez des questions n'hésitez pas à les poser après on vient me peser quand la conférence est terminée je peux parler comme ça ça va vous m'entendez toussaint avec le micro assez cool alors déjà parlons de qu'est-ce que c'est en fait une preuve la divulgation nul je parle trop dans

les détails parce que je crois que ça a été présentée un peu dans les présentations d'avant mais à la base en fait c'est un théorème mathématique alors ça c'est pour les stars que c'est pas pour les marques mais c'est un truc du genre à ce serait trop bien si jamais genre j'ai une équation avec un million de facteurs et je pouvais vous prouver que je connais un million de points où ça va à 0 sans vous ayez à calculer les 1 million de points avec les 1 million de facteurs ce serait trop bien en c'est utile ou pas en fait c'est un truc de mathématiques de matheux mais comme beaucoup de choses construire quelque chose par dessus en fait ça prend du temps et donc en fait il ya des théories mathématiques ou la basse et ça c'est vraiment vous prouvez que vous connaissez une information mathématiques

sans que la personne en face et besoin de faire un calcul est donc au fait si vous avez un peu l'habitude de vous servir de blocs chaîne par exemple vous avez sans doute dans votre tête des outils cryptographique dont vous vous servez assez régulièrement par exemple les haches ou les signatures c'est des outils mathématiques vous savez il ya des maths en dessous vous savez que si vous voulez creusez vous pouvez aller creuser vous n'êtes pas obligé de comprendre les maths qui a en dessous hyper en détails pour pouvoir s'en servir belle épreuve à divulgation nul et l'épreuve de calcul c'est à peu près la même chose en fait vous pouvez le voir comme ça ça permet à une personne allisson badia d'écrire un programme de l'exécuter et de lui faire arriver à un

résultat est d'envoyer à un collègue qui s'appelle bob le programme le résultat est ce qu'on appelle une preuve d'exécution et bob va pouvoir vérifier que le programme s'exécuter comme correctement et a donné ce résultat là sans avoir à exécuter le programme lui-même c'est un truc qui peut être cool par exemple imaginez que vous voulez faire un truc d'art génératif et que sur votre machine ça prend son temps parce qu'il ya plein de trucs à calcul et vous l'envoyez à alice qu'un supercalculateur elle va exécuter votre programme elle va vous prouver qu'elle n'a exécuté correctement et vous allez pouvoir utiliser le résultat sans avoir à exécuter votre programme vous même en fait vous permettre de gagner du temps la raison pour laquelle j'ai même profondeur que c'est parce que dans les

blocs chaîne pro faut voir que c'est à peu près la même chose en fait c'est conceptuellement un peu la même chose c'est à dire que il ya un calcul qui a été fait vous avez un moyen de vérifier que ce calcul a été fait sans le faire vous même quand vous regardez un âge bitcoin vous savez qu'il ya une certaine puissance de calcul et une certaine quantité d'énergie qui est allé pour générer ce bloc mais vous n'avez pas besoin de générer cette électricité vous man c'est un peu le même concept sauf que là vous pouvez le faire avec des programmes complexes donc qu'est-ce qui s'est passé ça c'est des théorèmes en fait ils sont relativement récents dans l'histoire de la cryptographie et les maths et le premier truc quand qu'est venue à la tête des gens qui travaillent sur le blog chaîne quand ils ont découvert

c'est et protocoles ca gorrite c'est-à-dire à trop bien on va faire des trucs pour la confidentialité en fait le premier truc à arriver par exemple une des premières applications qui a été vraiment largement utilisée s'est dit cache l'idée étant de faire tourner un programme vous allez prouver à quelqu'un que vous utilisez un utile ex ocs qui est bien dans l'outil ex aux sept jeunes restent j'utilise un peu des termes techniques et n'hésitez pas à poser des questions après vous pouvez vous utilisez un utilise ok dans l'outil excel vous prouver que vous êtes le possesseur de sept succès de cet outil ex-haut vous prouvez que vous ne générer pas de l'argent à partir de rien et tout ça vous le faites sur votre machine vous en dérivés seulement une preuve que vous avez fait quelque chose d'honnête vous l'envoyez à tout le reste du réseau qui

lie à bah oui c'est vrai il a fait un truc est valide je sais pas ce que c'est mais il a fait un truc est valide et ça vous permet de d'envoyer de l'argent à des gens sans que tous les autres sachent qu'ils vous êtes ou à qui vous les envoyez une application super intéressante mais c'est pas celle que nous on a choisi pour le début de ce qu'on fait chez starquest c'est pas le sujet principal sur lequel la plupart des gens travaillent aujourd'hui il ya des projets qui travaille sur des solutions de prêt 6 mais aujourd'hui le focus quand vous entendez parler de 10 km2 zikiro l'op c'est pas du tout la scala c'est pas du tout la privacy en fait quand vous entendez indiqué roll up par exemple on a vite ans à se dire ah bah ça va c'est cool chez anonyme c'est

pas du tout le cas a indiqué roll up ça n'est pas fait pour être anonymes et vous n'êtes pas un anonyme dessus c'est important de le savoir donc du coup le deuxième truc qui arrive et après qu'on soit dit assez cool la confidentialité c'est la scalabilité comment est ce qu'on fait pour permettre aux blocs chaîne de faire plus de transactions parce qu'en fait il ya un peu ce truc bizarre je sais pas si vous êtes posé la question des jamais bitcoins à un peu moins de 15 ans était comme ça un peu moins de 10 ans au même moment où bitcoin est et rome sont apparus on a eu des systèmes de cartes de crédit a eu à l'ip est qu'ils ont pris un essor énorme en france vous avez veine vous avez lydia ou punk et une ce genre de système qui peuvent procéder

des centaines de milliers de transactions beaucoup plus facilement que les terreurs mais bitcoin comment ça se fait cd bis et des technologies qui sont beaucoup plus récentes puisqu'elles devraient pas être plus efficace en fête au coeur de ce sujet là pourquoi est ce que les blocs chaîne aujourd'hui de scale pas c'est parce que en fait elle utilise un modèle de sécurité qui est différent de celui de vos banques des banques ou ou de votre processeur de cartes de crédit votre banque en fait quand vous allez faire un paiement il ya un ordinateur milieu qui va contrôler des transactions de tout le monde quand vous faites une transaction dans l'intérieur elle est contrôlée par l'ensemble des participants du réseau et l'a déjà vous avez un truc instinctif de pourquoi est ce que ça coûte plus cher les blogs les blocs chaîne si jamais je

demande à quelqu'un de faire à une personne de faire un travail ou si je demande à 10000 personnes de faire un travail a forcément ça va vous coûter plus cher s'il ya dix personnes dix mille personnes pardon qui font le même travail en fait on a vite tendance à dire que les blocs chaîne c'est des systèmes ledger distribués c'est pas du tout distribuer ses répliques et en fait tout le monde fait la même chose et ça ça a un coût et du coup la question qui se pose c'est bah ça aussi des propriétés cool le fait que tout le monde vérifie ce qui se passe avec tout le monde a confiance dans le système n'est pas besoin de vous de vous vendre pourquoi les blocs chine c'est intéressant c'est une propriété intéressante le fait que tout le monde puisse être sûr que ce qui se passe ça

se passe correctement mais l'idée ce serait de se dire bah comment est ce qu'on peut faire ça sent que tout le monde et art et exécuté le même travail et c'est là où l'épreuve à divulgation nul peuvent être super intéressante parce qu'en fait si vous prenez un réseau comme bsc par exemple qu'est ce qu'ils se sont dit on a besoin de faire plus de transactions va juste demandé aux participants du réseau de faire plus de transactions et d'avoir des plus grosses machines problème c'est que ça marche pas super bien sur le long terme parce que plus vous demandé à chaque participant du réseau et plus vous excluez des participants du réseau parce que pour des trucs bête mais c'est facile quand vous avez une machine dans cloud de doubler sa mémoire vive c'est pas facile avec votre téléphone en fait donc si demain vous pouvez faire tourner

un des blocs chaîne sur votre téléphone et quand on vous lit a fait grossir le même mois ça va être galère et du coup cette stratégie là en vrai elle marche pas trop elle finit toujours par exclure les participants qui sont sur les côtés du réseau et on se retrouve dans le même système qu'avant où il ya quelques ordinateurs qui font le tour des réseaux pour tous les autres l'intérêt des systèmes de scalabilité avec des preuves divulgation nul que nous on appelle des validity roll up c'est que ça vous permet de déléguer l'exécution à certains participants spécialisés du réseau ça permet de dire à certaines personnes du réseau tient bats toi tu fais tourner un supercalculateur très bien tout ce que tu vas faire tourner sur ton supercalculateurs moi je suis capable de vérifier que tu l'as fait correctement

il t'a pas tricher parce que je peux analyser la preuve que tu m'as envoyé donc il ne s'est pas basée sur la confiance dans la personne s'est pas basée sur la théorie des jeux s'est passé sur des maths sur des mathématiques et ça c'est quelque chose qui est fondamentalement nouveau d'un coup on peut se permettre de distribuer réellement le travail on peut se permettre de dire qu'il ya quelques personnes qui vont exécuter les baies l'aude et d'autres qui vont juste les vérifier et qui vont être certains qu'ils sont pas faits empapaouter la façon dont ça marche techniquement sur et erreurs mais aujourd'hui c'est un cake sous stark net ou en fait les ic i roll up dans leur ensemble si vous allez avoir une machine qu'on appelle le prouveur qui va procès c'est une palanquée de transactions et qui va prouver qu'elle les a procès

s'est correctement et cette preuve l'a ensuite elle est envoyée avec une différence d'état vert et erreurs et tous les participants peuvent vérifier que la différence d'état est validée que la preuve également est valide j'allais dire un truc et puis j'ai oublié ça viendra voilà alors maintenant je vais essayer de vous faire un petit tour d'horizon de maintenant que j'ai posé un peu qu'est ce que c'est indiqué roller par valérie turlock qu'est ce qu'on peut faire avec et si on voit qui fait quoi à peu près alors le premier débat que vous allez voir souvent ca les stars que versus les snark moi personnellement je pense que ça on s'en fout parce que ce qui va compter ça va être les ca va etre l'écosystème il y aura le

plus d'applications intéressantes et il y aura le plus de gens qui seront motivés ce qui compte dans un réseau blocs chaîne en fait c'est la communauté c'est des gens qui s'en servent et qu'il y ait des stars ou des snacks en dessous il ya des propriétés sympa mais c'est secondaire c'est intéressant d'en parler quand même donc j'en parle un peu alors il ya deux trucs que j'ai pas mentionné c'est ça le premier truc c'est que si j'aimais j'exécute un programme et que je vous donne la preuve pour que vous la vérifier pourquoi c'est intéressant parce qu'en fait vérifier la preuve c'est vachement plus simple que d'exécuter la paix l'aude en elle-même en fait c'est même encore mieux que ça plus je fais un travail est compliqué plus la preuve est compliqué à vérifier mais ça scale de façon logarithmique en fait qu autrement dit plus vous faites

du travail plus le coût pour vérifier la preuve par unité temps de travail elle diminue en fait c'est pour ça que vous avez ce truc un peu magique dans les baptisés validity roll up c'est que plus il ya transaction - elles sont chères par utilisateur c'est un truc de ouf non dans tous les autres réseaux blog shane plus tu fais de transactions et plus ça coûte cher balle à celle inverse c'est fou donc ça c'est un truc intéressant le deuxième truc intéressant c'est que ces preuves là elles peuvent être vérifiés par la machine virtuelle et rm donc dans un smart contracte vous pouvez vérifier une preuve qui vers l'extérieur et du coup vous pouvez vérifier du travail qui a été fait à l'extérieur de la blood chaîne ça aussi c'est un truc de ouf en fait genre je pense que c'est le seul paradigme vous avez vraiment deux blocs

chaîne qui parle l'une avec l'autre en fait vous n'avez pas besoin de faire confiance à des validateurs qui vous disent oui s'est passé ça sur cette chaîne voilà ma signature vous pouvez vérifier mathématiquement que c'est ça qui s'est passé deux points dont on parle souvent quand on compare les stars qui à l'esnam les snark la première c'est le coût pour la vérification sur l'intérieur là les stars qui sont plutôt en désavantage une preuve snark avec un alors oui je me serais je pas mentionné stark et snark c'est juste genre deux protocoles mathématiques différents pour faire plus ou moins la même chose c'est-à-dire prouver que vous savez quelque chose vous que vous avez fait quelque chose sans que l'autre et à le faire ok mais ces deux constructions un peu différente donc la première différence c'est que

les stars qui sont plus chers à vérifier sur un terrain que les snark ça donne un petit avantage au snark la deuxième différence c'est là plutôt à l'avantagé des stark c'est que générer une preuve starks émouvant fois plus rapide que de générer une preuve snark donc faire tourner la machine à l'intérieur deux à l'extérieur deutérium qui va générer la preuve c'est 20 fois plus rapide sur les stark la troisième truc qui est intéressant c'est je vous ai dit c'est les constructions mathématiques qui se base sur des axiomes hockey des propriétés fondamentales mathématiques un petit peu différentes l'une de l'autre sur les spécifiquement il se base sur des postulats cryptographique différents les snark se base sur

sha256 et cds a tandis que les stark se base sur seulement sha256 sans trop rentrer dans les détails ce qui est cool avec ça c'est que des barres d'une part se baser sur un seul postulat plutôt que deux c'est mieux le deuxième truc c'est que sha256 ça a été prouvé comme étant quantum résistants si demain vous avez un ordinateur quantique ben ça affectera pas sha256 mais du coup ça affectera pas l'épreuve stark par contre le cd est ça c'est pas le cas en fait c'est peut-être ça l'est plus d'inscrire les pannes en tout cas c'est pas prouvé que ces comptes sommes résistants donc c'est une potentielle vulnérabilité des des snacks voilà pour cette slide le troisième point qui est important aussi c'est que

et c'est une autre approche aussi qu'on a c'est qui est important c'est quand vous construisez mais ça c'est plus au niveau produisent pas vraiment l'épreuve en elle-même mais c'est plus au niveau produit quand vous construisez un produit vous avez deux routes aujourd'hui qui s'offrent aux ics et roll up grosso modo soit vous vous dites bon bah il faut que je fasse une zik et ibm il faut qu'on puisse faire est et rome mais en 09 l'âge soit vous vous dites bas n'ont pas forcément fait peut-être que les gens sont qui a moins de 30 ans dans cette salle cool qui se mange et levez la main mais c'est juste pour vous faire la main qui sait faire du sol est dit ici cool qui pensent que solide iti et le dernier langage qui va apprendre de sa vie bon ben voila tu vois c'est marrant fait

quand tu le pot dans ces termes là évidemment tu dis que bah ouais peut-être que si jamais il ya des trucs plus intéressant à faire je vais me donner la peine d'aller apprendre autre chose et nous on fait notre approche a été de nous dire que plutôt que d'essayer de faire rentrer un carré dans un rond plutôt d'essayer de faire une zik et vm sur un système cryptographiques qui est pas fait pour ça qui va être moins efficace juste pour que des développeurs soient un peu plus confortable dans leur pratique s'est dit que c'était peut-être un peu dommage parce qu'en fait on se dit que les développeurs ils sont intelligents et motivés et que si on leur donne la possibilité de faire cinq dix fois cent fois ce qui est faisable sur les roms ça va les sauver et qu'ils vont utiliser des nouveaux outils

exhalant fera pas peur nous ça c'est notre approche en tout cas ceci dit oui c'est vrai c'est un écosystème pris naissance à un petit peu plus difficile à utiliser ça c'est autre challenge je parle parce que je veux si c'est un thème qui vous intéresse je suis très content d'en parler c'est assez marrant comment est ce qu'on fait faire autre chose que du serengeti à des développeurs blocs chaîne et ensuite pour terminer du coup un petit overview ensuite je vais vous présenter nous ce que nous ont fait spécifiquement parce que je suis et ce que je sais mieux présenter mais qui fait quoi dans le monde des ssii cayrol alors déjà en fait on voit qu'à une majorité des projets qui utilisent les marques plutôt que les stark dessus vous avez aztèques qui ont chipé je crois un premier produit qui permet de faire

juste du paiement qui est faux cul c'est ce qui est vraiment concentré sur la confidentialité vous avez un projet de poly conquis en développement pour l'instant bien il ne rien qu'à vraiment utilisable vous avez dit gesink qui a fait 2 produisit casting 1 qui permet de fait dû refaire du paiement et du trading esi qui était unique et sync 2 qui hantent et ce n'est pas vraiment has not parce qu'il n'y a pas de preuve qui est générée mais vous pouvez co d'évoquer au contrat elle est déployée chez eux dans le monde des stark vous avez une autre équipe de polygone qui s'appelle mit den qui eux ont un stade qui en développement qui sont qui veulent eux aussi je crois faire unique et ibm et qui devrait arriver dans quelques temps mais ça va leur prendre du temps et nous de notre côté chez star quoi on a deux

produits on à starke ex qui est en production depuis 18 mois 2 ans à peu près il ya trois semaines fun fact il ya trois semaines stark ex a fait plus de transactions en une semaine que était rien sur la même semaine et personne ça les rend des comptes ces gens ça panique et le cri le prix du gaz c'est un truc comme ça tu t'imagines que ça va faire exploser le prix du gaz pendant une semaine ou quoi on va pas du tout en fait personne s'en est rendu compte en fait marrer on va tout le mondial et les deux c'est le futur c'est pas le futur c'est le présent et des gens qui s'en sert maintenant ça se caler terium maintenant bref il ya stark net qui est la plus alors sa requête c'est plus pour faire du paiement et du trading stark

net c'est un réseau qui permet de faire de la programmation de smart contre acte arbitraire et qui est aujourd'hui en alpha c'est à dire qu' il ya des bouts de scotch partout ça marche mais c'est encore un très difficile visage mais c'est cool et on devrait être en prod prod je sais pas trop je peux pas vous donner de date là comme ça mais je pense qu'en tout cas d'ici la fin de l'année on aura bien avancé et voilà je vais vous du coup en fait j'en ai parlé brièvement là mais grosso modo je peux vous présenter en deux mots stark ex star qu'ex c'est un premier truc qu'on a lancé en fait qu'on a fait on a commencé par faire les preuves à divulgation nul on a allait pas à jour 7 slate depuis c'est un peu

changé je n'aurais quand on a commencé par faire à travailler sur l'épreuve de divination nul la première grosse étape ça a été de dire comment on fait un langage de programmation par dessus et là du coup on a construit quaero une fois qu'on a construit quaero qui permettait d'écrire des programmes qui étaient prouvable on s'est demandé comment on s'en sert pour ce qu'elle est là blocs chez et du coup le premier truc qui a été fait ces stars qu'ex qui est un trading engine en marque blanche grosso modo stark ex pour exécution en jean et qui est utilisé par des gros projets comme d-wade iex horaires mutable qui ont fait baisser le prix du gaz pour l'heure été pour leurs utilisateurs entre 500 et mille fois on va en fait c'est pour des walis exquis l'utilisant modique et roll up pour d'autres clients comme son frère

ils ont réduit le prix pour leurs utilisateurs de vingt mille fois vingt mille du coup en fait ce qui est assez marrant c'est que c'est vraiment du coup c'est une grosse machine on a passé aussi à 3 semaines 1 2 500 milliards de trading cumulée sur stark ex c'est un truc qui marche c'est un truc qui robuste mais bon faire du trading c'est intéressant mais on veut te ce pas très intéressant non plus on peut faire plein d'autres trucs avec les blocs chaîne peut faire des truites identité on peut faire dnf t on peut faire plein plein de choses et du coup on a commencé à bosser sur stark net alors où est ce qu'on en est avec ce dark knight ça fait à peu près un an qu'on bosse dessus ou d'internet depuis juillet dernier aujourd'hui pendant trois semaines on va

être à fitur par ici avec et rmc bien que n'importe quel truc que tu peux faire sur un terrain tu pourras le faire sur start net et tu peux faire déjà pas mal de trucs sion stark note que tu ne peux pas faire sur un terrain ça ça tourne ça tourne pas trop mal un peu lent et du coup on a envie d'améliorer sa donc là aujourd'hui la machine on s'est concentré sur les fonctionnalités maintenant on va se concentrer sur les performances l'objectif c'est d'ici à juillet de pouvoir sur start net procès c'est dix fois la quantité de transactions qui assurait dernièrement pour un centième du coin pour cent du du prix c'est ce qu'on veut faire d'ici juillet et ça c'est les premières améliorations on sait qu'on peut les faire après y'en a un paquet d'autres qu'on va qui vont arriver qui permettent de faire des

trucs super intéressant comme le le passage à l'échelle en fractale on pourra parler dit ça vous intéresse et un autre truc important aussi c'est que le réseau aujourd'hui il est 100% centralisée opéré par starck web c'est à dire que c'est pas du tout décentralisée c'est nous qui faisons tourner le séquenceur et c'est nous qui avons les mains dessus c'est pas très intéressant je pense que j'ai pas besoin de convaincre personne ici que les blogs chaîne publique décentralisée et père michel laisse open source c'est vachement mieux et c'est ce qu'on veut faire c'est ce vers quoi on veut temps c'est pas quelque chose qui s'improvisent complètement on veut le faire bien du coup notre objectif d'ici la fin de l'année c'est d'avoir une roadmap clair sur les différentes étapes et les différents paramètres qu'on va

utiliser pour mettre en place la décentralisation de stars 4 et voilà j'ai une dernière slight pour dire que l'on travaille avec plein de gens intéressants si jamais vous êtes sûre solide iti probablement oui à un moment un autre vous avez utilisé des contrats à verser 20 à verser 721 écrit par open zeppelin on travaille avec eux ils font les mêmes pour quaero vous pouvez vous en servir on travaille aussi avec never mind qui fait plein de trucs différents mais qui font notamment ward qui est un transport et leur de solidité vers quaero si vous avez du code solide' probablement vous pourrez faire passer vers quaero et on travaille avec différentes équipes offert pour aussi pour avoir des foules l'aude sur stark net qui peuvent être opérés par par qui veut

voilà et j'ai terminé ma présentation 20 minutes cool est ce qu'il ya des questions je te super clair alors voilà 1-2 déjà merci pour la présentation c'était cool je connaissais pas ce terroir et ma question c'est vous utilisez j'utilise que tu nous a présenté pour ce cas il est le terrain

via les aides cas mais est ce que ça vous a tenté de que c'était que d'améliorer à chaque fois ce qu'elle est ce que ça vous apportez créer votre propre blog shane c'est intéressant comme question et je suis moi je suis chez star quoi depuis six mois donc je vais pas dire tout ce qui s'est passé en trois ans peut-être que c'est un truc qu'ils ont considéré aujourd'hui la proche qu'on a en fait c'est j'ai posé la question à un type ya pas très longtemps qu'ils aient des nfc je vais demander mais pays disait que c'était cher et theron g mais pourquoi tu n'étais pas genre sur polygone ou ailleurs et il m'a fait juste pour que tu le fais sur le terrain mais dès que tu as well par lisette et c'est le cas en fait je vois aujourd'hui les terrains mais largement le eco systèmes dominants

c'est là où sont tous les utilisateurs là où et tout le capital est ce qu'on a vraiment besoin d'aller à l'extérieur nom qui fait terium c'est super pratique c'est là où il ya l'écosystème où il ya le plus de gens qui construisent des trucs c'est le truc et c'est un de ceux qui a le plus décentralisée avec bitcoin il ya plein de choses intéressantes à faire et stark net tu peux vraiment le voir comme une extension par deux chutes et rome en fait c'est assez marrant tu as vraiment différente truc qui clique avec différentes personnes y en a c'est la puissance de calcul il y en a d'autres c'est le fait que tu peux faire des applications croche d'ailleurs super élaboré et tu peux vraiment avoir ton application sur l un est là les tendres et faire plus de choses avec stark est en fait le fait de faire ça ça fait que

grosso modo quand tu construis une application sur start net techniquement la liquidité que tu peux utiliser où les poules de liquidités ou les apps que tu peux utiliser dans ton application la composent habilité basse et celle des terium en fait si tu veux sur start net mettre des sous dans avait sur et et rome pas sûr polygone pas dans des poules plus petit et tout ça sur et heures tu peux et je pense que ça c'est un truc super cool oui bonjour j'ai une question du coût concernant le la fréquence de publication je pense vers le lay reims qui l'a compris tu as intérêt à attendre le maximum de temps pour que le coût par

transaction faite soit inférieur mais du coup si tu attends trois semaines qui me dit que nous aurons vraiment justes et enfin je sais pas comment vous faites en fait je vois ce que tu veux dire aujourd'hui il ya deux paramètres importants dans la publication de la preuve enfin je dis aujourd'hui c'est pas exactement aujourd'hui aujourd'hui le réseau c'est l'oubli le maintenon et les gens ils payent pas de fils donc de toutes façons c'est un coût pour notre publié l'épreuve mais dans ce que tu dis il ya un point qui est important effectivement c'est que si tu publies une preuve trop tôt ça va te coûter trop cher par rapport au fisc que tu vas récupérer sur le réseau et si tu la publie trop tard mettez un peu nique et aussi parce que tu as preuve elle grossit avec le temps et au bout d'un moment tu vas arriver à une

preuve qui peut pas être vérifié dans un contrat était rome parce que tu vas être out of gas en fait il faut avoir une balance entre les deux nous aujourd'hui la proche qu'on a ce que le réseau il est en développement et en fait c'est un paramètre il ya pas besoin d'être fixe tu peux la juste et avec le temps en fait donc concrètement sur le net je crois qu'on publie une preuve toutes les douze heures sur le test nets ont publié une preuve toutes les deux heures et mais c'est quelque chose qui peut qui peut varier en fait si jamais il ya plein de transactions d'un coup il ya rien qui nous empêche de publier une preuve plus tôt et puis si c'est plus lent il empêche de la publier plus tard ça fait partie de tous les trucs qu'on doit définir pour décentraliser delizée

le réseau en fait c'est des discussions qu'on a sur notre forum donc si vous voulez prendre part à la discussion donner votre avis venez en bresse et des sujets qui sont super intéressant et il n'y a pas de bonne réponse le bonne volonté donc l'échangé c'est cool et j'avais un autre truc marrant à dire par rapport à ça mais j'ai oublié bonjour merci pour la présentation est ce que les silos applicatifs donc sera réduit à dix excès qui sont sur stark ex on seront un jour migrer sur start net presque ça va rester tél c'est une bonne question aussi la réponse simple c'est ça va dépendre

en fait peut-être que oui peut-être que non ça va dépendre de leur volonté à eux en fait une aura peut-être qu'ils vont vouloir un d'autres qui voudront pas et en soit nous si jamais les gens préfèrent rester dans leur truc à part pourquoi pas le truc intéressant avec ça c'est qu'aujourd'hui quand tu exécutes stark n'êtes pas parce que le truc marrant aussi c'est que quand tu exécutes stark net en fait quand tu places du bloc à au bloc f concrètement tu exécutes un autre qui est un noeud qui va prospérer se voir des transactions les valider et validées qui passent correctement du bloc à au bloc f et c'est cette preuve là qui est publié sur sa sûreté rome stark net est écrit en cas héros bref mais du coup quand tu exécutes

stark net tu peut générer une preuve qui est validé après par la terreur ça c'est super cool y a pas encore la fonctionnalité dans sa requête pour vérifier une autre preuve ce qui serait super intéressant parce qu'à ce moment là tu vois stark ex qui est branché sur les termes tu pourrais le brancher sur start net donc tu pourrais même avoir ton identité stark ex qui serait sur starcraft qui serait moins cher et ça on sait que c'est possible pour le coup la théorie les maths marche on sait que c'est possible c'est juste du temps d'ingénierie juste donc ça va nous prendre encore un peu de temps avant de chiper ce truc là mais une fois qu'on a ce truc là on peut imaginer plein de choses qui ce qu'on appelle qu'on désigne sous le terme de en anglais fractales skelling ou passage à l'échelle fractales ou en fait tu peux

imaginer avoir stark net puis plusieurs stars kate qui sont exécutés par dessus donc dl3 qui sont vérifiées elles mêmes par starck net tu peux avoir stark ex sur start net tu peux avoir des stars cnete privés ou semi-privés tu peux voir des stars connaître deux consortiums qui vont tous parlé à la même chaîne et qui sont capables de parler les uns avec les autres nativement parce qu'il n'ya pas de validateurs ya juste des maths donc c'est une réponse un peu longue pour une réponse pour une question semble méchant c'est un sujet qui est super intéressant et en vrai ça va dépendre de ce que les projets veulent faire de ce que les utilisateurs veulent il y en as d'entre vous qui ont déjà

fait du cas héros ah bah voilà il y en a entre vous qui n'ont pas encore fait mais qu'ils vont en faire bientôt pardon vas-y bonjour 1 à partir du moment où un 1 5 ans heures il a le contrôle des transactions que validé est ce qui pour ce qu'on pourrait imaginer qu'ils puissent se réorganiser des transactions est l'équivalent de la même sur un l2 donc un sequel extracteur de value avec des attaques sandwichs et des choses similaires ah ouais carrément bien sûr en fait la question qui se pose là elle est liée aussi à la décentralisation de staercke net en fait

l'autre question qui se pose qui corollaire à ça c'est si le séquenceur et décide de ne pas inclure la transaction est ce qu'il peut ne pas l'inclure oui techniquement oui en fait la même façon qu'un mineur / intérieur vip et des idées de permettre la transaction ou de sandwichs et ou de faire tous ces trucs là le risque qui a spécifiquement sur un roll up en fait c'est que tu peux avoir ta chaîne qui avance mais en fait générer la preuve ça prend un peu de temps donc en fait il faut enfin nous s'il approche comprend aujourd'hui c'est d'avoir un consensus sur la l2 qui va te permettre de dire ok la transaction va être inclus dans une preuve et ensuite la preuve dégénéré et elle est envoyée à les terrains le problème qu'on a avec ça c'est que si jamais tu dis assez bon

chez dans un bloc et que derrière le prouvent heures il veut changer les blocs bas il peut du coup là on est en train de dissocier le rôle de séquenceurs et de prouveur pour que les séquenceurs décident les transactions qui vont dans les blocs et le proverbe il est obligé de prendre la liste de transactions qui a été décidé par quelqu'un d'autre mais voilà la question de la mef sur le sur les relais elle se pose clairement d'autant que comme j'expliquais les relais en fait ça te permet de faire un peu à l'exécution de smart contracte ce qu'on fait aujourd'hui avec la sécurité c'est là que tu la délègue à des acteurs spécialisés et u control leur travail après et tout le contrôle pas en disant qu'ils sont de bonne foi tu le contrôle avec des maths le problème c'est que du coup si tu le

délai qu'a des acteurs spécialisés ben euh ils ont des grosses grosses machines potentiellement ils vont chercher à les rentabiliser au maximum donc je ne sais pas en vrai si jamais la même c'est vraiment évitables sur des chaînes publiques et je pense que le gros truc qui va arriver c'est là la mer on y pense tous sont en mode sandwich attaque sur unis swaps et des trucs des finances décentralisé mais sur le gaming c'est là où ça va lui poser le plus de problèmes en fait probablement la confidentialité sur les blocs jeunes ça va arriver à travers le gaming parce que les gamins c'est tous des rageux et si jamais tu frontrunner transaction ils vont être trop vénère donc tu seras obligé de faire des solutions de limiter par merci beaucoup merci henri je vous propose de ouais vous pouvez

l'applaudir