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