Interview = nil_ Foundation: Побудуйте ринок доказів і реалізуйте бачення «все може бути ЗК»

Після EDCON у Чорногорії в квітні «ZK» стало найпопулярнішим словом цього року, а розширення наративного простору за допомогою Ethereum досягло нового високого рівня. Багато людей вірять, що це буде новий ринок із сотнями мільярдів доларів, що створить більше можливостей та історій багатства, таких як «ЗК майнінг». Звичайно, як нова ера, яка ще не настала, ZK також означає, що багато можливостей нам зараз важко точно визначити.

Як виглядатиме майбутнє ЖК ще потребує більше фантазії. А ринок Proof, створений Фондом =nil;, пробудив мої нескінченні фантазії про цю епоху сотень мільярдів доларів. Нещодавно я мав детальну розмову зі співзасновником =nil; Foundation Михайлом Комаровим (далі — Міша), обговорюючи теми, пов’язані з =nil; Foundation, zkLLVM і Proof market.

Підсумок інтерв'ю

1. Люди використовують ZK для стиснення інформації, що є найбільш захоплюючим «зловживанням» цим стеком технологій.

2. Генерацію доказів ZK слід передати виробникам, які надають такі професійні послуги, формуючи мережу професійних виробників для відповіді на запити ринку.

3. На поточному ринку Proof з'явився феномен PEV (prover extractable value).

4. Ринок доказів ще не повністю децентралізований, і це буде робочий центр команди на деякий час.

= нуль; походження

Міша працює в індустрії шифрування з 2013 року. Перше, що він зробив після вступу в гурток, це вивчив C++ реалізацію Bitmessage. Це протокол обміну повідомленнями біткойн, і хоча він кілька разів зламався, у той час багато людей були від нього божевільні. Пізніше Міша почав працювати над розробкою з Деном Ларімером (тобто BM, засновником Steemit, Bitshares і EOS) навколо BitShares, і познайомився з Костянтином Ломашуком, який пізніше створив Lido. У той час у Костянтина були деякі проекти шифрування, пов’язані з Bitshares, і він хотів створити форк Steemit спеціально для Росії, а саме Golos Network.

Це був 2016 рік, і Міша почав нову подорож з Деном і Костянтином як CTO Голосу. Але через два роки Міша втомився від Голосу, він вважав, що продукт, розроблений Деном, не влаштовує, його внутрішня структура не підходить, а його якість недостатня. У результаті Міша покинув пов’язані з ним проекти, такі як Голос і Steemit, і заснував Nil разом з Костянтином у квітні 2018 року.

Початкова ідея Міші полягала в тому, щоб люди не стикалися з проблемами нестабільності, які існували на Голосі та Steemit, як-от відсутність належного керування даними, архітектури, безпеки тощо. Таким чином, мета Nil полягає в тому, щоб перенести досягнення індустрії управління базами даних у галузь шифрування, привносячи в цю сферу більше надійності, безпеки, масштабованості тощо. Звичайно, Міша не очікував, що його нова подорож приведе до самого центру масштабованого майбутнього зашифрованого світу.

**BlockBeats: будь ласка, коротко опишіть свій досвід, наприклад, як ви розпочали бізнес із шифрування та чому ви приєдналися до індустрії шифрування? **

Миша: Це було давно. Я залучився до криптоіндустрії приблизно в 2013 році, коли працював над реалізацією Bitmessage на C++. Можливо, ви пам’ятаєте той протокол обміну повідомленнями, схожий на біткойн, від якого тоді всі були божевільні, і його кілька разів зламали, але тоді він все ще був популярний.

Потім я почав розвивати все навколо BitShares і Дена Ларімера (тобто BM, творця Steemit, Bitshares і EOS), а потім я зустрів Костянтина Ломашука, тепер ви, мабуть, знаєте його через Lido. У той час у нього були деякі проекти шифрування, пов’язані з Bitshares, і він хотів створити форк Steemit спеціально для Росії. Так ми зробили «Голос», я став технічним директором у 2016 році, і з того часу ми працюємо разом.

Але в квітні 2018 року я втомився від «Голосу», оскільки Ден розробляв продукти, які мене не влаштовували, його продукти ніколи не працювали довго, і хоча вони працювали, я не думаю, що внутрішня архітектура мені підходила, а якість — ні. достатньо, тож я залишив Голос і Steemit та всі інші проекти та почав Nil у квітні 2018 року.

Моєю метою на початку було не допустити, щоб люди стикалися з проблемами, які були у мене з Голосом і Steemit, як-от відсутність належного керування даними, архітектури, безпеки тощо, все було дуже нестабільно. Я не вважав це хорошим рішенням, тому разом із Костою заснував Nil, щоб перенести роботу індустрії керування базами даних у індустрію шифрування, оскільки це означає надійність, безпеку, масштабованість тощо. Історія після цього є розвитком Ніла.

