Доведення з нульовим розголошенням з'явилися на світ в 1985 році, і протягом останніх 40 років доведення з нульовим розголошенням висміювалися як загадкова технологія «місячної математики», але тепер він перейшов з лабораторії в авангард цифрової економіки. Озираючись назад на траєкторію розвитку всього треку ZK, можна зробити однозначний висновок: ZK – це вже не незамінний патч конфіденційності, а база довіри для наступного покоління інтернету. Є багато проектів, пов'язаних з ZK, які вийшли в цьому році, і брати можуть віднести їх до проектів треків ZK, але я б сказав, що вони більш деталізовані, ніж ми думаємо. З точки зору генерації доказів→ пакетної верифікації, → життєвого циклу підтвердження кожним ланцюгом, Sunccinct і Boundless позиціонуються на стадії генерації доказів, але в цьому треку все ще є структурна проблема, яка полягає в bottleneck@ZKVProtocol верифікації. zkVerify – це проєкт, запущений компанією @HorizenLabs, який запустив перший ланцюжок додатків конфіденційності в екосистемі Base, а zkVerify – це перший виділений ланцюжок перевірки доказів. Як сказати сенс перевірки ефективності, як і завод BMW у Шеньян Тіексі, хоча виробнича потужність дуже хороша, але логістика не встигає, тому 3 серія та 5 серія не можуть бути швидко доставлені користувачам. Зрештою, вони побудували пряму залізницю в Шеньяні до заводської зони до порту. Для траси ZK їй також потрібна «логістична система» для підвищення продуктивності. Якщо ви лише підірвете концепцію, ви можете не зрозуміти, наскільки серйозні проблеми з продуктивністю, з якими стикається верифікація, скажімо так, пікова вартість перевірки доказу Gorth16 на Ethereum сягає 60U, а у 2024 році протокол ZK спалює 55 мільйонів газу на Ethereum, і що гірше, це те, що Ethereum може обробляти лише до 15 підтверджень доказів на секунду, тож як це може змусити галузь розвиватися? Будучи першим у світі спеціалізованим ланцюжком перевірки доказів, zkVerify підтримує різноманітні системи перевірки, такі як STARKs, Plonky2, SP1, завдяки сумісності, що може безпосередньо знизити вартість на 90%. Як нова система верифікації, zkVerify також досліджує більш грандіозний наратив, який є злиттям AI та ZK. Зараз так багато проєктів говорять про штучний інтелект, і я думаю, що цінність zkVerify полягає в тому, що вони дуже цінують спільноту розробників і справді роблять практичні речі. Напевно, читаючи їхній блог та оновлення на YouTube за останній рік, ділячись багатьма історіями співпраці, можна побачити, як вони крок за кроком будували це. Вони будуть на TGE наступного тижня, 30 вересня, і наміри команди також можна побачити з токеноміки, а всі збори за підтвердження верифікації, отримані проєктом, будуть виплачені в $VFY році, при цьому частка спільноти становитиме 37,31%, що також є найбільшим. Зараз ще є можливість взяти участь, вони створили гру ZK Space Invaders, а отримані ігрові нагороди можна обміняти на токени основної мережі $VFY в день TGE. Як спеціальний доказовий ланцюжок, створений для верифікації та розроблений для моделей штучного інтелекту, zkVerify, якщо порівнювати Succt і Boundless з електростанціями ZK, я думаю, zkVerify — це електромережа ZK, яка дійсно відкриє стелю ZK.