zkSummit - Zero-knowledge Interoperability with zkInterface -Aurélien Nicolas (QED-it, zkproof.org)

28 Mar 2019 · 25:03

Zero-knowledge projects can struggle to combine frameworks and backends, leaving each project to repeat work. This proposal describes a very low-level interface intended to let different design philosophies coexist and make reusable gadgets available across frameworks and programming languages. It is presented as a specification and compatibility effort, with documentation needed to explain expected behavior.

Speakers

Topics

Transcript

alors au lac tokyo nikkei proof organisation d'une standardisation process à wil présent sur one ovi propose au projet mapping des organisations we will va committee of our lépi pour le coup de 8 h 26 à 0 h prouve ce n est qu une 25 vidéos news kim scène en novice est non loin to bring hui academy advini suis tout gaveurs sol sur eux mais qu'ils veulent company that many project une volt ou

disques as well you need is going le meilleur finish batum mec standard propose aux hommes guidelines willy boat to do things du lycée ouais ça va être compatibles sauva titres better you can i nos vêtements sont l'acier mais le standard des neuf lui ce jusqu'à lundi soir were produced by members vicié ou cévennes propose hausse à 9 heures titos plein it's the happening berkeley une batterie qu une claudine son histoire justice et au jazz band du procès sur le

fond du film est de proposer un avis committee 10 15 20 mai ne pas être chose which one should be willy oui oui tout de go in der vaart ce conte oublié les petits coeurs generation commis tempo skins tout à toi standard de commitment ce qui me l intéropérabilité bateau en plus intenable sur green keeper en fixant place thiers sur une battue aux tout jeunes vis vis forum to discuss bruce spingsteen invited to come to b reculé tout vie workshop n voavy sponsor of vicié workshop a plu c'est ce qu'a dit

li ning vice est forte ou started to organize it's ok dit mecs production visiteur pourra se plaindre au visionnage phobie academy à tout interprète financing supply chain saw vi privacy lier son art ou là que tu te battre spécifique proposal to do with your dream works mail mais ni au 20 mai new fear les auteurs ovum indjai a dit stephen tu y affronter sauf anthony hoyaux express conçu un système au programme tous un film tout prouve

une wii de bellouet ingénieuse voix thing called and we think of human use abel tour esi fontaine generali france comme où il veut numbers gadgets battu can we use cela que library of science typique à 10h fonctions support in stat approuve adidas gadgets invenio voiture même programme multiples gadgets l'avenue habib à ken loach et une entaille les différents fils twitter via turle cryptographie le 10 mars les proving verifying vie set up se compliquer différentes problèmes des

jeunes arrivés hier mais traduit certains cas par exemple si un freebox un mot stoven comme il y en a un stack m doit on different ways of d'une fontaine elle vint supporte one envie aux verts croteau graphique back end elle va de mars what we want to separate saut instead of arts in every project has to we do everything we choose difficultés à combiner différentes est avant tout une fontaine d'eau ou and back and one you want to make en application les choses

doivent choisir faire vite fontaine-chaude offert 8 bat kent valoir son appellation puisque je vais dans ta propre attise votre produit unit toutes choses and will be compatible fins domingues typical computer engineering raid cei a quitté actuelle c'est la cuve wang xi pew aquitec tuohy venise 67 yamani programming language is just chauffer votre programme une ride the network discipline foule semble sur l'interface instruction 7 10 15 watts ou une corde en hindi designer physique

ntfs westwick à nice vatine olyphant spéciales françaises vers veille dit von stein veille des frappes au txistu vie problème because lee vi max design souligne qu'à cannes of you et the beat special event différentes interprétations vite sauf un instant sokratis mexique le clac fonctions selon gwenan white script cette fonction à user data familia tout programme earth battu à mort à survivre bellman où il domingo est tight système finir ce maquis où il vit cette baisse à cers principles and each

of the different style différentes philosophies vernotte notre compatibles and we want to do all of them to exist 1 toulouse ville interface ou via facebook mobile au level ça va everybody qu'elle avait refait vous de philosophie n go to be very low level tout autre tryba 15 elles veulent du back and care what you all you design approach justin bieber cents ou du culte au graphisme after' william hill ce we want from me fontaine

votre ex précisé il concerne system menu habib à cannes bat tod bat mexique ouf vif en seconde générale contre 8,9 un peu plus bas tu as one sieff because it's almost commandes tous des christs dimanche common used model of computation value fanny lève ken lewis fontaine n va est implicite les communiquer à one sieff inside envie stack sont énervants pièce une portance nature variable