**BlockBeats:=nil; Коли Фонд почав звертати увагу на докази з нульовим знанням? **

Миша: Озираючись назад, десь у 2020 році, коли ми закінчили перший прототип СУБД (системи керування базами даних), ми зрозуміли деякі проблеми. Чесно кажучи, до того, як ми спробували інтегрувати системи керування базами даних із індустрією шифрування, ніхто насправді не намагався це зробити, і коли ми закінчили цей проект, ми зрозуміли, що припущення про довіру було не тим, чого ми хотіли.

Кожен має довіряти нам, якщо це спрацює, незалежно від того, чи використовуються наші дані, чи іншим чином. Ми думали про те, як зменшити це припущення недовіри, як зробити його настільки недовірливим, наскільки це можливо, потім ми зрозуміли, що, можливо, нам знадобиться використовувати певну технологію, нам потрібен криптографічний інструмент для досягнення цієї мети, тому ми для цієї мети A створено пакет криптографії.

У той час галузь була ще на ранній стадії розвитку, і не було середовища розробки, такого як Arc Works.Ми думали, що оскільки у нас є теоретичні концепції та деякі експерименти, ми повинні спробувати це. Ми створили пакет і власну систему перевірки. Потім ми працювали з людьми з Ethereum Foundation і Mina Foundation, щоб створити компілятор схеми. Щоб не генерувати докази самостійно, ми створили ринок доказів для впровадження динаміки ринку в процес створення доказів.

Створюючи компілятор разом із людьми з Mina Foundation, ми також працюємо з людьми з Solana Foundation. Під час цього процесу ми зрозуміли, що нам потрібен Proof of State, а Proof of State — це те, що на той час шукали люди з Mina та Ethereum. Приблизно на початку 2021 року, коли ми розробляли необхідні перевірки стану для системи керування базами даних, люди з Mina, Ethereum і Solana відчули, що це «zk Bridging». Тому що Джастін Дрейк, Еван Шапіро та Анатолій думають, що нам потрібна більш безпечна технологія Bridge, а потім кажуть, як би ви її не називали, це zkBridge.

**BlockBeats: щодо доказів з нульовим знанням, сфера шифрування досліджувала та намагалася досить довго, але не змогла досягти значного прогресу. Але з початку цього року розробка родовища ЗК, схоже, увійшла в стан вибуху. Чому? **

Misha: Насправді існує лише два методи, які можна застосувати до всієї технології zk. Перший метод, очевидно, використовується з метою конфіденційності, а другий метод використовується для стиснення, наприклад, розширення, про яке всі говорять , а також поява zk -Rollups, zk-Bridges, zk-MLS, zk-Oracles тощо. Люди «зловживають» цим стеком для стиснення, і я думаю, що це найбільш захоплююче «зловживання», яке я коли-небудь бачив. Тож виникає питання, чому саме зараз? Нам вдалося досягти цього кілька років тому, і це може бути кілька ключових етапів технологічного розвитку, які роблять його зручним, здійсненним і цікавим для використання.

Перша віха відбулася в 2016 році, коли технологія стала дедалі кориснішою для криптоіндустрії. У той час системи обмежень рангу 1 (R1CS) стали досить поширеними, і почали з’являтися різні додатки. По суті, коли стає можливим зберегти конфіденційність, це стає можливим. Наприклад, Zcash, Tornado Cash і т. д. Ці проекти народилися в ту епоху, або ідеї цих проектів народилися в ту епоху.

Другий – між 2019 і 2021 роками, що є другим критичним періодом для цієї технології. У той час фільтри Блума (аргументація Бланта) ставали все більш популярними. Люди почали створювати системи перевірки на основі фільтрів Блума. У нас також є власна система доказів, яка називається заповнювачами. Чому цей період часу важливий? Оскільки завдяки цим системам перевірки на основі фільтра Блума, проекти можуть використовувати цей стек для стиснення. Це покращує стиснення, роблячи дешевшим і зручнішим масштабування зведених пакетів і zkBridge у 2021 році.

Наразі ми досягли певного прогресу в подальшому розвитку системи доказів, а також зробили певні прориви в нашому проекті. Достатньо сказати, що написання складних математичних обмежень і обчислень також є досить складним завданням у такому середовищі, де інформація обмінюється з часом. Багато людей присвятили себе цій проблемі, наприклад, представили STARK, представили zkVM для вирішення цієї складної проблеми, а також представили компілятор zkLLVM, який також полегшує створення програм. З 2019 по 2021 рік система перевірки розвивалася, а з кінця 2020 року до початку 2021 року і до кінця 2022 року також прогресувала розробка інструментів. Усі ці досягнення роблять досить ефективним і економічно життєздатним створення доказів складних обчислень.

