Як ми всі знаємо, по-справжньому децентралізований публічний ланцюг L1 зіткнеться з неможливим трикутником (нездатним врахувати безпеку, масштабованість і децентралізацію одночасно), і одна з найважливіших основ цінності Ethereum, децентралізація, також є аспектом, якого Ethereum завжди дотримувався. Ethereum завжди сподівався в кінцевому підсумку працювати на звичайному побутовому обладнанні, з більш ніж десятками тисяч вузлів і мільйонами валідаторів. Наполягання Ethereum на децентралізації також призвело до відносно повільного прогресу в продуктивності L1, і в кінцевому підсумку він розробив архітектури L1 і L2, але в даний час L2 має проблему фрагментації ліквідності і недостатнього захоплення вартості. Як вирішити початкову дилему блокчейну Ethereum (безпека, масштабованість і децентралізація)? Одним з важливих аспектів є впровадження технології ZK proof-of-the-art. За своєю суттю докази ZK дозволяють виконувати велику кількість обчислень або транзакцій поза ланцюгом, після чого в ланцюжку подається лише стислий доказ, який доводить, що ці виконання правильні без розкриття всіх деталей. Перевага цього полягає в тому, що він може успадкувати безпеку, одночасно покращуючи масштабованість і посилюючи децентралізацію. Наприклад, zkVM використовується для розширення L1/L2, що також сприяє дробленню ліквідності L2. Докази ZK криптографічно безпечні, що забезпечує безпомилкове виконання поза ланцюгом. Як тільки буде доведено, що він недійсний, його буде відхилено, успадкувавши початковий захист Ethereum. Якщо вона виявиться ефективною та недорогою генерацією та верифікацією, а звичайне обладнання (мобільні телефони чи домашні комп'ютери) може брати участь у верифікації вузлів, то є можливість ще більше посилити децентралізацію. Основний продукт SP1 (Sucinct Proofs 1), нещодавно запущений компанією Succinct (інфраструктурний проект, орієнтований на ZK proofs), являє собою високопродуктивну zkVM (віртуальну машину з нульовим розголошенням), яка дозволяє розробникам писати довільні програми на Rust і генерувати докази ZK, щоб довести правильність виконання програми без перезапису схеми. Це дуже допомагає екосистемі Ethereum у вирішенні проблеми неможливого трикутника. Зокрема, Succinct може допомогти Ethereum масштабуватися за допомогою: По-перше, його SP1 — це високопродуктивна zkVM, яка підтримує докази виконання програм на будь-якій мові компіляції LLVM і може бути застосована до зведень, співпроцесорів і сценаріїв zkEVM. SP1 від Accinct підтримує швидку генерацію доказів, і, згідно з поточною офіційною заявою, він може генерувати докази Ethereum зі швидкістю в режимі реального часу, що майже близько до технології «доказу в реальному часі». Згідно з поточним офіційним описом тесту, у бенчмарку з 10 000 блоків Ethereum понад 93% блоків можуть генерувати докази за 12 секунд, а бенчмарк використовує кластер із близько 200 графічних процесорів NVDIA RTX 4090 для досягнення вищезазначеної продуктивності. Для роботи повноцінного кластера доказів у реальному часі потрібно близько 160 графічних процесорів RTX 4090, а поточна вартість збірки становить близько $30-400 000, і є шанс знизити вартість приблизно до $100 000 за рахунок апаратної оптимізації та покращення системи доказу. Крім того, Succinct також є децентралізованою мережею, яка може зменшити вартість і затримку перевірки Ethereum за рахунок розділення обчислень і верифікації, з кінцевою метою дозволити звичайним вузлам або мобільним телефонам брати участь у перевірці доказів і підтримувати Ethereum для розширення на більшу кількість валідаторів. Нарешті, технологія ZK також забезпечить більше сценаріїв застосування, таких як перевірка особи, приватні транзакції, крос-чейн операції тощо. Коротше кажучи, технологія ZK є однією з найважливіших частин на шляху Ethereum до 10 000tps.