Když jsme před více než rokem vydali ZK Book, posunuli jsme vzdělávací prostor ZK o obrovský krok vpřed. Naše kniha byla průkopníkem přístupu "tak akorát matematiky" k naučení ZK. Dnes to děláme znovu s novým přírůstkem do ZK Booku. "Návrhové vzory Circomu a vazeb" Tato nová sekce se zaměřuje na to, jak navrhovat, vytvářet a auditovat netriviální obvody ZK. Pravděpodobně jste viděli spoustu tutoriálů o tom, jak dokázat, že znáte vyhodnocení polynomu pomocí Circomu. Jak se ale dostanete k návrhu ZKVM nebo k prokázání, že znáte předobraz tradiční hashovací funkce (jako je MD5 nebo Keccak256)? Nový díl našeho ZK Booku vás provede od násobení ke společným číslům a: - budování ZKVM od nuly - omezení kódování pro hashovací funkci MD5 - Naučíte se opakující se návrhové vzory v návrhu vazeb Poslední část byla zajímavá, protože některé ze zavedených "designových vzorů" pro ně ani nemají názvy. Museli jsme vymyslet nějakou terminologii! Jako obvykle velmi pečlivě přemýšlíme o tom, jak čtenáře seznámíme s novými nápady, abychom nikoho nového nezahltili. Dbáme na to, abychom předpoklady vyučovali v rozumném pořadí a se spoustou příkladů. Každá kapitola ukazuje, jak vytvořit obvod pro stále složitější aplikaci. V každé kapitole si oba zopakujete, co jste se naučili dříve, a naučíte se nový vzor návrhu. Jakmile vytvoříte kolekci těchto návrhových vzorů, můžete je skládat dohromady a vytvářet tak složitější aplikace, jako je ZKVM nebo netriviální hashovací funkce. Vynaložili jsme obrovské úsilí, abychom zajistili, že materiál bude snadno pochopitelný a opravitelný bez jakýchkoli důležitých opomenutí. Rádi bychom poděkovali @ChainLight_io, @VeridiseInc, @PrivacyScaling a @zksecurityXYZ za vyčlenění času na přezkoumání této práce a poskytnutí návrhů. Obzvláště jsme vděční @marcobesier od @zksecurityXYZ za práci na několika revizích, abychom kapitoly skutečně dostali do vyleštěného stavu. Zvláštní poděkování patří @cal_nix za spoluautorství prvních sedmi kapitol této nové části knihy! Témata, kterými se zde zabýváme, jsou nesmírně zásadní. Pokud nerozumíte zdejším materiálům, naučit se vnitřnosti modernějšího klienta ZKVM nebo ZK L2 bude docela náročné. Až dosud držela prostor ZK zpět absence vysvětlení těchto základních konceptů orientovaných na nováčky. Tento nový soubor prací není jen "lepším vysvětlením" existujících materiálů, ale vůbec prvním vysvětlením -- mimo akademické práce. Circom používáme jako vyučovací jazyk, protože ho považujeme za nejpřívětivější pro začátečníky. Nicméně to, co se zde naučíte, lze zobecnit na další frameworky jako Plonky3, Halo2, o1js a Gnark. Díky novým článkům je nyní kniha ZK delší než 38 000 slov. Nemusíte vědět, jak ZK-SNARK funguje, abyste si mohli přečíst tuto část knihy, ale existuje několik předpokladů. Ty jsou uvedeny v kapitole "Úvod do Circomu". Jako obvykle, materiál je zcela zdarma bez nutnosti přihlášení.