Звичайно, розробка систем доказів далека від завершення. Для того, щоб реалізувати більше сценаріїв застосування, потрібно зробити ще багато роботи, щоб перевірити систему. Наприклад, можливо, цього чи наступного року ми побачимо розвиток системи доказів, і ми також проводимо тут відповідні дослідження та розробки. Розробка цих систем перевірки забезпечить економічно життєздатні програми zkLLVM, і ми сподіваємося стати першою командою, яка це зробить. Але в будь-якому разі зараз усі намагаються вдосконалити систему доказів.

**BlockBeats: Ви згадали zkLLVM, який є компілятором, створеним для розробників для створення власних схем zk. Де, на вашу думку, важливий zkLLVM і яка зрілість продукту наразі? **

Misha: zkLLVM, можливо, не був першим, але це був один із перших компіляторів схем. Я бачив кілька прототипів раніше, я бачив кілька проектів DSL, але з повнофункціональним компілятором схем замість віртуальної машини я бачив небагато раніше. Деякі з них є, але я не впевнений, чи хтось ними насправді користується, тому я вважаю це важливим. І чимало людей у цій індустрії намагаються позбутися дилеми «це не я створював», що дуже енерговитратно. Очевидно, що люди створюють справді хороші продукти, але ця дилема «це не я створював» робить розробку трудомісткою та дорогою.

Наприклад, зараз ми спілкуємося через Zoom, і майже все програмне забезпечення на наших ноутбуках скомпільовано з LLVM. Ми просто взяли все це і зробили це доказовим. Тож я думаю, що ми просто залучаємо всю екосистему компіляторів у криптоіндустрію, щоб ці зусилля можна було повторно використати в криптопросторі для підвищення ефективності та економічної життєздатності. Це також призвело до широкого використання мов програмування. У світі є багато програмного забезпечення, написаного на Rust, C++, Go, TypeScript тощо, яке можна захотіти виконати в Ethereum і в ненадійному середовищі.

Мій улюблений приклад, коли люди беруть вихідний код Doom (вихідний код C/C++), вони доводять його Ethereum через zkLLVM, а потім перетягують його між собою, щоб показати, скільки часу їм знадобилося, щоб закінчити. Наприклад, я виконав завдання на швидкість Doom за 20 хвилин, ось доказ і ваш NFT Ethereum, який доводить, що ви виконали завдання на швидкість Doom за 20 хвилин.

**BlockBeats: які групи користувачів зараз використовують zkLLVM і які продукти створено? **

Міша: Багато різних типів проектів використовують ці технології, і деякі проекти можуть просто створювати щось для спроби розгорнути або вже запущені. Найбільш очевидним випадком використання є наш побудований компілятором zkBridge, захищений його системою перевірки. Можливо, це одна з причин, чому ми визнали потребу в компіляторі й почали його створення. Його також намагаються використати для формальної перевірки тверджень доказів, щоб не намагатися помістити формальну специфікацію програми разом із ними, а стиснути її в доказ за допомогою компілятора zkLLVM, який компілює формальні заяви. Насправді люди збирають компілятори.

Візьмемо, наприклад, програми, схожі на zkOracles, люди створили zkOracles для отримання історичних даних Ethereum або Lido для забезпечення емісії ставок Ethereum. Люди звертаються до питань, у яких існує багато припущень про довіру, незважаючи на те, що вони працюють понад два роки. Коли ми розробляли Lido у 2020 році, це було прийнятно, але тоді ми хотіли зменшити припущення про довіру, оскільки ми не могли ризикувати TVL користувача, тому ми вирішили захистити його за допомогою підтвердження роботи ZK. Крім того, є багато інших проектів, я міг би продовжувати вічно, чесно кажучи, на даний момент у мене близько 80 проектів у CRM.

**BlockBeats:=нуль; Фонд раніше отримав інвестиції від StarkWare, Mina та інших команд L2 та інших венчурних капіталів на суму понад 200 мільйонів доларів США. Чи використовуються ці гроші для створення ринку Proof, і чи означає інвестиція StarkWare і Mina, що ви будете більш схильні співпрацювати з певною екосистемою? **

Миша: Це наш перший і єдиний раунд фінансування за п’ять років, тому що раніше в цьому не було потреби, а зараз саме час це зробити. Ми зробили достатньо прототипів, ми підтримали достатньо проектів, ми навчилися достатньо, щоб відчувати себе достатньо сильними та впевненими, щоб запустити продукт так, як ми думаємо, що він має бути створений.

Цей раунд фінансування завершився приблизно рік тому, і ми оголосили про це через багато місяців після того, як це фактично відбулося. Ми не оголошували про фінансування, поки не відчули себе комфортно почати говорити про те, що «це те, що ми створили». Через те, що збираєте гроші, ви починаєте один одному щось обіцяти, а потім вас питають, на що ви збирали гроші, що ми будемо доставляти? Що таке продукт? Хтось користується вашим продуктом? Тому ми навмисно відклали будь-яке обговорення цієї теми, допоки ми хоча б щось з цим не зробимо.

