Nedokážu si představit, že bych se zasazoval o to, aby se nový inženýr naučil kódovat od prvních ředitelů, jako jsem to dělal já, tak jsme v roce 2025 skutečně uvaření

OH v rezervě o @commonwarexyz: "Ano, struktura a příkazy repozitáře naznačují, že je navrhl někdo, kdo ví, co dělá."

Skvěle jsem se bavil šířením informací o ZKarnage a @TheProofLab na @frontiertower dnes, díky @HouseofZK za pozvání! Několik zdrojů mi řeklo, že nejlepší částí jsou růžové klobouky - vždy jich mám u sebe několik, pokud mě přistihnete na SF Crypto akci!

Když jsem se konečně dostal k tomu, že jsem vyzkoušel @boundless_xyz a za svůj čas jsem ochutnal spoustu jídel ZK, myslím, že mohu autoritativně říci, že je to dobré jídlo. 🍱

Proč měl kryptograf existenční krizi? Protože si uvědomil, že tenká, tenká nit oddělující matematickou civilizaci od úplné anarchie je bilinearita. A navzdory rokům studia, korektur a nočního ladění se stále probouzí se studeným potem a přemýšlí, jestli vůbec chápe, proč e(aP, bQ) = e(P, Q)^(ab), nebo jestli je prostě opravdu dobrý v tom, jak si vymyslet rituály, díky nimž se kontrola párování stane zelenou.

někdy si myslím, že "nulové znalosti" by bylo lepší pojmenovat "nulové porozumění"

hej @RiscZero + @boundless_xyz, proč na @eth_proofs není žádný Risc0 nebo Boundless prover?

Programování se zkVMs je třeba takto: vlákno 'write' zpanikaří za běhu/tests/elf_tests.rs:71:13: stdout by měl obsahovat: Sup, světe! Ahoj světe! ale dostal: Sup, světe! H␊┌┌⎺← ┬⎺⎼┌␍! S┤⎻← ┬⎺⎼┌␍! ↑↑↑↑ ␤␋┼├_␉┤°␊⎼ ⎽├␍⎺┤├ ↑↑↑↑ ├␤⎼␊▒␍ '␤␋┼├_␉┤°␊⎼' ⎻▒┼␋␌┐␊␍ ▒├ ⎼┤┼├␋└␊/├␊⎽├⎽/␊┌°_├␊⎽├⎽⎜⎽↓⎼⎽: 71:13: ⎽├␍␊⎼⎼ ⎽␤⎺┤┌␍ ␌⎺┼├▒␋┼: G┤␊⎽├ °␋┼␋⎽␤␊␍ ␊│␊␌┤├␋⎺┼ ␋┼

@YourBuddyConner vaří

Na nadcházejícím @HouseofZK San Francisca představí @YourBuddyConner of @TheProofLab "ZKarnage: Prolomení ZK Provers k vybudování silnějšího Etherea" 🌉 🗓 23. července, 14-17 hodin 📍 @frontiertower, SF 🎟️ Dokazovatelé nulových znalostí jsou páteří revoluce škálování Etherea na 2. vrstvě, která denně zpracovává transakce za miliardy dolarů. ZKarnage je živá iniciativa pro zátěžové testování mainnetu, která systematicky útočí na systémy dokazování ZK pomocí "prover-killer" transakcí navržených tak, aby odhalily zranitelnosti, úzká místa výkonu a ekonomickou neefektivitu dříve, než je mohou zneužít škodliví aktéři. Conner poskytne komplexní úvod do ZKarnage, vysvětlí, co jsou zkEVM a jak fungují, a ponoří se hluboko do specifických profilů útoků, které se používají ke zneužití těchto systémů. Tato přednáška demonstruje metodologii, jak dotlačit ZK provery k jejich bodu zlomu pomocí výpočetně náročných operací a komplexního použití 🤝 předkompilace