<Чому ZK зазнав невдачі і що Лаконічний намагається змінити?> 1. Усвідомлення проблеми Творець біткоїна, Сатоші Накамото, висловив скептицизм щодо доказів з нульовим розголошенням (ZKP). Він заявив: «Щоб довести, що чогось не існує, вам потрібно знати всю транзакцію», зробивши висновок, що застосування ZKP до блокчейну структурно складне. Однак він також згадав, що «якщо рішення буде знайдено, буде набагато краще, простіше і зручніше впровадити біткоіни». Іншими словами, визнаючи технічні обмеження ZK, він визнав, що якщо це буде вирішено, це може стати значним поворотним моментом в еволюції блокчейна. Через роки спільнота шифропанків і дослідники ZK нарешті знайшли це рішення. Zcash був першим випадком, який застосував ZKP до реальної криптовалюти, а наступні проекти, такі як StarkWare, zkSync і Scroll, розробили цю технологію як ключовий засіб для підвищення масштабованості та перевірюваності Ethereum. Однак у реальності все ще є прогалина. Створення zkEVM вимагає глибоких знань, років часу розробки та високопродуктивного обладнання, і більшість проєктів в кінцевому підсумку покладаються на конкретних постачальників доказів замість того, щоб експлуатувати власну інфраструктуру ZKP. В результаті ЗКП залишається складним інструментом, з яким можуть впоратися лише одиниці, а не технологією, якою може користуватися будь-хто. 2. Що таке стислість? Стисло (@SuccinctLabs) – це спроба безпосередньо звернутися до цього питання. Його основна місія полягає в перетворенні ZKP на інфраструктуру, яку можуть легко використовувати всі розробники, дозволяючи будь-кому створити «систему без довіри» без складних схем чи інфраструктури. Стисло – це інфраструктура, яка перетворює ідеал системи «Trustless», до якої прагнув блокчейн, на практично реалізовану реальність. Не має довіри не означає «ненадійний»; Скоріше, це стосується структури, яка діє незалежно, не покладаючись на довіру, тобто математично перевіреної системи без третіх сторін або центральних органів. Однак поточна екосистема блокчейну все ще значною мірою покладається на довіру. Хакерські атаки на мост, операції з мультипідписом і централізоване делегування валідаторів – все це є доказом того, що нам все ще потрібно довіряти людям або організаціям, щоб система функціонувала. Спробою подолати ці обмеження, засновані на довірі, є саме технологія Zero-Knowledge Proof (ZKP). Ця технологія дозволяє математично довести, що «цей розрахунок правильний», не довіряючи нікому, що робить його фундаментальною основою для децентралізованих систем. Проблема полягала в тому, що ЗКП занадто складний і важкий для практичного використання. 3. Чому ЗКП відчував труднощі? Технологія ZKP має високі бар'єри так само, як і свій потенціал. Зокрема, для створення zkEVM потрібна спеціалізована команда, роки часу на розробку та дорога інфраструктура. Більшість zk-проектів повинні були проектувати власні схеми, створювати виділені zkVM і безпосередньо працювати з апаратним забезпеченням. Тільки пройшовши всі ці процеси, вони могли претендувати на звання «ZK-роллапів». Крім того, існуючі зкВМ загального призначення були дуже неефективними у генерації доказів. Як правило, для доведення одного блоку потрібен був кластер з десятків високопродуктивних машин, які коштували від 10 до 20 доларів за блок. У зв'язку з цим технічним навантаженням і експлуатаційними витратами багато проектів або взагалі відмовилися від впровадження ZKP, або вирішили покластися на деяких централізованих постачальників доказів. 4. Спроба Лаконічного @SuccinctLabs розглядає ці структурні питання як «інфраструктурні проблеми». ЗКП технічно досить потужна, але питання в тому, хто, як і за рахунок чого її впроваджує. Таким чином, Sucinct створює децентралізовану мережу постачальників, до якої будь-хто може легко отримати доступ, без необхідності безпосередньої роботи інфраструктури захисту від окремих проектів. Розробникам не потрібно налаштовувати складні зкВМ або закуповувати залізо. Коли вони надсилають запити на докази в мережу, різні докази з різним обладнанням роблять ставку на їх обробку способом, подібним до аукціону. Витрати на докази, природно, зменшуються завдяки конкуренції, а докази ефективно генерують докази, використовуючи високопродуктивне обладнання. В результаті розробники отримують швидкі та недорогі докази, тоді як уся екосистема отримує вигоду від інфраструктури доказів із високою доступністю та стійкістю до цензури. Лаконічність – це не просто демонстрація технічних можливостей; Вона доводить свою роль у сферах, де виникає фактичний попит. Показовим прикладом є поява тренду «CLOBs on Blobs» в екосистемі @celestia. Децентралізовані біржі, що використовують високопродуктивні методи центральної лімітної книги ордерів (CLOB), з'являються на просторі BLOB, що призводить до вимог інфраструктури до великомасштабної обробки даних і швидкої перевірки стану. Такі проєкти, як Hyperliquid і @hibachi_xyz, реалізують складну логіку торгівлі книгою ордерів і виявлення цін у мережі, що вимагає масштабованості та продуктивності за межами простих зведень. Тут потрібен високопродуктивний рівень доступності даних Celestia та децентралізована інфраструктура захисту ZK, надана Scinct. Фактично, Celestia спостерігає швидке збільшення фактичного використання простору BLOB, і за цим непомітно вносять свій внесок інфраструктури ZK, такі як Scinct. Якщо Celestia надає «перевірене сховище даних», Sucinct відповідає за створення «перевірених переходів станів» для цих даних. Цю комбінацію можна розглядати як відправну точку для переходу технології ZKP від абстрактної теорії до функціонуючої системи в реальності. 5. ЗкЕВМ, з яким впорається будь-хто, SP1 і SP1 Reth Вирішуючи питання доступності інфраструктури, Succinct також прагне знизити вхідні бар'єри самої zkVM, розробляючи zkVM з відкритим вихідним кодом під назвою SP1 (Succinct Processor 1). SP1 — це zkVM загального призначення, реалізований у Rust, призначений для безпосереднього використання будь-ким без складної схемотехніки, необхідної для існуючих zkEVM. Раннім прикладом, що демонструє потенціал SP1, є SP1 Reth. SP1 Reth — це zkEVM типу 1, реалізований лише з приблизно 2 000 рядками коду Rust, який легко налаштовується шляхом повторного використання компонентів з існуючої клієнтської екосистеми Ethereum (Reth, Revm, Alloy тощо). Ще більше вражає його продуктивність. Середня вартість доказу за транзакцію Ethereum для SP1 Reth становить лише приблизно від 0,01 до 0,02 долара США, що нижче, ніж витрати на доступність даних, які зазвичай виникають у L2. Причина, через яку така продуктивність можлива, пов'язана з системою «попередньої компіляції», якою володіє SP1. Він обробляє інтенсивні з обчислювальною інтенсивністю операції, такі як хеш-функції та перевірка сигнатур, у попередньо оптимізованій структурі, що значно зменшує ресурси, що споживаються zkVM. До сих пір реалізація zkEVM з zkVM коштувала від $10 до $20 за блок, але SP1 Reth вдалося скоротити це число до однозначних цифр. Як SP1, так і SP1 Reth повністю мають відкритий вихідний код і доступні для будь-кого, хто може створити свій власний zkEVM або додати прекомпіляції для підвищення продуктивності. Це являє собою повне потрясіння існуючого дорогого середовища розробки з високою складністю zk, відкриваючи еру, коли будь-який розробник Rust може брати участь у zk-системах. 6. В кінцевому підсумку, ЗК тепер доступний кожному Стисло – це заповнення останніх шматочків пазлу потенціалу, доступності та практичності технології ZKP. Без складних схем або спеціального обладнання будь-хто може створювати програми з використанням ZKP, а докази обробляються децентралізованою мережею. Ми вступаємо в епоху, коли всі роллапи можуть стати ZK rollups, а інтернет працює виключно на правді. У вихідній точці цього знаходиться Лаконічний і SP1. Тепер ZKP – це технологія для всіх, а не лише для обраних.