<Чому 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 або вибрали структури, які покладаються на деяких централізованих постачальників доказів. ...