Zencode: kako pisati pametne pogodbe z uporabo naravnega jezika
Dogodek poteka v živo. Vstop prost. Obvezna registracija.
Število udeležencev je omejeno. Udeleženci bodo izbrani na osnovi kratkega motivacijskega pisma.
Minimalno potrebno znanje: osnovni koncepti programiranja.
Zencode je projekt, ki so ga navdihnile razprave o digitalnem skupnem in tehnološki suverenosti. Njegov cilj je ozavestiti ljudi, kako algoritmi obdelujejo njihove podatke, in razvijalcem pomagati pri razvijanju aplikacij, ki sledijo načelom vgrajene zasebnosti.
Osredotoča se predvsem na distribuirano računanje, s katerim je mogoče obdelati nepreverjeno kodo in izvesti napredne kriptografske funkcije. Med drugim se ga na primer lahko uporablja s katerokoli porazdeljeno evidenco transakcij (veriženje blokov), ki je implementirana kot prevajalnik pametnih pogodb.
Jezik Zencode zmanjša število napak in olajša pisanje prenosljivih skript, ki implementirajo šifriranje celotne verige z operacijami, izvršenimi v izoliranem okolju (Zenroom VM), ki ga je mogoče zlahka prenesti na katerokoli drugo platformo, vgraditi v katerikoli jezik in narediti interoperabilnega s katerimkoli veriženjem blokov.
Na vzpostavitev Zencoda so močno vplivale moderne raziskave in jezikovno-teoretska varnost, saj kot neposredni skladenjski razčlenjevalnik uporablja programski jezik Lua in tako ustvari ne-Turingov celovit domensko specifičen jezik, ki zagotavlja grobozrnato izračunavanje in prepoznavanje podatkov pred obdelavo.
Okolje uporablja prevajalnik Zenroom VM, ki podpira varno izolacijo in strežnike varuje pred napakami, saj nima dostopa do procesa klicev, omrežja, podpornega operacijskega sistema ali datotečnega sistema.
Zenroom VM je procesni virtualni stroj: zamejeno proizvodno okolje, zasnovano za varno obdelavo vseh, tudi zlonamernih Zencode navodil. V primeru kakršnihkoli napak med prevajanjem kode, preverjanjem podatkov ali izvajanjem operacij Zenroom prepreči pošiljanje kakršnihkoli sporočil, ki bi programerjem pomagala oceniti nastalo težavo.
Scenariji jezika Zencode so zapisani skladno z deklarativnim pristopom in zagotavljajo funkcionalna orodja za učinkovito manipuliranje tudi s kompleksnejšimi podatkovnimi strukturami.
Teme: digitalno skupno, tehnološka suverenost, algoritmi, zavedanje obdelovanja podatkov, vgrajena zasebnost.
Organizacija: Ljudmila
Dogodek poteka v živo. Vstop prost. Obvezna registracija.
Število udeležencev je omejeno. Udeleženci bodo izbrani na osnovi kratkega motivacijskega pisma.
Minimalno potrebno znanje: osnovni koncepti programiranja.