Для перевірки, zkRollups спалюють $10 000 000 на рік Я не можу про це подумати! Своп, кредитування, голосування тощо використовують послуги верифікації, і докази ZK були широко прийняті, але фрагментований клієнт перевірки, високі комісії та труднощі з інтеграцією стали поширеними проблемами в галузі. Worldcoin повинен спалити 20 ~60 доларів газу, WOW за одну верифікацію. Давайте зануримося! ⬇️ Світ блокчейну — це темний ліс, і весь код має бути перевірений кілька разів, щоб виконати певну послугу, що також є однією з характеристик, які приносить децентралізація. Без витоку конкретних деталей, але з перевіркою результатів, технологія доказу з нульовим розголошенням ZK стала універсальним рішенням для галузі, проте реальність не така райдужна. Давайте спочатку поговоримо про вартість За оцінками ринку перевірки доказів, лише zkRollups витратять понад 100 мільйонів доларів на безпеку у 2024 році і, як очікується, розширяться до 1,5 мільярда доларів до 2028 року, включаючи додатки ZK. Якщо бути більш детальним, то вартість верифікації одного доказу ZK на Ethereum може коливатися від 16 до 205 доларів, і вона дуже варіативна, а сервіс вкрай нестабільний: ▰ Флонк:16,13 доларів США ▰ Halo2:28,81 доларів США ▰ Грот16:29,39 доларів США ▰ СТАРК:204,65 ДОЛАРІВ США Примітка: Припустимо лише 30 GWEI, ціна ETH становить 3 тисячі доларів За таку вартість було б жахливо здійснювати приватні транзакції DeFi, голосування, ігри та верифікацію особи, і це було б занадто дорого. На початку згадувалося, що Worldcoin коштує $20~60 за верифікацію, і вони були змушені звернутися до OP, але це був лише тимчасовий захід, і більшість активів і послуг все ще перебували на першому рівні мережі. 9 мільярдів доказів ZK чекають на генерацію, що також означає 9 мільярдів верифікацій — хто заплатить за цей рахунок? Поговоримо про вихідну допомогу Чому застрягли різні схеми перевірки ЗК? Традиційні рішення покладаються на ончейн-верифікацію L1, але процес EIP Ethereum занадто повільний, що серйозно ускладнює його. EIP-196 та 197 у 2017 році представили попередньо складені контракти для кривої BN254, що спростило верифікацію zk-SNARKs, але також зафіксувало інші криві. Крива BLS12-381, що з'являється, безпечніша та ефективніша, але оскільки EIP-2537 ще не реалізовано, розробники змушені використовувати криві для порятунку країни: спочатку агрегувати коректури, потім конвертувати формати, збільшувати час фіналізації та витрачати більше грошей. STARK виявляється ефективним, але плата за перевірочний газ сягає понад 2 мільйони, що значно перевищує SNARK. Rollups замінюють ZK на докази шахрайства, але тижневий період виклику занадто довгий, а ризики безпеки великі. Bitcoin zkRollups можна перевірити лише поза мережею через обмеження скриптів, покладаючись на складні виклики BitVM, а витрати та ризики співіснують. Нові системи доказів, такі як Binius і Rinocchio, є більш просунутими і можуть прискорити реалізацію апаратного забезпечення та підтримувати докази криптографічних даних, але L1 не підтримує різноманітні скінченні домени та хеш-функції, що призводить до зростання витрат на верифікацію більш ніж на 90%. Результат? Інновації витісняються консенсусом DAO та коливаннями газу, розробники вважають за краще задовольнятися старими рішеннями, а екосистема ZK ніби застрягла в «стандартизації кривих». Як це виправити? zkVerify @ZKVProtocol тут, це спеціальний ланцюжок перевірки з нульовим розголошенням, з дуже чітким позиціонуванням, який служить «рівнем перевірки» всієї мережі, допомагаючи сім'ям знизити комісію за верифікацію та надаючи розробникам недорогі та універсально сумісні дружні послуги. На скільки можна заощадити? 91%。 За тих же умов вартість різко падає в порівнянні з використанням zkVerify: ▰ Fflonk:$16.13 ~ $1.45 ▰ Halo2:$28.81 ~ $2.59 ▰ Грот16:$29.39 ~ $2.65 ▰ СТАРК:$204.65 ~ $18.42 Це трохи круто! Це не тільки знижує витрати, але й може приймати універсальність доказів від будь-якого клієнта, сумісних зі стеками zk, такими як STARKs, Plonky2, RiscZero, SP1, UltraHonk та іншими. Це можливо завдяки архітектурі zkVerify та просунутим компонентам, серед яких: ▰ Основний ланцюг: блокчейн L1 з доказом частки власності ▰ Інтерфейс подання доказів: інтерфейс, який отримує різні різнорідні докази ▰ Механізм сертифікації: створення та публікація сертифікованих протоколів ▰ Контракт zkVerify L1: зберігає нову інформацію для автентифікації та перевірки Як продукт, zkVerify — це більше, ніж просто архітектурний бик, він відкриває нову систему доказів, підтримує інновації поліноміальної інтерполяції та хешування, а також безперешкодно інтегрує Binius і Circle STARKs; Революціонізували Bitcoin zkRollups, за допомогою яких час верифікації поза мережею скоротився з тижня до кількох хвилин; Спрощений zkApps, від перевірки генерації браузера, делегованої перевірки, лише невелика аутентифікація до ланцюжка поселень. Позбавлення від вузьких місць EIP, підтримка різноманітних примітивів, прискорення дорожньої карти Bitcoin/Ethereum і використання стандартизованої верифікації для мосту L1/L2 – це те, що збирається зробити zkVerify, а рівень інфраструктури, який підтримує наступну хвилю додатків AI × ZK, став питанням руху за течією, тому з цієї точки зору значення все ще величезне. Наразі zkVerify запущено в основній мережі і, як очікується, проведе TGE 30 вересня. Цього року кілька великих проектів відкрили стелю ринкової вартості zk колії, і цьому виду zk інфраструктурного проекту в зк потрібно приділити особливу увагу. / Автор: anymose | М'який науково-популярний письменник Ця стаття призначена лише для науково-популярного використання і не є жодною інвестиційною порадою, завжди пам'ятайте про DYOR!