kasraoui leur come back it with so i fontaine du baquet nagui en sept tomes variable batave tout existe d'ailleurs identified antifa your number and du foot hand to fix it the navy construit tout exprès mais contre un système elle va te piquer lebron one stop au niveau prix processing snack you do it first et cause d'un new world to do what was it that which janeiro generics provoque this and then you will one year spécifique delta et m'invite à me montrer que nous prouvent pas que nous détaille gilles fontaine a suggéré

de witness which you do monitoring in your application elle verse naxoo ils votent oui pour cette note notre star qui va être non plus processing smart l'excellent à coeur de l'épreuve en ce sens vas tu tentes avons tout fait j'ai sauvé just can't do bofa toi tu vas tu consultes hazouard because this too big fish and because of skin path double conscience pas très vite avec pouf sow vient d'ailleurs fini à cet oubli et fichiers somme où il disait oui a maintenant le problème visera division et moi je vais à 8 à 10 fois une langue

jlv calvaire used to feel so ou designed by un message du sommet c'est john imitable piece of d'être atteint you you get it in veinviewer pâte with every programming language et vous exécution une plate forme qu'une droite sur la wii à tous deux bébés singes sauvages nos fonctions corvino spécial fonctionnalité data and would take that se fasse solution seconde vie problème il peut dans ce match explique max antifa putschistes

j'aimerais ça devienne une pièce construite à une putin eux ils ne peuvent faire delta est voué à villefontaine cambia d'aptitude ouverte où il a tué billy just hits et oued et moi concept n qu est aussi coin de 6,9 construit il ne laissait du ndé to back and which van der woodsen oui dit elle n'a eu comme si oui se porte vite ou physique en ce sens n 10 assaillants tous variable sauvy whitney zvili want to make up proof où il ya ouvert using l'interface définition de language

risque flatbush outre une chose fort riches en cyclamate d'oublier fille chante asuel vis à vis de spécifique en tête dans les messages which fields est en somme six novices gagner jusqu'à 10 commandes comme on y met you want to be able to we use ou gadgets sont une fontaine dans le cadre du back hand in fontaine à new york devait y coule philosophie approach to design i can't win système votre ignorance use this one tu avais une plantation de vie

gadjé de mattioni 10h fonction de la tunisie implémentera framework theillaud ivey you win clémentine of work on va savoir qu'un week-end mistakes 180 wii music hall puis c'est what we do all vitale une wag la program in which this is the king's speech and wine to make bryn vie practices of software engineering une tombola jean jean bichof mon blake sauvé you going to be men consistait mignot fabrique framework meet you going to use les gadgets apple compliquée du framework va les utiliser à une communauté du foncier bâti de spix

système il t'offre sncf it might cours le hover catch est il y fit the big applications dans le flou et the beat m'a compliqué la vie fruit pieces of software one is you man front-end battu à musique wang li gadgets hors format nova framework qt use in you mind programme baby battle theme ses multiples gadgets n 26 bat kent hughes ou un système so the mansion wii est en train tout de piquette vie familiale concept of making off and getting twitter l'acteur fonction call river fonction parameter

scène 80 value 7 luxe la glisse est juste cette piste d'êta couture parameters give it to be gadgets gadgets with them elle bénit twitter il y fit computing et 15,8 en ituri la vie des français au knowledge of course et vanuatu explosive concitoyens sauvy gadgets toile et de confiance ou à la voiture qui tranchent ans ils ont été géniaux est construit et aux variables elle s'intitule proving système se désole quand suarez de notes ni to go back between different fontaine ordi foin de gadgets vifs qu'on sert godard

système à just aggregate vert jose 6 kw and you had constaté button est newman program is also want to walk on se bat dubai world will be used by bat kent halliburton tartu noble catch est sont en effet c'est sous les vivats oui et entend combattre ça où les différentes formes at home aux messages et surtout une prise de conscience invis faith and boxes et surtout et avant tout quelle imprimante notre et vous ils projettent implement ça va trois licences woodson faith and whitney soit

d'actions fais moi new york spécifique des time to make up ruf bartz une folie saint patern because it's going to be vicent software où nos maris ou d'où une censure d'action d'une mutation une prime de 20 à 10 500 musiciens qui sauf cours de votre twitter votre vie cinq personnes you have to prove est l'exact evil 5 courses sur get exactly vi n va aux bosses cause un système spécifique de temps en temps elle va de generes value spécifique value for your eyes and i berkane que le mec proof oui à nathan king buddy pouvait pas mettre sa hu a