Ми справді працюємо з усією екосистемою Mina та командою Starkware, уже є багато додатків з екосистеми Mina, які або створені на нашій основі, створені разом з нами, або є нашими партнерами. Нещодавно команда Міни почала досліджувати та розробляти зведені версії, для яких їм потрібно багато можливостей перевірки. Крім того, у 2021 році ми створили перевірку підтвердження стану на основі компілятора з Mina, ще одним проектом екосистеми Mina, з яким ми співпрацювали.

У роботі з екосистемою Starkware також багато чого відбувається. Звичайно, це мета нашої співпраці, щоб ми також були корисними для перевірених програм в екосистемі Starknet. Наприклад, є кілька проектів мостів до Starknet, які використовують наш стек технологій, щоб бути мостами з нульовим знанням. Кілька ігрових проектів сказали нам, що потрібні можливості перевірки.

Є кілька інших проектів, які намагаються використовувати застарілу технологію перемикання, використовувати перевірку підтвердження стану та створювати додатки Ethereum на її основі. Деякі люди створюють L3 на StarkNet, і вони сказали, що наявність можливостей перевірки буде хорошим варіантом. У всякому разі, саме для цього ми з ними зібралися. Чесно кажучи, я задоволений партнерством.

Вторинний ринок доказів ZK

Підтвердження нульового знання (ZK Proof) є основою сфери ZK на поточному ринку шифрування. Його існування надає необмежені можливості для багатьох сценаріїв, таких як ZK Rollup і zkEVM. Однак створення доказу ZK також є важким обчислювальним завданням, і для завершення доказу часто потрібні години, тому більшість сучасних сортувальників досі не вирішили проблему централізації. Щоб генерувати докази ZK надійно та економічно ефективно, нам потрібно не лише розвивати та підтримувати обчислювальну інфраструктуру, а й розширювати її. Оптимальним вирішенням цієї проблеми, на думку Міші, є запровадження ринкового механізму.

= нуль; Команда Фонду вважає, що створення ZK-доказів – це завдання, яке слід передати виробникам, які надають такі спеціалізовані послуги. Згідно з цією передумовою, нам потрібен ринок доказів, де кожен може запросити створення необхідних доказів ZK, а потім мережа професійних виробників відповідатиме на такі запити.

**BlockBeats: тепер давайте поговоримо конкретно про Proof Marketplace, звідки виникла ідея та яка історія стоїть за нею? **

Міша: Ця ідея виникла завдяки нашій широкій участі в протокольних програмах і різних речах, пов’язаних із Filecoin з 2020 року до кінця 2021 року. Ми не тільки були свідками божевілля, що відбувається навколо Filecoin з перших вуст, але й брали в ньому участь з нашої точки зору. Саме тоді ми навчилися правильно налаштовувати всі системи доказів, як виконувати правильні аргументи тощо, і запровадили перевірку Filecoin, яка була в 10 разів швидшою за загальнодоступну версію, дозволяючи майнерам повністю використовувати своє обладнання. Ми фактично є центром, який бачить усі експерименти, які намагаються зменшити витрати з точки зору майнерів.

За цей час ми дізналися багато реальних ринкових даних, наприклад, наскільки цінним і скільки часу знадобиться для створення цього конкретного доказу за допомогою цього апаратного забезпечення; хто використовує яке обладнання, які центри обробки даних для нього створені тощо. А потім, працюючи з Ethereum Foundation, Mina Foundation та багатьма іншими, ми виявили, що ці докази стану та докази консенсусу дуже обтяжливі, і ми абсолютно не дозволимо нікому доводити це самостійно.

Тому що давайте будемо чесними, ніхто не має такого типу обладнання, яке можна швидко згенерувати, тому що воно просто занадто масивне. Наприклад, як і консенсус Міни, доказом стану Міни є крива політики інвестора, помножена приблизно на 35 мільярдів доларів, що досить багато. Або Solana Proof of Consensus, який містить, серед іншого, близько 4000 підписів ECDSA, і для його створення потрібно багато часу.

Коли це помітили, ми вирішили більше цього не робити. Ми подумали, добре, ми передамо цю роботу аутсорсингу. Ми побудуємо ринок для цього, тому що у нас уже є багато даних, пов’язаних з Filecoin, давайте побудуємо ринок, давайте зробимо це товаром, нехай ринкова динаміка буде застосована до цього, щоб люди могли перейти до Coordinated за допомогою централізованого протоколу, вони конкурують між собою, тому замість того, щоб бути центром, ми дозволяємо протоколу бути центром. Виявилося, що наша думка була правильною. Зараз усі будують ринок Proof, і ми вгадали напрямок.

**BlockBeats: Коли ви створювали ринок Proof, чи враховували ви його динаміку з уже створеною вами zkLLVM? **

