Віталік Бутерін опублікував довгий текст: GKR криптопротокол може швидко підтвердити Ethereum, zk-ML прискорює AI LLM

Віталік Бутерін назвав GKR, який дозволяє використовувати невелику кількість GPU для миттєвого генерування доказів Ethereum L1, відкриваючи нову еру для ZK-розширення (попередній контекст: чи є MEV-роботи Ethereum відмиванням грошей? У США вперше розглядається справа братів MIT, де арбітраж на 25 мільйонів доларів пов'язаний з шахрайством) (додаткова інформація: Бутан перенесе «державну цифрову ідентифікацію» 800 тисяч громадян на Ethereum, Віталік: нехай люди спокійно володіють контролем над своїми даними) Засновник Ethereum Віталік Бутерін 19 числа повідомив, що протокол GKR дозволяє нульовим знанням (ZKP) увійти в еру миттєвих операцій: 50 споживчих GPU можуть обробляти Ethereum L1, звичайний ноутбук може перевіряти 2 мільйони разів на секунду Poseidon хеш. Це досягнення закладає новий бенчмарк для розширення блокчейн і захисту конфіденційності. Ефективність GKR походить з того, що протокол GKR спеціально розроблений для певних обчислювальних сценаріїв, основна перевага - простота. Традиційні STARKs вимагають обіцянок щодо всіх проміжних рівнів схеми, що часто потребує сотень FFT і хешувань; GKR обіцяє лише вхідні та вихідні дані, що значно знижує розмір доказу та час перевірки. Бутерін пояснює: «GKR - це криптографічний протокол, спеціально розроблений для такого режиму. Його ефективність полягає в тому, що він уникає зобов'язань щодо всіх проміжних рівнів.» Наприклад, з Poseidon2 Hash, GKR теоретично може знизити витрати доказувача приблизно в п'ятнадцять разів, тоді як традиційні рішення можуть збільшити це до ста разів. Ефективність також може бути покращена за допомогою трюків Грюна, лінійної пакетної обробки та часткової оптимізації раундів. Однак Бутерін також нагадує розробникам забезпечити, щоб виклик Fiat–Shamir був дійсно випадковим, щоб зберегти безпеку. ZK-EVM та zk-ML прискорюють Високоефективні доказувачі відразу видно в ZK-EVM. Pico Prism від Brevis використовує кластер з кількох GPU, завершуючи 99,6% доказів блоків Ethereum L1 за 12 секунд; Airbender від ZKSync також досягає підсекундної перевірки. Ці приклади показують, що технології типу GKR надають імпульс для реального генерування блоків. Такі ж структурні характеристики роблять GKR придатним для «багатошарового низькорівневого обчислення + великої кількості повторюваних функцій» zk-ML. Модельне виведення може бути перевірене без витоку ваг і входів, закладаючи основу для обчислень конфіденційності AI. Погляд Уолл-стріт: ефективність - це конкурентоспроможність GKR виводить нульові знання на великомасштабні застосування, нагадуючи оптимізацію продуктивності TCP/IP колись. Для інвесторів високопродуктивна ZK інфраструктура та нові децентралізовані застосування стануть центром уваги; ще нижчі витрати на обчислення також можуть залучити основні установи. Хоча наразі доказувачі все ще залежать від великої кількості GPU, у майбутньому, якщо з'являться ASIC, економічний бар'єр може продовжити падіння. GKR вирішує питання швидкості та простоти, а рівень конфіденційності може бути запакований SNARK або STARK. З розвитком надшвидких ZK технологій, розширений, ефективний і дружній до конфіденційності Web3 екосистеми швидко формується. Пов'язані новини Завершено оновлення Ethereum Fusaka, тестування Sepolia, наступний крок - запуск тестової мережі Hoodi, запланований на початок грудня на основну мережу Фонд Ethereum створив «групу досліджень конфіденційності», щоб просувати шість основних дорожніх карт, повноцінно запустивши конкуренцію за конфіденційність Суддя США піддався «фізичній помсті», підпаливши будинок! Віталік закликає: захистіть суддів за допомогою голосування zk〈Віталік написав великий текст: GKR криптопротокол може швидко довести Ethereum, zk-ML прискорює AI LLM〉Ця стаття вперше була опублікована у BlockTempo “Рух активів - найвпливовіші новини блокчейну”.