ZK продовжує бути гарячим з 2022 року, і його технології досягли значного прогресу, і проекти серії ZK також продовжують докладати зусиль. У той же час, завдяки популярності машинного навчання (ML) і його широкому застосуванню у виробництві та житті, багато компаній почали створювати, навчати та розгортати моделі машинного навчання. Але основна проблема, з якою зараз стикається машинне навчання, полягає в тому, як забезпечити надійність і залежність від непрозорих даних. Це значення **ZKML: дозволити людям, які використовують машинне навчання, повністю зрозуміти модель, не розкриваючи інформацію про саму модель. **
1. Що таке ZKML
Що таке ZKML, розберемося окремо. ZK (Zero-Knowledge Proof) — це криптографічний протокол, за допомогою якого перевіряльник може довести верифікатору, що дане твердження вірне, не розкриваючи жодної іншої інформації, тобто результат може бути відомий без процесу.
**ZK має дві основні характеристики: по-перше, він доводить те, що хоче довести, не розкриваючи надто багато інформації верифікатору; по-друге, важко створити доказ, і легко перевірити доказ. **
На основі цих двох характеристик **ZK розробив кілька основних варіантів використання: розширення рівня 2, приватний публічний ланцюжок, децентралізоване зберігання, перевірка особи та машинне навчання. **Дослідження в цій статті зосереджено на ZKML (машинне навчання без знань).
Що таке ML (Machine Learning), машинне навчання — це наука про штучний інтелект, яка передбачає розробку та застосування алгоритмів, які дозволяють комп’ютерам самостійно навчатися та адаптуватися до даних, оптимізуючи їх продуктивність за допомогою ітераційного процесу без необхідності процесу програмування. Він використовує алгоритми та моделі для ідентифікації даних, щоб отримати параметри моделі та, нарешті, зробити прогнози/рішення.
**Наразі машинне навчання успішно застосовується в різних сферах. З удосконаленням цих моделей машинне навчання потребує виконання все більшої кількості завдань. Щоб забезпечити високу точність моделі, потрібна технологія ZK: використання загальнодоступної моделі перевіряє приватні дані або перевіряє приватну модель загальнодоступними даними. **
ZKML, про який ми зараз говоримо, створює докази з нульовим знанням етапів виведення моделей ML, а не навчання моделі ML.
2. Навіщо потрібен ZKML
У міру розвитку технології штучного інтелекту стає все складніше розрізнити штучний інтелект, людський інтелект і людське покоління. Докази з нульовим знанням можуть вирішити цю проблему. Це дозволяє нам визначити, чи певний вміст створено шляхом застосування певної моделі генерується без розкриття будь-якої іншої інформації про модель або вхідні дані.
Традиційні платформи машинного навчання часто вимагають, щоб розробники надсилали свої архітектури моделей хосту для перевірки продуктивності. Це може спричинити кілька проблем:
Втрата інтелектуальної власності: розкриття повної архітектури моделі може розкрити цінні комерційні секрети чи інновації, які розробники хочуть зберегти в таємниці.
** Відсутність прозорості: ** Процес оцінювання може бути непрозорим, і учасники можуть не мати змоги перевірити рейтинг своєї моделі порівняно з іншими моделями.
Занепокоєння щодо конфіденційності даних: Спільні моделі, навчені на конфіденційних даних, можуть ненавмисно розкрити інформацію про базові дані, порушуючи норми та правила конфіденційності.
Ці виклики породили потребу в рішеннях, які могли б захистити конфіденційність моделей машинного навчання та їхніх навчальних даних.
ZK пропонує багатообіцяючий підхід до вирішення проблем, з якими стикаються традиційні платформи машинного навчання. Використовуючи потужність ZK, ZKML надає рішення для збереження конфіденційності з такими перевагами:
Конфіденційність моделі: розробники можуть брати участь у перевірці, не розкриваючи всю архітектуру моделі, таким чином захищаючи свою інтелектуальну власність.
Прозора перевірка: ZK може перевіряти продуктивність моделі, не розкриваючи внутрішніх елементів моделі, тим самим сприяючи прозорому та надійному процесу оцінювання.
**Конфіденційність даних: **ZK можна використовувати для перевірки приватних даних за допомогою загальнодоступних моделей або перевірки приватних моделей за допомогою загальнодоступних даних, щоб переконатися, що конфіденційна інформація не витікає.
Інтеграція ZK у процес ML забезпечує безпечну та конфіденційну платформу, яка усуває обмеження традиційного ML. Це не тільки сприяє впровадженню машинного навчання в індустрії конфіденційності, але й залучає досвідчених розробників Web2 до вивчення можливостей екосистеми Web3.
3. Програми та можливості ZKML
Зі збільшенням удосконалення криптографії, технології підтвердження нульового знання та апаратного забезпечення все більше проектів почали досліджувати використання ZKML. Екосистему ZKML можна грубо розділити на такі чотири категорії:
**Компілятор верифікації моделі: ** Інфраструктура для компіляції моделей із існуючих форматів (наприклад, Pytorch, ONNX тощо) у верифіковані обчислювальні схеми.
Узагальнена система доказів: Система перевірки, створена для перевірки довільних обчислювальних траєкторій.
**Спеціальна система перевірки ZKML: **Система перевірки, спеціально створена для перевірки обчислювальної траєкторії моделей ML.
Програми: Проекти, що стосуються випадків використання ZKML.
Відповідно до екологічної категорії цих додатків ZKML ми можемо класифікувати деякі поточні проекти, що застосовуються ZKML:
Кредит зображення: @bastian_wetzel
ZKML все ще є технологією, що розвивається, її ринок ще дуже ранній, і багато програм лише експериментують на хакатонах, але ZKML все ще відкриває новий простір для розробки смарт-контрактів:
DeFi
** Додатки Defi, параметризовані за допомогою ML, можуть бути більш автоматизованими. ** Наприклад, протоколи кредитування можуть використовувати моделі ML для оновлення параметрів у режимі реального часу. Наразі протоколи кредитування в основному довіряють моделям поза мережею, які використовують організації для визначення застави, LTV, порогів ліквідації тощо, але кращою альтернативою можуть бути моделі з відкритим кодом, навчені спільнотою, які кожен може запустити та перевірити. Використовуючи оракул ML поза ланцюгом, який можна перевірити, моделі ML можуть обробляти підписані дані поза ланцюгом для прогнозування та класифікації. Ці позамережні оракули машинного навчання можуть без довіри вирішувати реальні ринкові прогнози, протоколи кредитування тощо, перевіряючи обґрунтування та публікуючи докази в мережі.
Web3 Social
** Фільтр соціальних мереж Web3. **Децентралізований характер соціальних програм Web3 призведе до збільшення спаму та шкідливого вмісту. В ідеалі платформи соціальних мереж могли б використовувати узгоджені спільнотою моделі ML з відкритим кодом і публікувати докази аргументації моделі, коли вони вирішують фільтрувати публікації. Як користувач соціальних мереж, ви, можливо, бажаєте переглядати персоналізовану рекламу, але бажаєте зберегти конфіденційність своїх уподобань та інтересів від рекламодавців. Таким чином, користувачі можуть за бажанням запускати модель локально, яку можна вводити в медіа-програми для надання їм вмісту.
GameFi
**ZKML можна застосовувати до нових типів мережевих ігор і створювати кооперативні ігри людини та штучного інтелекту та інші інноваційні мережеві ігри, де модель штучного інтелекту може діяти як NPC, і кожна дія, виконана NPC, буде буде опубліковано в ланцюжку, супроводжується доказом, який кожен може перевірити, щоб визначити правильну модель. У той же час моделі ML можна використовувати для динамічного коригування випуску токенів, постачання, спалювання, порогів голосування тощо. Можна розробити модель контракту стимулювання, яка відновить баланс внутрішньоігрової економіки, якщо досягнуто певного порогу відновлення балансу та підтвердження міркувань перевірено.
Автентифікація
** Замініть приватні ключі біометричною автентифікацією, що зберігає конфіденційність. **Керування закритими ключами залишається однією з найбільших проблем у Web3. Вилучення закритих ключів за допомогою розпізнавання обличчя або інших унікальних факторів може бути можливим рішенням для ZKML.
4. ZKML Challenge
Незважаючи на те, що ZKML постійно вдосконалюється та оптимізується, сфера все ще перебуває на ранніх стадіях розробки, і все ще є деякі проблеми від технології до практики:
Квантування з мінімальною втратою точності
розмір схеми, особливо коли мережа складається з кількох рівнів
Ефективний доказ множення матриць
Змагальна атака
**Ці проблеми, по-перше, впливають на точність моделі машинного навчання, по-друге, впливають на її вартість і швидкість перевірки, і, по-третє, впливають на ризик атак крадіжки моделі. **
Удосконалення цих проблем зараз триває, демонстрація ZK-MNIST від @0xPARC у 2021 році показала, як реалізувати дрібномасштабну модель класифікації зображень MNIST у верифікованій схемі; Деніел Канг зробив те саме для масштабної моделі ImageNet, наразі це масштаб ImageNet. модель покращено до 92% і, як очікується, незабаром буде досягнуто з подальшим апаратним прискоренням ширшого простору ML.
ZKML все ще знаходиться на ранній стадії розробки, але він почав показувати багато результатів, і ми можемо очікувати, що побачимо більше інноваційних застосувань ZKML у мережі. Оскільки ZKML продовжує розвиватися, ми можемо передбачити майбутнє, де машинне навчання із збереженням конфіденційності стане нормою.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Застосування та потенціал машинного навчання без знань (ZKML)
Автор: Callum@Web3CN.Pro
ZK продовжує бути гарячим з 2022 року, і його технології досягли значного прогресу, і проекти серії ZK також продовжують докладати зусиль. У той же час, завдяки популярності машинного навчання (ML) і його широкому застосуванню у виробництві та житті, багато компаній почали створювати, навчати та розгортати моделі машинного навчання. Але основна проблема, з якою зараз стикається машинне навчання, полягає в тому, як забезпечити надійність і залежність від непрозорих даних. Це значення **ZKML: дозволити людям, які використовують машинне навчання, повністю зрозуміти модель, не розкриваючи інформацію про саму модель. **
1. Що таке ZKML
Що таке ZKML, розберемося окремо. ZK (Zero-Knowledge Proof) — це криптографічний протокол, за допомогою якого перевіряльник може довести верифікатору, що дане твердження вірне, не розкриваючи жодної іншої інформації, тобто результат може бути відомий без процесу.
**ZK має дві основні характеристики: по-перше, він доводить те, що хоче довести, не розкриваючи надто багато інформації верифікатору; по-друге, важко створити доказ, і легко перевірити доказ. **
На основі цих двох характеристик **ZK розробив кілька основних варіантів використання: розширення рівня 2, приватний публічний ланцюжок, децентралізоване зберігання, перевірка особи та машинне навчання. **Дослідження в цій статті зосереджено на ZKML (машинне навчання без знань).
Що таке ML (Machine Learning), машинне навчання — це наука про штучний інтелект, яка передбачає розробку та застосування алгоритмів, які дозволяють комп’ютерам самостійно навчатися та адаптуватися до даних, оптимізуючи їх продуктивність за допомогою ітераційного процесу без необхідності процесу програмування. Він використовує алгоритми та моделі для ідентифікації даних, щоб отримати параметри моделі та, нарешті, зробити прогнози/рішення.
**Наразі машинне навчання успішно застосовується в різних сферах. З удосконаленням цих моделей машинне навчання потребує виконання все більшої кількості завдань. Щоб забезпечити високу точність моделі, потрібна технологія ZK: використання загальнодоступної моделі перевіряє приватні дані або перевіряє приватну модель загальнодоступними даними. **
ZKML, про який ми зараз говоримо, створює докази з нульовим знанням етапів виведення моделей ML, а не навчання моделі ML.
2. Навіщо потрібен ZKML
У міру розвитку технології штучного інтелекту стає все складніше розрізнити штучний інтелект, людський інтелект і людське покоління. Докази з нульовим знанням можуть вирішити цю проблему. Це дозволяє нам визначити, чи певний вміст створено шляхом застосування певної моделі генерується без розкриття будь-якої іншої інформації про модель або вхідні дані.
Традиційні платформи машинного навчання часто вимагають, щоб розробники надсилали свої архітектури моделей хосту для перевірки продуктивності. Це може спричинити кілька проблем:
Ці виклики породили потребу в рішеннях, які могли б захистити конфіденційність моделей машинного навчання та їхніх навчальних даних.
ZK пропонує багатообіцяючий підхід до вирішення проблем, з якими стикаються традиційні платформи машинного навчання. Використовуючи потужність ZK, ZKML надає рішення для збереження конфіденційності з такими перевагами:
Інтеграція ZK у процес ML забезпечує безпечну та конфіденційну платформу, яка усуває обмеження традиційного ML. Це не тільки сприяє впровадженню машинного навчання в індустрії конфіденційності, але й залучає досвідчених розробників Web2 до вивчення можливостей екосистеми Web3.
3. Програми та можливості ZKML
Зі збільшенням удосконалення криптографії, технології підтвердження нульового знання та апаратного забезпечення все більше проектів почали досліджувати використання ZKML. Екосистему ZKML можна грубо розділити на такі чотири категорії:
Відповідно до екологічної категорії цих додатків ZKML ми можемо класифікувати деякі поточні проекти, що застосовуються ZKML:
Кредит зображення: @bastian_wetzel
ZKML все ще є технологією, що розвивається, її ринок ще дуже ранній, і багато програм лише експериментують на хакатонах, але ZKML все ще відкриває новий простір для розробки смарт-контрактів:
DeFi
** Додатки Defi, параметризовані за допомогою ML, можуть бути більш автоматизованими. ** Наприклад, протоколи кредитування можуть використовувати моделі ML для оновлення параметрів у режимі реального часу. Наразі протоколи кредитування в основному довіряють моделям поза мережею, які використовують організації для визначення застави, LTV, порогів ліквідації тощо, але кращою альтернативою можуть бути моделі з відкритим кодом, навчені спільнотою, які кожен може запустити та перевірити. Використовуючи оракул ML поза ланцюгом, який можна перевірити, моделі ML можуть обробляти підписані дані поза ланцюгом для прогнозування та класифікації. Ці позамережні оракули машинного навчання можуть без довіри вирішувати реальні ринкові прогнози, протоколи кредитування тощо, перевіряючи обґрунтування та публікуючи докази в мережі.
Web3 Social
** Фільтр соціальних мереж Web3. **Децентралізований характер соціальних програм Web3 призведе до збільшення спаму та шкідливого вмісту. В ідеалі платформи соціальних мереж могли б використовувати узгоджені спільнотою моделі ML з відкритим кодом і публікувати докази аргументації моделі, коли вони вирішують фільтрувати публікації. Як користувач соціальних мереж, ви, можливо, бажаєте переглядати персоналізовану рекламу, але бажаєте зберегти конфіденційність своїх уподобань та інтересів від рекламодавців. Таким чином, користувачі можуть за бажанням запускати модель локально, яку можна вводити в медіа-програми для надання їм вмісту.
GameFi
**ZKML можна застосовувати до нових типів мережевих ігор і створювати кооперативні ігри людини та штучного інтелекту та інші інноваційні мережеві ігри, де модель штучного інтелекту може діяти як NPC, і кожна дія, виконана NPC, буде буде опубліковано в ланцюжку, супроводжується доказом, який кожен може перевірити, щоб визначити правильну модель. У той же час моделі ML можна використовувати для динамічного коригування випуску токенів, постачання, спалювання, порогів голосування тощо. Можна розробити модель контракту стимулювання, яка відновить баланс внутрішньоігрової економіки, якщо досягнуто певного порогу відновлення балансу та підтвердження міркувань перевірено.
Автентифікація
** Замініть приватні ключі біометричною автентифікацією, що зберігає конфіденційність. **Керування закритими ключами залишається однією з найбільших проблем у Web3. Вилучення закритих ключів за допомогою розпізнавання обличчя або інших унікальних факторів може бути можливим рішенням для ZKML.
4. ZKML Challenge
Незважаючи на те, що ZKML постійно вдосконалюється та оптимізується, сфера все ще перебуває на ранніх стадіях розробки, і все ще є деякі проблеми від технології до практики:
**Ці проблеми, по-перше, впливають на точність моделі машинного навчання, по-друге, впливають на її вартість і швидкість перевірки, і, по-третє, впливають на ризик атак крадіжки моделі. **
Удосконалення цих проблем зараз триває, демонстрація ZK-MNIST від @0xPARC у 2021 році показала, як реалізувати дрібномасштабну модель класифікації зображень MNIST у верифікованій схемі; Деніел Канг зробив те саме для масштабної моделі ImageNet, наразі це масштаб ImageNet. модель покращено до 92% і, як очікується, незабаром буде досягнуто з подальшим апаратним прискоренням ширшого простору ML.
ZKML все ще знаходиться на ранній стадії розробки, але він почав показувати багато результатів, і ми можемо очікувати, що побачимо більше інноваційних застосувань ZKML у мережі. Оскільки ZKML продовжує розвиватися, ми можемо передбачити майбутнє, де машинне навчання із збереженням конфіденційності стане нормою.