Міша: Спочатку ці два проекти були насправді окремими, це були дві окремі речі. Наприклад, нам просто потрібен інструментальний ланцюг, щоб побудувати схему, оскільки ми не будемо будувати його вручну, він занадто великий. Потім ми з’ясували, що іншим людям також потрібен цей інструментарій, тому ми вирішили відкрити вихідний код, щоб кожен міг ним користуватися.

І ринок доказів – це теж окрема річ, тому що ми вважаємо, що це просто ринок генерації доказів. Ми навіть не думали про те, що люди намагаються спекулювати доказами. Насправді вони намагаються купити дешево і продати дорого або щось таке, що досить смішно, тому що так не повинно бути, але в будь-якому випадку це так.

Протокол, який підтримує ринок доказів, має бути дуже особливим протоколом, тому що нам потрібно багато перевірок і потрібно виконувати велике навантаження на цей аспект. Коли люди приходять із даними, які потрібно перевірити, нам доводиться мати справу з великою кількістю даних, оскільки вони завантажуватимуть дані в книгу замовлень ринку доказів, що робить протокол дуже інтенсивним, наприклад обсяг даних, що описує середній стан докази. Після того, як добре зроблений середній опис перевірки стану займає приблизно 2 ГБ даних, спробуйте знайти протокол, який може обробляти 2 ГБ даних. Це майже неможливо.

Але потім люди почали доводити деякі дійсно великі речі з zkLLVM, і кодові бази, такі як Ross і C++, були досить великими порівняно з тим, що люди робили в Solidity. Тож ми об’єднуємо їх, зв’язуємо одне з одним, а потім робимо їх придатними для використання як послугу. Ми все ще вважаємо, що компілятор досить добре виконує свою роботу, будучи ефективним, і сподіваємося, що так і залишиться.

**BlockBeats: хто зараз є основними групами користувачів і учасниками ринку доказів? **

Misha: Перший тип користувачів — це в основному zkBridge, і деякі докази консенсусу та перевірки стану досить важко згенерувати. Якщо ви згенеруєте правильну та безпечну перевірку, як-от підтвердження консенсусу Ethereum, наприклад, із повною перевіркою консенсусу Ethereum і перевіркою всіх 100 000 підписів вузлів, це займе у вас деякий час.

Друга категорія — це оракули zk, наприклад програми, яким потрібен доступ до історичних даних Ethereum або певним чином обробляти дані Ethereum, а потім використовувати їх із EVM. Деякі програми намагаються таким чином зменшити свої витрати на газ, наприклад, протоколи кредитування, які намагаються обчислити та завантажити параметри ризику своїх заставних активів у EVM, але їх неможливо розрахувати в EVM з точки зору вартості.

Вони беруть усі необхідні дані Ethereum з різних бірж, з різних індексів, поміщають їх у EVM, а потім використовують як набір параметрів ризику для забезпечення. Це схоже на ще один оракул Lido, який показує, як протокол може покращити свою безпеку та зменшити витрати на виконання, передавши низку обчислень аутсорсингу (наприклад, безпеку лише в Proof market і zkLLVM). Немає сумніву, що оракули з нульовим знанням дуже важливі.

Третя категорія — Rollup, яку можна використовувати наявними або новими Rollup-ами, а деякі навіть намагаються це зробити. Будь-хто, хто має намір стати валідатором Rollup, прийде з бажанням запровадити якийсь доказ на ринку доказів. Робота зі спеціалізованим обладнанням і запущеними вузлами на орендованих серверах AWS дуже складна для валідаторів. Той факт, що AWS наразі не пропонує ATX і не пропонує дуже потужні графічні процесори, тому в основному валідатори постачатимуться з цими варіантами використання zkLLVM. Зрозуміло, що ми вже маємо кілька варіантів використання zkLLVM, але мушу визнати, що вони ще не у виробництві.

Варіанти використання zkLLVM також дуже придатні для великих або дуже складних моделей, оскільки вони повинні виправдати складність розглянутої моделі. Це також те, що зараз розробляється, але знову ж таки, це ще не у виробництві, воно лише на експериментальній стадії. Коли ми почнемо виробництво, ми зможемо перетворити ринок доказів на ринок обчислень штучного інтелекту, який можна перевірити, що звучить смішно.

**BlockBeats: якщо я хочу стати генератором доказів на ринку доказів, які вимоги? **

Міша: Для того, щоб стати генератором доказів, насправді не так багато вимог чи обмежень, усе залежить від конкретної схеми та конкретного твердження, яке ви хочете довести. Ми спеціально налаштували щось під назвою «Proof Market Toolchain». Коли перевіряльник обробляє різні докази на ринку, йому потрібно лише запустити це як службу або використовувати як ланцюжок інструментів, що працює на вашій машині. Backstage process.

