Я не можу уявити, що буду виступати за те, щоб новий інженер навчився програмувати від перших директорів, як це зробив я, ось наскільки ми по-справжньому готові у 2025 році

О. О. в розслабленості про @commonwarexyz: «Так, структура репозиторію та команди натякають на те, що їх розробляє хтось, хто знає, що робить».

Чудово провели час, поширюючи інформацію про ZKarnage та @TheProofLab сьогодні на @frontiertower, дякуючи @HouseofZK за запрошення! Кілька джерел сказали мені, що найкраща частина - це рожеві капелюхи - у мене завжди є пара, якщо ви застанете мене на заході SF Crypto!

Нарешті дійшовши до того, щоб запустити @boundless_xyz prover і скуштувавши свого часу багато страв ZK, я думаю, що можу авторитетно сказати, що це якась хороша їжа. 🍱

Чому у криптографа виникла екзистенційна криза? Тому що він зрозумів, що тонка пліткарка, яка відділяє математичну цивілізацію від повної анархії, – це дволінійність. І, незважаючи на роки вивчення, доказів і нічних сеансів налагодження, він все ще прокидається в холодному поту, замислюючись, чи насправді він розуміє, чому e(aP, bQ) = e(P, Q)^(ab) або він просто дуже добре вміє культивувати карго ритуали, які змушують перевірку сполучення ставати зеленою.

іноді я думаю, що "нуль знань" краще було б назвати "нульовим розумінням"

привіт @RiscZero + @boundless_xyz, чому на @eth_proofs немає Risc0 або Boundless prover?

Програмування за допомогою zkVM може бути схожим: Потік 'write' запанікував під час виконання/тестів/elf_tests.rs:71:13: STDOUT повинен містити: Суп, світе! Привіт, народ! Але отримав: Суп, світе! Х␊┌⎺← «┬⎺⎼»! С┤⎻← «С┬⎺⎼»! ↑↑↑↑ ␤␋┼├_␉┤°°␊⎼ ⎽├␍⎺┤├ ↑↑↑↑ ├␤⎼␊▒␍ '␤␋┼├_␉┤°°␊⎼' ⎻▒┼␋␌┐␊ ▒├ ⎼┼├␋└␊/├␊⎽├/␊┌°_├␊⎽⎽↓⎼⎽: 71:13: ⎽├␍␊⎼⎼ ⎽␤⎺┤┌␍ ␌⎺┼├▒␋┼: G┤␊⎽├ °␋┼␋⎽␤␊␍ ␊␊␌┤├␋┼ ␋┼

@YourBuddyConner готує

На майбутній @HouseofZK у Сан-Франциско @YourBuddyConner @TheProofLab представлять «ZKarnage: Breaking ZK Provers для створення сильнішого Ethereum» 🌉 🗓 23 липня, 14:00-17:00 📍 @frontiertower, СФ 🎟️ Докази з нульовим розголошенням є основою революції масштабування рівня 2 Ethereum, яка щодня обробляє транзакції на мільярди доларів. ZKarnage — це ініціатива стрес-тестування в основній мережі, яка систематично атакує системи перевірки ZK за допомогою транзакцій, що «доказують-вбивають», призначених для виявлення вразливостей, вузьких місць у продуктивності та економічної неефективності, перш ніж зловмисники зможуть їх використати. Коннер надасть всебічне ознайомлення з ZKarnage, пояснить, що таке zkEVM і як вони працюють, а також глибоко зануриться в конкретні профілі атак, які використовуються для експлуатації цих систем. У цій доповіді буде продемонстровано методологію доведення ZK до критичної точки за допомогою інтенсивних обчислювальних операцій та складного використання 🤝 прекомпіляції