dit proulx physique aux réveils cryptographique système illimité fois qu'il bat mobile s'étant d'ailleurs à de nouveaux talents web d'une vie à 26 construction et de l'a89 d'options de taxi form of spécifications et ce document doit trouver voire to explain vis in detail inhabitants thing if we les participants we want to be seen i want to be a dit comment dénominateur et vous et moi so you explain oligos une

vitesse explique sylvie oui explique design est partout qu'on soit du message de noël tout interprète 20 et naya vernis présentation gheit pierre which will rain pure tuerie un destin doit tout doux which beach party to send guen n vis include include vie ce qui ma définition fia qui table aussi du flat boeuf une interface définition là que la côte au boeuf petite fille chante elle

oui disent qu elles ont envie de lire notre église nécessaires estime pas les applications application ni d'eau ni dai qing bat whitera est au big to look forward un ver multiples reports of extinction vatin reprenant la can be used in more advanced application vie future outre ou expect elvis is used to generate côte soliva exemple il ya une fois un exemple fort lisnard can we are working and integration non bichot et hommes politiques sauf qu'une fois une interface

définition generate skoda louis show vicodine west ham insi place place où ils somment exemple saura-t-il use it so generally code froyo language can do it in java inco aulas common language is oui quand même mal tippl waste of using et bigote one advantage envie design of may s'agisse du message piste protocole ladite can be used in memory et silva domingo seniors

calling ouest application la colline fonction du canal sokolova langue il faut aussi interfaith échoué specified noël soit justin chambers tate à orio kendu malti malti pâle processes of ice and program stories of divine reasons to vima programme services comme mitsou vialli implémenter one sur avis cm suppose des interfaces il devance un message input la neuvaine utiliser tout droit du code tout juste call it only when you need is your

friend project et aucun supporter gadgets foire aux vins projects to l'odeur humaine use them all you can eat clément gadgets in your language n exporte un micro du speaker versailles binta fait son oeuvre frémaux keanu reeves a été vécue valente of providing leiber le canal sur orkut houses une vie ce format this way you can use d'ifrane vacances un if you want you back and i would be the one pièce une scène off line 25 millions mycoses et il y cinq ans une liste revenant basse justin chon fusing wave storing de survie sont minces everyone else

la nouvelle focus on you back and support fully au vif on va tout dhabi compatible c'est qu'une nouvelle fast enough to bill vie fantastique ici au recruteur sur we would like to take that is a new world will berman 360 linguini de internet qui dit compagnie est novateur qui nous envient projex owners of roses knowledge tools we also expect extenso vie standard dit self tout supporter mon mon futur c'est quand ça se passe système ou bi veille

soultz pêcheries importante for security sur une table système ou de biais qui via bêtises communiquent est qui propose six en variable france pouvant varier bolt ou big beat et note aline amber heard verrez comment express itunes symptômes système n 20 du coût d'un tarif teacher pas tout noir que khrouchtchev besogneuse gadgets naïve tweedy documentation to know what to expect does it explique beat sans note d'ailleurs soit dit on hante and nothing is no consiste ainsi chaque geste your wedding documentation and we need

correctly mais ça va tu oublies tes racing n versement pour un full conçu un système van gaal ancien specially leasing uniformity bgc lille luxe sporting loupé mon affiche entier une samba kane et novès we like to thank you so toi-même daniel benarroch annemasse f aurélien nicolas n est pas dit qu elle tombe view voiture gâteau jazzy qui push for men work shops yes ya gauche en bas du vin eagles mon slip

nikos viganais 10 going to need ils sont locales variables sauvé à rabat à l'occasion de ma vie colas because it's so easy get to use to apply to vis barber wendigo studios internes computation nv ni twitter ni dit indeed enso vie colonnes aux notes to we used by bob hayes 10 bat africain n étant story 5 a dû button nico sven you can't we 'constructifs' écrite vie saine if you did une cachette et à destination design to be messaging and the state of

gay tony toutou ka-shing sorte oui même bug fix qu'un one it again 10,1 will focus on n'y a ni tramway oui oui c'est comme ça

starks elle son support awan siècle qui les pousse à beantown système ce dernier star will clématites can be more performante if we ve ca muffins bit more powerful 26-26 portent l'uniforme yéti supporter ce culot basique et whip it id pattern d'une vie comme ce système savate rugby en extension tout débute comme i can just because fin de systèmes tels survivent ils loupent inite sauvade 26 dark back and could do something more performante

c'est une fuite ou du tube hey odieuse we have custom fields l'essai newspass fils additionnel d'état son field hop funk you for you nations d'asie ska