Якщо на ринку немає кращого апаратного забезпечення для конкретного твердження, конкретної схеми, конкретного застосування, конкретного доказу, тоді ви можете прийняти замовлення та створити доказ. Якщо у вас найкраще апаратне забезпечення, якщо ви можете пообіцяти генерувати докази найшвидше, і немає іншого кращого конкурента, ви можете приймати замовлення, генерувати докази та отримувати винагороду.

**BlockBeats: усі користувачі, які використовують =nil; Foundation повинні зареєструвати обліковий запис. Якщо сам створений доказ або інформація про транзакції та право власності зберігається на приватному сервері, чи це спричинить проблеми з централізацією? **

Миша: Це саме те, чим ми плануємо займатися до кінця року. Так, поточне ринкове підтвердження не є таким децентралізованим, ми не випустили вузол протоколу для його підтримки та не говорили про цей протокол публічно. Ось як це зараз працює: з кількома людьми, які також беруть участь у Lido та діють як валідатори, і оператори валідаторів як валідатори, ми можемо тимчасово розмістити його та подивитися, як воно піде. Потім ми розповсюдили вихідний код для них, і насправді було шість або вісім запущених у тестовому режимі.

Наразі система дещо децентралізована, але вона не є загальнодоступною чи справді децентралізованою. Не кожен може приєднатися та запустити свій вузол Proof Market. Це також питання для нас, ми любимо програми, які запитують нас про безпеку, наскільки вони децентралізовані, чи можемо ми на це покластися? Це те, що ми зараз можемо використовувати? Я відповів: так, можна, але він недостатньо децентралізований, тому що ми працюємо в тестовому режимі. Ми будемо наполегливо працювати над вирішенням цієї проблеми, що є нашим найважливішим завданням на даний момент.

**BlockBeats: Які кроки ви вживаєте для вирішення цих проблем? **

Міша: По-перше, ми розробили підтвердження ринку на основі децентралізованого протоколу, використовуючи певний децентралізований протокол із самого початку. Ми обговорювали кілька варіантів розгортання та роботи, ми намагалися розгорнути його безпосередньо на Ethereum, але коли ми розрахували економічну доцільність, ми виявили, що якщо ми це зробимо, нам потрібно буде платити приблизно 2,5 мільярда доларів на комісію Ethereum на рік. Таким чином, управління ринком на Ethereum взагалі виявилося фінансово недоцільним.

Потім ми намагаємося запустити його на щось на зразок Rollup. Незважаючи на те, що ми спробували кілька різних зведених пакетів, вартість все одно була високою. Підрахувавши вартість підтвердження ринку та проведення арбітражу, ми виявили, що лише річна вартість підтвердження ринку становила 250 мільйонів доларів США, що також є дуже високою ціною. Тож нам довелося розробити власний протокол, який міг би впоратися з навантаженням, витратами, інтенсивними даними тощо.

Наша мета полягає в тому, щоб зробити цей протокол максимально наближеним до безпеки Ethereum, тому що для додатків немає іншого способу покладатися на нього. Виявляється, цей протокол також дуже корисний для таких операцій, як серіалізація, оскільки під час серіалізації завантаження, яке потрібно обробити, в основному однакове. Хотілося б зменшити затримку між замовником і перевіряючим, щоб вони могли негайно надсилати дані перевіряючому і таким чином виграти блок.

Як розгорнути секвенсор на цьому протоколі, також є однією з наших головних проблем. Ми сподіваємося створити платформу, яку зможуть використовувати сторонні розробники, щоб кожен міг запустити та запустити вузол, який підтримує цей протокол. І переконайтеся, що програма proof-of-market є такою ж безпечною, як Ethereum, з точки зору розгортання коду.

**BlockBeats: Чи можете ви розповісти більше про механізм заохочення протоколу? **

Міша: Звичайно, ми б хотіли використовувати різні токени для оплати доказів, тому ми не можемо змусити всіх використовувати певний токен, а це означає, що ми повинні бути максимально нейтральними до токенів, оскільки ми нейтральні з будь-яким продуктом і застосуванням. Наприклад, це, швидше за все, буде схоже на те, як Arbitrum працює з Ethereum, ви можете мати Ethereum і Arbitrum, чому б і ні?

Першим кроком у цьому напрямку, безперечно, є EVM Endpoint Approval Marketplace, який ми розгорнули днями. Це платіжне рішення, яке дозволяє використовувати всі активи, розгорнуті на Ethereum, на Proof Market як стимул для тих, хто затверджує, або для програм, які готові оплачувати власні токени на Proof Market, і це перший крок у цьому напрямку. крок.

Доказ ринкової примхи

Оскільки це ринок, має бути мінливість і складність, які люди не можуть передбачити та контролювати. Важлива інформація про те, чи будуть люди спекулювати на доказах ZK, і як вони будуть, — це важливі дані, які команда повинна контролювати та записувати. Після кількох місяців фактичного тестування, які цікаві явища виникли на ринку доказів? Які плани у команди на майбутнє?

**BlockBeats: Чи подовжить процес створення доказів запровадження ринкового механізму? **

