Kun julkaisimme ZK-kirjan yli vuosi sitten, otimme ZK-koulutustilan valtavan askeleen eteenpäin. Kirjamme oli edelläkävijä lähestymistavassa "juuri tarpeeksi matematiikkaa" ZK:n oppimiseen. Tänään teemme sen jälleen uudella lisäyksellä ZK-kirjaan. "Ympärys- ja rajoitussuunnittelumallit" Tässä uudessa osiossa keskitytään ei-triviaalien ZK-piirien suunnitteluun, luomiseen ja auditointiin. Olet luultavasti nähnyt paljon opetusohjelmia siitä, kuinka todistaa tuntevasi polynomin arvioinnin Circomin avulla. Mutta miten edetään siitä ZKVM:n suunnitteluun tai sen todistamiseen, että tunnet perinteisen hajautusfunktion (kuten MD5 tai Keccak256)? ZK-kirjamme uusi osa vie sinut matkalle kertomisesta numeroihin yhdessä: - ZKVM:n rakentaminen tyhjästä - MD5-hajautusfunktion koodausrajoitukset - oppia rajoitesuunnittelun toistuvia suunnittelumalleja Viimeinen osa oli mielenkiintoinen, koska joillakin vakiintuneilla "suunnittelumalleilla" ei ole edes nimiä. Meidän piti keksiä terminologiaa! Kuten tavallista, olemme erittäin harkittuja siinä, miten esittelemme lukijalle uusia ideoita, jotta emme hukkuisi ketään uutta. Huolehdimme siitä, että opetamme esitiedot järkevässä järjestyksessä ja monien esimerkkien avulla. Jokaisessa luvussa näytetään, miten piiri rakennetaan yhä monimutkaisempaan sovellukseen. Jokaisessa luvussa sekä kertaatte aiemmin oppimanne että opitte uuden suunnittelumallin. Kun olet koonnut kokoelman näistä suunnittelumalleista, voit koota ne yhteen rakentaaksesi monimutkaisempia sovelluksia, kuten ZKVM:n tai ei-triviaalin hajautusfunktion. Panostamme valtavasti siihen, että materiaali on sekä helposti ymmärrettävää että korjattavaa ilman merkittäviä puutteita. Haluamme kiittää @ChainLight_io, @VeridiseInc, @PrivacyScaling ja @zksecurityXYZ siitä, että he ovat varanneet aikaa tämän työn tarkistamiseen ja ehdotusten antamiseen. Olemme erityisen kiitollisia @marcobesier @zksecurityXYZ:ltä useiden tarkistusten läpikäymisestä, jotta luvut saadaan todella hiotuksi. Erityinen kiitos @cal_nix kirjan tämän uuden osan seitsemän ensimmäisen luvun kirjoittamisesta! Tässä käsittelemämme aiheet ovat erittäin perustavanlaatuisia. Jos et ymmärrä täällä olevia materiaaleja, nykyaikaisemman ZKVM- tai ZK L2 -asiakkaan sisäosien oppiminen on melko haastavaa. Tähän asti tulokkaille suunnattujen selitysten puuttuminen tällaisille perustavanlaatuisille käsitteille on pidätellyt ZK-tilaa. Tämä uusi teos ei ole vain "parempi selitys" olemassa olevalle materiaalille, vaan ensimmäinen selitys ylipäätään - akateemisten papereiden ulkopuolella. Käytämme Circomia opetuskielenä, koska pidämme sitä aloittelijaystävällisimpään. Tässä oppimasi yleistyy kuitenkin muihin kehyksiin, kuten Plonky3, Halo2, o1js ja Gnark. Uudet artikkelit tekevät ZK-kirjasta nyt yli 38 000 sanaa pidemmän. Sinun ei tarvitse tietää, miten ZK-SNARK toimii lukeaksesi tämän kirjan osan, mutta on olemassa muutamia edellytyksiä. Nämä on lueteltu luvussa "Johdatus Circomiin". Kuten tavallista, materiaali on täysin ilmaista ilman kirjautumista.