Від 0 до ZK Concept Bites #6: Проблема надлишковості Минулого разу ми говорили про лаконічність того, як докази ZK стискають величезні обчислення у маленькі, дешеві для перевірки пакети. Цього разу давайте розглянемо, чому ця властивість має значення на найфундаментальнішому рівні того, як насправді працюють блокчейни. Кожного разу, коли створюється новий блок Ethereum, сотні тисяч валідаторів незалежно повторюють кожну транзакцію в ньому. Ті самі доповнення, ті самі передачі, та сама логіка смарт-контрактів — усе повторюється по всій мережі. Ось як Ethereum підтримує недовіру: якщо всі досягають одного й того ж результату незалежно, ніхто не повинен довіряти іншим. Вартість цієї гарантії величезна. Обчислення на один блок множиться сотні тисяч разів. Це працює і є безпечним, але саме тому блокчейни залишаються повільними та дорогими. Мережа ніколи не випереджає одну машину, бо кожна машина виконує однакове навантаження. 🔁 Докази ZK пропонують принципово іншу модель: одна сторона виконує обчислення і генерує доказ того, що робота виконана правильно, а кожен валідатор у мережі просто перевіряє цей доказ, замість того щоб повторювати роботу. Завдяки лаконічності ця перевірка є надзвичайно дешевою, незалежно від складності початкового обчислення. Архітектура змінюється з «кожен робить усе» до «обчислюй один раз, перевіряй всюди». 🔑 Але щоб ця модель стала реальністю на базовому рівні Ethereum, має бути один критично важливий елемент: дослідницька сторона має бути достатньо швидкою, щоб встигати за живим виробництвом блоків, і достатньо доступною, щоб не вимагати величезних апаратних інвестицій для роботи. Якщо доведення займає години або коштує мільйони інфраструктури, модель залишається теоретичною. Ось тут і з'являється Pico Prism. ⚡ Нещодавно ми оголосили, що Pico Prism тепер досягає 99% перевірки блоку Ethereum у реальному часі лише з 16 GPU на двох машинах, що в середньому становить 6,91 секунди на блок. Загальна вартість апаратного забезпечення: ~$100K, саме на цілі Ethereum Foundation. Кілька місяців тому ті ж результати вимагали 64 GPU і $128 тисяч витрат на GPU. Це скорочення робить доведення рівняння практично досяжним. Оскільки це надійно відповідає 12-секундному блокувальному часу Ethereum на доступному обладнанні, шлях до інтеграції перевірки на основі доказів на рівні протоколу стає конкретним. І коли це відбувається, сотні тисяч валідаторів переходять від надмірного повторного виконання кожного блоку до простої перевірки невеликого доказу, що фундаментально змінює масштабування Ethereum. 🧱 ...