Studujete ZK a chcete znát odpovědi na své otázky? Připojte se k nadcházející výzvě a promluvte si přímo s týmem, který toto kouzlo vytvořil! Odkaz dále.

Řada Uniswap V3 pokračuje: Reálné rezervy a jak je vypočítat Cena v AMM se mění, když tokeny vstupují do poolu a opouštějí jej během swapu. Skutečné rezervy tokenu jsou jednoduše množství tohoto tokenu, které musí obchodník vyměnit za cenu, aby dosáhl dalšího ticku. Skutečná rezerva x je množství tokenu x, které musí být vyměněno k dosažení horního dílku -- a skutečná rezerva y je množství tokenu y, které musí být vyměněno k dosažení nižšího dílku. Pravděpodobně jste se naučili, jak vypočítat skutečné rezervy tak, že jste "přeložili" křivku Uniswap V2, dokud nepřekročí osy x a y – a pak jste provedli vícestupňovou algebru. My jsme přišli s mnohem jednodušším odvozením! A má pěkné obrázky a animace. Více se dozvíte v našem nejnovějším příspěvku na blogu. Je nám potěšením zjednodušovat.

S hrdostí oznamujeme spuštění RareCode .ai Moderní umělá inteligence odvádí skvělou práci při vysvětlování kódu. Učení však pochází z psaní kódu. Tak jsme obojí zkombinovali. Víc se uč 👇

Pokud se chcete ZK opravdu naučit, měli byste implementovat algoritmy od nuly. Knižní závěť ZK pomohla desítkám inženýrů tuto cestu dokončit.

Kniha @RareSkills_io nulových znalostí | M1· C1 Co kdybyste mohli dokázat, že znáte řešení, aniž byste ho kdy odhalili? Zjistěte, jak P vs NP umožňuje důkazy s nulovou znalostí. 👇 Pojďme to 🧵 rozluštit

Jsme hrdí na to, že můžeme být součástí této cesty!

Nový příspěvek na blogu: Circle FFT — Část 1: Budování domény Circle Matematika v ZK se obvykle provádí v konečném oboru, což je grupa pod sčítáním. Zvláštní optimalizací je však použití kruhu jako skupinové domény. Kruh je dvojice prvků (x, y), které splňují x² + y² = 1 mod p. Tento článek ukazuje, jak lze tuto sadu bodů převést na skupinu a zároveň mít vlastnosti potřebné k provedení algoritmu FFT (a potažmo algoritmu STARK). Autorem je @cabrio_yugo, který na vytvoření tohoto díla získal grant od zkBankai. Odkaz v odpovědi

Úřední hodiny s Vyperem se odehrávají za něco málo přes 2 hodiny. Připravte se na další podrobný rozbor kompilátoru, kde se budeme věnovat: - Venom IR (střední reprezentace) - Optimalizační strategie - Bezpečnostní záruky Pozvat v odpovědi.

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í.

Jste na začátku své cesty k auditu? Vytvořili jsme nový výukový zdroj: Buggy ERC-20s Buggy ERC-20s je repozitář 20 (ano, to je záměrné) implementací ERC-20 kontraktů, ale s chybou. Jak jen to bylo možné, snažili jsme se, aby tyto chyby odrážely druh chyb, kterých se vývojáři skutečně dopouštějí. Jedná se o výukové cvičení, které používáme v našem Solidity Bootcampu, ale jak víte, všechny naše výukové zdroje poskytujeme zdarma. Zbystříte zrak, abyste zachytili chybějící řádky, kompilaci, ale nesprávně se chovající kód a důležité rohové případy. Nejedná se o normální CTF, neposkytujeme vám jednotkové testy, abyste si mohli ověřit svou odpověď, protože to není realistické. Budete se muset vypořádat s problémy tak, jak to auditor obvykle dělá! Vytvořili jsme poměrně velkou sbírku problémů, protože chceme, abyste si je ve své praxi trochu zopakovali. Cvičení není jednorázová záležitost. Ačkoli se mezi tokeny vyskytují podobné chyby, žádný z repozitářů nemá stejné chyby. Každé úložiště má jednu chybu a chyba je závažná a ne hypotetická. Některé chyby jsou zřejmé a některé jsou nenápadné. Považujete se za zkušeného? Pak byste měli být schopni odhalit chybu za méně než minutu na základnu kódu. Vrhnout se do auditu velké kódové základny může být zastrašující, takže jsme z toho udělali odrazový můstek. Toto repozitář byl vytvořen @degenshaker. Odkaz dále.