Миша: Аукціон або пошук найкращого учасника для роботи займає деякий час, можливо, не кілька секунд з нашого боку, а кілька моментів. Зазвичай цей процес займає кілька секунд, у більшості випадків менше секунди. Мені здається, що попит і пропозиція досить рясні, тож це створює певну затримку в секунду.

Навіть із менш ніж секундними затримками, у найгірших випадках, які я бачив, програма не може знайти постачальника протягом трьох-чотирьох секунд. Але навіть тоді цю затримку не можна порівняти із загальним часом створення доказу. Отже, я не думаю, що це викликає занепокоєння порівняно з перевагами створення натовпу, які дає динаміка ринку.

**BlockBeats: Якщо хтось хоче спекулювати зі згенерованими доказами, це добре чи погано? Чи команда якось втрутиться? **

Міша: На нашому сайті відбувається багато дивних речей, щойно згадана не найдивніша, на ринку доказів трапляються ще дивніші речі, але давайте спочатку поговоримо про це Питання спекуляцій . Ми не маємо ніякого контролю над цим, тому що ми не можемо. Щойно ми оприлюднимо цей проект для громадськості, щойно ми зробимо цей протокол доступним для всіх, дозволимо всім запускати його раз на тиждень, можливо, як зведений пакет, або іншим чином, ми більше не зможемо все це контролювати.

Ми намагаємося зараз не заважати, не намагатися щось робити, тому що в якийсь момент ми вже не зможемо, то який сенс? Тож давайте спекулювати. Можна побудувати схемоподібну програму, як перевірену програму, в основному це все, тому спекуляції навіть можливі. Жодного використання, крім спекуляцій на ринку доказів.

Один із найдивніших випадків використання, який я бачив, — це хтось намагається обміняти ф’ючерси на обчислювальну потужність, а потім використовувати ці ф’ючерси для спекулятивної дискусії. Це як ф’ючерси на хеш-рейт біткойна, але також для доказів zk. Ви коли-небудь замислювалися про MEV? Що, якщо я скажу вам, що фактично існує значення екстракту прувера (PEV)?

Це не працює, наприклад, програма приносить деякі дані, а потім щось потребує підтвердження, і це роблять перевірники. Вони заносять дані, починають генерувати докази, і все працює, як очікувалося. Але в той же час, якщо довідник намагається отримати більше прибутку на цих даних або щось подібне. Вони використовуватимуть ці дані деінде, наприклад, на Ethereum чи інших протоколах або навіть у деяких зведених пакетах.

Вони роблять це, щоб отримати якомога більше цінності з цих даних, а не використовувати їх для створення доказів. Існують інші різні типи підтверджень цінності, які можна видобути, наприклад люди, які намагаються передбачити, коли буде згенеровано докази, а потім впроваджують транзакції для купівлі чи продажу доказів у протокол Proof Market шляхом зворотного проектування API та спроби впровадження транзакцій у це. Таким чином перевіряльник може продати або покупець може вгадати ціну, щоб витягти з неї цінність, так само, як майнери Lightning, або будівельники та пропоненти спекулюють на транзакціях в Ethereum.

Деякі люди почали експериментувати з тим, як запобігти використанню перевірниками отриманих даних під час створення доказів. Щоб зробити це, єдиний спосіб - створити докази на основі даних FHE (гомоморфне шифрування). Вони намагаються створити щось на зразок zkFHE, щоб приховати дані, необхідні для генерації доказів, але FHE дуже дорогий з точки зору обчислень, тому це збільшує вартість доказу.

Як би відправити його в небо, що подвоює, потроює або навіть удесятеро збільшує вартість доказів. Але вони скажуть, моїми даними ніхто не користується, ніхто нічого з моїх даних не витягує. Отже, zkFHE народиться з ринку доказів, який є незалежним рівнем складності, як і високий рівень складності.

**BlockBeats: наразі ринок доказів сумісний із ZKLLVM і Mina, я хотів би знати, як ринок доказів генеруватиме докази для різних схем у майбутньому? **

Міша: Простіше кажучи, процес такий: програма містить твердження, яке потрібно підтвердити, і це твердження компілюється в байт-код або віртуальну машину для роботи Proof Market. Ця віртуальна машина — EVM. І тоді вони приходять сюди з цією вимогою, кажуть, що мені потрібно довести це твердження. Proof Market не має дозволу, а потім розгортається нова пара ланцюгів, таким чином генерується нова пара ланцюгів, і кожен новий ланцюг є новою торговою парою.

Коли дослідник бачить потребу в певному новому твердженні, це може бути раптова, постійна потреба, велика разова потреба або одноразова, але все ще цікава потреба. Проверювач може сказати: добре, я хочу додати цю схему до списку схем, які мене цікавлять, і я хочу створити доказ для цієї схеми. Потім Proof Market вносить відповідні зміни, створює та надсилає докази. Ми докладаємо всіх зусиль, щоб зробити цей процес максимально простим.

