Докази з нульовим розголошенням (ZKP) змінюють правила гри в криптографії, дозволяючи одній стороні довести правдивість твердження, не розкриваючи основну інформацію. Однак генерація ЗКП є дорогим і ресурсозатратним процесом. Розробники стикаються з проблемою пошуку, розгортання та підтримки дорогої інфраструктури, яка часто використовується недостатньо. Ця неефективність завищує витрати користувачів і уповільнює впровадження, роблячи рішення на основі ZKP менш доступними.

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

Що таке Ферма?

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

Місія та візія Fermah

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

Технологія за Fermah

Архітектура Fermah побудована на передових криптографічних технологіях та міцній децентралізованій інфраструктурі, яка призначена для оптимізації генерації доказів нульового знання (ZKP) для різноманітних застосувань. Ця основа інтегрує передові криптографічні інструменти, такі як проміжний шар EigenLayer, поряд з мережею Matchmaker від однорідних учасників, яка ефективно розподіляє обчислювальні ресурси. Платформа призначена для підтримки кількох систем доказів, забезпечуючи безшовну сумісність з різноманітними використаннями, від перевірки блокчейну до безпечної передачі даних.

Компоненти Fermah

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

1. Шукачі

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

1. Сполучувач

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

1. Оператори

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

Розгортання системи доведення

Fermah використовує контейнери Docker для упакування систем доказів, які потім розміщуються за URL-адресами мережі доставки контенту (CDN). Це налаштування дозволяє Операторам швидко отримувати доступ до необхідних систем доказів та виконувати їх з мінімальними затримками, забезпечуючи високу ефективність платформи. Коли Пошукачі надсилають свої запити на докази, система перевіряє ці запити, відповідності відповідним Операторам та обробляє їх у визначені терміни. Співзапусник постійно відстежує та контролює прогрес кожного запиту, забезпечуючи відповідальність та безшовне виконання.

Економічна модель

Крім того, Fermah використовує децентралізовану модель стейкінгу EigenLayer, яка підвищує економічну безпеку її мережі. Оператори вкладають свої ресурси у визначені періоди, гарантуючи, що вони залишаються відданими системі та її продуктивності. Ця модель стейкінгу підвищує довіру до платформи та забезпечує механізм винагороди операторів, узгоджуючи стимули для обох сторін. Децентралізований характер системи сприяє її надійності та знижує експлуатаційні витрати, пов'язані з генерацією ZKP, роблячи її більш доступною як для розробників, так і для підприємств.

Як працює Фермах?

Робочий процес Fermah створений для того, щоб бути ефективним, безпечним та прозорим, забезпечуючи безшовне створення доказу нульового знання (ZKP). Платформа спрощує складний процес створення ZKP через структуровану систему, яка включає три основні компоненти: Пошукачі, Мітчмейкер та Оператори. Ось поближче подивимося, як процес розгортається:

Подання запиту на доведення

Подорож розпочинається, коли Шукачі, незалежно від того, розробники, блокчейн-проекти чи підприємства, подають свої запити на докази через сервер JSON-RPC. Ці запити включають конкретні деталі обчислень, такі як тип необхідного ZKP та параметри, пов'язані з завданням. Крім того, Шукачі надають посилання на відповідні системи доказів, які будуть використовуватися для генерації доказів. Цей крок забезпечує збір усієї необхідної інформації заздалегідь і її доступність для обробки, що дозволяє системі ефективно розподіляти ресурси.

Призначення завдань

Як тільки запит на доказ подано, береться Matchmaker. Спочатку він перевіряє правомірність Замовника, переконуючись, що вони відповідають вимогам платформи для використання сервісу. Потім Matchmaker призначає завдання відповідному Оператору. Розподіл здійснюється на основі сумісності обладнання та доступності ресурсів. Matchmaker забезпечує, що обраний Оператор має обчислювальну потужність для виконання генерації доказу в установлений термін. Цей інтелектуальний процес відбору допомагає збалансувати навантаження мережі та забезпечує ефективний розподіл ресурсів.

Генерація доказу

Після призначення завдання Оператор розпочинає процес генерації доказу. Оператори завантажують необхідні системи доказу з CDN-URL, які Fermah хостить для забезпечення швидкого та надійного доступу. Маючи необхідні системи доказу, Оператор використовує свої обчислювальні ресурси для генерації запитаного доказу Власником. Весь процес відповідає параметрам, встановленим Власником, забезпечуючи, що докази відповідають очікуваним критеріям точності та продуктивності.

Доставка результату

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

Відстеження та надійність

Протягом усього процесу Метчмейкер відіграє вирішальну роль у відстеженні статусу кожного запиту. Шукачі мають можливість відстежувати свої запити в режимі реального часу, забезпечуючи повну прозорість і довіру до системи. Крім того, оператори виділяють свої ресурси мінімум на 500 блоків, приблизно дві години, гарантуючи, що вони залишаються залученими та відданими завданню. Це зобов'язання забезпечує стабільність мережі та гарантує, що ресурси постійно доступні для генерації доказів. Відстежуючи запити та забезпечуючи своєчасну доставку доказів, Fermah підтримує високий рівень надійності та відповідальності як для Шукачів, так і для Операторів.

Основні особливості Fermah

Універсальне створення доказів

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

Ключові аспекти універсальної генерації доказів

