OH w slacku o @commonwarexyz: "tak, struktura repozytorium i polecenia sugerują, że zostały zaprojektowane przez kogoś, kto wie, co robi."

Świetnie się bawiłem, szerząc wieści o ZKarnage i @TheProofLab w @frontiertower dzisiaj, dzięki @HouseofZK za zaproszenie! Kilka źródeł powiedziało mi, że najlepszą częścią były różowe czapki -- zawsze mam kilka przy sobie, jeśli spotkasz mnie na wydarzeniu Crypto w SF!

W końcu zabieram się do uruchomienia prover'a @boundless_xyz i po spróbowaniu wielu potraw ZK w swoim życiu, mogę z pełnym przekonaniem powiedzieć, że to naprawdę dobre jedzenie. 🍱

Dlaczego kryptograf miał kryzys egzystencjalny? Ponieważ zdał sobie sprawę, że cienka, delikatna nić oddzielająca cywilizację matematyczną od całkowitej anarchii to bilinearnosc. I mimo lat studiów, dowodów i nocnych sesji debugowania, wciąż budzi się w zimnym pocie, zastanawiając się, czy naprawdę rozumie, dlaczego e(aP, bQ) = e(P, Q)^(ab) czy po prostu jest naprawdę dobry w naśladowaniu rytuałów, które sprawiają, że sprawdzenie parowania staje się zielone.

czasami myślę, że "zero wiedzy" byłoby lepiej nazwane "zero zrozumienia"

hej @RiscZero + @boundless_xyz, dlaczego nie ma provera Risc0 ani Boundless na @eth_proofs?

Programowanie z zkVMs wygląda tak: wątek 'write' panikował w runtime/tests/elf_tests.rs:71:13: stdout powinien zawierać: Sup, world! Hello, world! ale otrzymano: Sup, world! ����H␊┌┌⎺← ┬⎺⎼┌␍! S┤⎻← ┬⎺⎼┌␍! ���� ↑↑↑↑ ␤␋┼├_␉┤°°␊⎼ ⎽├␍⎺┤├ ↑↑↑↑ ├␤⎼␊▒␍ '␤␋┼├_␉┤°°␊⎼' ⎻▒┼␋␌┐␊␍ ▒├ ⎼┤┼├␋└␊/├␊⎽├⎽/␊┌°_├␊⎽├⎽↓⎼⎽:71:13: ⎽├␍␊⎼⎼ ⎽␤⎺┤┌␍ ␌⎺┼├▒␋┼: G┤␊⎽├ °␋┼␋⎽␤␊␍ ␊│␊␌┤├␋⎺┼ ␋┼

@YourBuddyConner gotuje

Na nadchodzącym wydarzeniu @HouseofZK w San Francisco, @YourBuddyConner z @TheProofLab zaprezentuje 'ZKarnage: Łamanie ZK Proverów, aby zbudować silniejszy Ethereum' 🌉 🗓 23 lipca, 14:00-17:00 📍 @frontiertower, SF 🎟️ Provery zero-knowledge są kręgosłupem rewolucji skalowania warstwy 2 Ethereum, przetwarzając codziennie miliardy dolarów w transakcjach. ZKarnage to inicjatywa testowania obciążeniowego na żywo w mainnecie, która systematycznie atakuje systemy dowodzenia ZK za pomocą transakcji "zabijających proverów", zaprojektowanych w celu ujawnienia luk, wąskich gardeł wydajności i nieefektywności ekonomicznych, zanim złośliwi aktorzy będą mogli je wykorzystać. Conner przedstawi kompleksowe wprowadzenie do ZKarnage, wyjaśni, czym są zkEVM i jak działają, oraz szczegółowo omówi konkretne profile ataków wykorzystywane do eksploatacji tych systemów. Ta prezentacja pokaże metodologię pchania proverów ZK do ich punktu łamania, wykorzystując operacje wymagające dużej mocy obliczeniowej i złożone użycie prekompilacji 🤝

Cieszę się, że mogę zaprezentować naszą pracę nad otwartymi multimodalnymi benchmarkami akcji na warsztatach ICML CodeML w ten piątek! Będę dostępny w piątek i sobotę i chętnie porozmawiam oraz wypiję kawę z każdym, kto buduje lub ocenia agentów użycia komputerów i modele akcji. Dajcie znać!