**BlockBeats: як це реалізовано для різних систем перевірки? **

Міша: Це більш цікава історія. Існує лише одна вимога до різних систем доказів для підключення до ринку доказів, а саме компіляції верифікатора цієї системи доказів у байт-код EVM. Оскільки саме EVM забезпечує ринок доказів, валідатори скомпільовані в EVM. Він може бути написаний на Solidity, це може бути Rust або C++.

Якщо він написаний на Solidity, просто розгорніть його; а якщо він написаний на Rust або C++, ми використаємо zkLLVM, щоб забезпечити ланцюжок інструментів, який компілює верифікатори з Rust і C++, щоб zkLLVM можна було використовувати як основну мову А Компілятор EVM, який може генерувати валідатори з Rust, C++ або інших мов і розгортати їх на ринку доказів. Після розгортання Proof Marketplace підтримує перевірку нової системи перевірки. У такому разі це без дозволу.

**BlockBeats: Я пам’ятаю, як ви якось сказали під час дискусії за круглим столом про процес децентралізації Rollup = nil; Шлях Foundation є протилежним до більшості Rollups, тобто спочатку побудувати мережу генерації доказів, а потім децентралізувати зміну сортувальника. Отже, чи має =nil; Foundation's Proof Marketplace шанс стати децентралізованим рішенням для цих зведених проектів? **

Міша: Я пам’ятаю, як це було в Денвері, коли ми говорили про ринкову стратегію з різних напрямків, багато людей розробили багато додатків, які потребували доказів із нульовим знанням, систем доказів і багатьох внутрішніх доказів, а потім вони зіткнулися з такими проблемами: ми розробили продукт, але він не ідеальний, тому що він не децентралізований, доказ не децентралізований, але у нас недостатньо можливостей доказу, тому ми застрягли.

Люди створили продукти, але відчувають, що застрягли. Зі свого боку, ми створили технологічний стек для вирішення цих проблем, ми можемо покращити ринкову послугу, інтегрувати її в ланцюг створення вартості, досягти децентралізації та децентралізації доказів, а також забезпечити підтримку згортань. Це працює так, що верифікаторам цих зведених документів потрібно десь отримати атестацію, і вони самі мають бути атестаторами.

У деяких випадках верифікатор може не захотіти, бути неспроможним або іншим чином не в змозі налаштувати власне обладнання, графічний процесор, ASIC тощо. Якщо у вас є лише капітал, але немає інфраструктури, вам потрібно звідкись отримати підтвердження. Це чудово, це є доказом для тих, хто має капітал, але не має інфраструктури або не хоче володіти інфраструктурою.

Другий момент полягає в тому, чому я згадав, що ми почали в різних напрямках, ми прагнули вдосконалити їх з точки зору прийняття рішень. Люди, як-от сторонні команди, намагаються додати децентралізований сортувальник поверх нас, можливо, хтось розмістить згортання поверх усієї системи, до того часу технічний стек буде завершено, і вся система буде повністю реалізована.

**BlockBeats: Нарешті, чи може Міша розповісти =nil; що є найважливішим у дорожній карті Фонду на цей рік? **

Миша: У нас два основних напрямки. Перший напрямок — додатки, які можна перевірити. Ми повинні оприлюднити ці випадки використання та повідомити про них більше людей. Деякі з них уже відомі, деякі не дуже відомі, а деякі навіть ще не активовані, наприклад, для нашого випадку використання zkLLVM потрібен інтерфейс, створений спеціально для додатків zkLLVM. Це зробить Drupal і zkLLVM корисними для випадків використання zkLLVM та інших речей.

Іншим прикладом є те, що ми хочемо допомогти людям, які розробляють разом із нами, завершити їхні проекти, які будуть цікавими для zk games. Ви коли-небудь думали про те, щоб зіграти в тривимірний шутер від третьої особи на Ethereum? Це поки що неможливо, але це стане можливим, і ось як нові варіанти використання ввімкнено для ринку доказів і zkLLVM. Іноді це химерно, іноді смішно, а іноді справді корисно.

Другий великий напрямок, ми маємо зробити цей протокол децентралізованим і доступним для будь-кого, що дасть нам змогу реалізувати сценарій використання децентралізованого секвенсора, зробити протокол доступним для всіх, спробувати експерименти, будувати на його основі щось на ньому. Подивимося, як підуть справи, але сподіваємося, що вийде. Завдяки протоколу, який ми створили для ринку доказів, сьогодні на ринку немає нічого подібного.

Можливо, окрім вирішення реальних проблем, це буде цікаво ще й тим, що це можуть використовувати сторонні розробники, оскільки вони можуть спробувати деякі функції, які неможливо реалізувати деінде. Отже, це два наші загальні напрямки: забезпечення безпеки та реалізація децентралізації.