1. Достовірно нейтральний та включаючий: Fermah розроблений для підтримки всіх основних систем доказів, включаючи zkVMs, zkEVMs, Groth16 та інші. Ця нейтральність забезпечує, що користувачі можуть вибрати найбільш підходящу систему доведення для своїх конкретних потреб, не будучи залоченими в одну технологію.

2. Модель ринку: платформа працює як ринок, де постачальники складаються з високопродуктивних машин, таких як GPUs та FPGAs. Ці ресурси відповідають попиту від користувачів, які потребують ZK-доказів для різних застосувань, таких як zkRollups, ZK-мости та конфіденційні рішення.

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

4. Абстрагування складності: Одна з основних цілей Fermah - абстрагувати від складності, пов'язаної з доведеннями ZK. Забезпечуючи зрозумілий користувацький інтерфейс та передбачувані моделі ціноутворення, Fermah полегшує розробникам та бізнесу інтеграцію доведень ZK у свої проекти без необхідності глибоких знань криптографії.

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

ZK Базар: Децентралізований ринок

Fermah функціонує як ринок, який пов'язує пропозицію обчислювальних ресурсів з попитом на ZKP. Сторона постачання складається з графічних процесорів і FPGA, які можуть обробляти запити на генерацію доказів. Додатки на стороні попиту, що вимагають технології з нульовим розголошенням, такі як транзакції, що зберігають конфіденційність, або масштабована перевірка блокчейну, можуть подавати запити на докази. Fermah Matchmaker гарантує, що запити будуть узгоджені з найбільш підходящими операторами, оптимізуючи витрати та продуктивність.

Дешево, швидко та надійно генерування доказів ZK

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

Налаштовувана ціноутворення та продуктивність

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

Децентралізоване делегування доказів (Незабаром)

Fermah планує ввести Data-Protected Proving Delegation, захоплюючу функцію, яка покращить конфіденційність, забезпечуючи нерозголошення чутливих даних під час процесу генерації доказів. Ця функція буде корисною для проектів у сферах охорони здоров'я, фінансів та безпечних комунікацій.

Використання випадків Fermah

Верифікація блокчейну та транзакції зі збереженням конфіденційності

Fermah - це ідеальний вибір для застосунків, що працюють на блокчейні, які потребують конфіденційності та масштабованості. За допомогою ZKPs блокчейн-мережі можуть підтверджувати транзакції, не розголошуючи чутливу інформацію. Розробники можуть покладатися на Fermah для швидкого створення необхідних доказів для перевірки транзакцій, що робить його ключовим гравцем у децентралізованих фінансах (DeFi) та проектах блокчейну, що фокусуються на конфіденційності.

Конфіденційна обробка даних

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

Ланцюг постачання та перевірка ідентифікації

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

Девнет Fermah

Devnet Fermah служить основою для його тестування та розробки. Це контрольована мережа, призначена для з'єднання Вимог і Операторів в контрольованому, безпечному середовищі, що дозволяє двом сторонам співпрацювати щодо подання вимог на доказ та генерацію доказів. Devnet вже працює й відкритий для Операторів EigenLayer, які можуть приєднатися для обробки вимог на доказ. Ця фаза є важливою для налаштування компонентів платформи та забезпечення плавної функціональності перед її публічним випуском.

Основні особливості Fermah’s Devnet

• Набір інструментів розробника: Fermah надає потужний набір інструментів розробника (SDK), що спрощує процес подання запитів на доведення для розробників. Цей набір інструментів оптимізує цикл розробки та покращує його користування, пропонуючи попередньо налаштовані інструменти.
• Зображення Docker, побудоване заздалегідь: Оператори можуть отримати доступ до зображень Docker, побудованих заздалегідь, що зменшує складність налаштування. Ці зображення забезпечують, що оператори можуть легко налаштувати свої системи для генерації доказів без додаткового налаштування.
• Розміщений доступ: Devnet працює за моделлю розміщеного доступу, що забезпечує якість та надійність під час цієї фази тестування. Контроль доступу дозволяє Fermah ефективно управляти мережею та переконатися, що участь беруть лише надійні сторони.

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

Приєднуйтесь до Devnetтут.

Фінансування Fermah

Fermah недавно забезпечила $5,2 мільйона в раунді з посівного фінансування 17 вересня 2024 року, який очолили a16z CSX і Lemniscap, з участю таких відомих інвесторів, як Bankless Ventures, Longhash Ventures, P-OPS Team та ZK Validator. В якості ангельських інвесторів приєдналися високопрофільні особи, включаючи Баладжі Срінівасана, Сандіпа Найльвала і Мустафу Аль-Бассама. Це фінансування спрямоване на розвиток продукту і розширення команди для зміцнення їх ринку генерації доказів.

Команда Fermah

Fermah очолює Vanishree Rao, криптограф з більш ніж 15-річним досвідом у доведеннях знань-нуля (ZKPs). Раніше вона працювала головним криптографом в O(1) Labs, команді за протоколом Mina. Експертиза Vanishree в криптографії є центральною для розвитку Fermah.

За нею стоїть Проніт Гарг, головний маркетолог (CMO), який вносить свої знання в маркетингу в команду. Разом вони мають на меті зробити технологію ZK більш доступною та масштабованою. Поточне фінансування допоможе посилити інфраструктуру ZKP Fermah та підтримати подальше розширення команди.

Висновок

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