Сьогодні ми представляємо Fermah, універсальний шар генерації доказів.

Після того як я присвятив останні 15 років розробці та створенню доказів з нульовим знанням (ZKP), мені стало зрозуміло, що ми перебуваємо в точці перелому. Технологія ZKP перебуває на межі того, щоб стати досить практичною для використання в широких сучасних додатках. Проте, залишається остання битва з босом.

У цій битві наш противник - складність генерації доказів.

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

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

Завдяки універсальному рівню генерації доказів Fermah вирішує це завдання.

Fermah функціонує як ринок для генерації доказів ZK.

Сторона пропозиції на ринку складається з таких машин, як GPU і FPGA. Спочатку сторона пропозиції завантажується операторами EigenLayer.

Fermah може генерувати докази для будь-якого випадку, в якому використовується ZK.

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

https://fermah-assets.netlify.app/assets/ferma-loop-videos/ferma-loop-1-glow.mp4

Fermah функціонує як ринок для генерації доказів ZK

Агрегування попиту з різних джерел дає змогу постачальникам використовувати ефект масштабу.

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

Цей маховик робить економіку ZKP життєздатною в набагато ширшому діапазоні випадків використання.

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

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

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

Коли б вам не знадобилося створити докази - чи то для ZK-рулонів, чи то для ZK-мостів, чи то для ZK-співпроцесорів, чи то для ZKML-проєктів, чи то для ZKFHE-проєктів, чи то для будь-яких інших варіантів використання ZKP - ми готові допомогти.

Якщо ви були заінтриговані ZK, але вважали його занадто складним для використання, ми можемо стати тим рішенням, якого ви так довго чекали!

Наша місія - абстрагуватися від складнощів, пов'язаних із використанням ZKP. Наше бачення - зробити ZKP підкладкою за замовчуванням для всіх обчислень.

І у нас є правильні люди, які підтримують нас, щоб виконати нашу місію.

Я радий повідомити, що ми залучили 5,2 мільйона доларів від фондів рівня S, які сформували простір ZK таким, яким він є сьогодні.

Фонд a16z CSX и Lemniscap зробили свій внесок у наш seed-раунд.

У раунді також взяли участь такі фонди, як Bankless Ventures, Longhash Ventures, P-OPS team, Public Works, ZK Validator, Lambda Class, Daedalus, Zero DAO, Velocity Capital, i Daemon Ventures.

Крім фондів, у цьому раунді як ангели взяли участь бірдери S-тиру. Серед них Баладжі, колишній технічний директор Баладжи, колишній технічний директор Coinbase і A16z GP; Мустафа і Нік  Мустафа и Нiк, генеральний директор і операційний директор Сандип, Джайнти i Дэниел, співзасновники Polygon; Зак i Клэр, генеральний директор і операційний директор Aztec; Сергей, генеральный директор Axelar; Грег, співзасновник Geometry, і деякі інші.

Гіганти проклали шлях для Fermah, і ми не можемо не радіти тому, що багато хто з цих гігантів у нашому кутку.

Ми розпочинаємо амбітні пошуки, щоб заново винайти обчислення та довіру в Інтернеті. Наша етика полягає в досконалості та доброзичливості. Ми - захоплена команда, і ми зростаємо. Якщо щось із цього співзвучно вам, я рекомендую вам зазирнути на нашу сторінку «Кар'єра» і подати заявку! Ви також можете зв'язатися з Пранітом, нашим CMO, або зі мною.

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

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

І нарешті, ми будемо раді бачити вас у нашій спільноті! Сьогодні ми відкриваємо наш Discord для публіки. Приєднуйтесь до скромної когорти ботаніків і добрих ентузіастів ZK, сповнених рішучості перемогти фінального боса і донести місячну математику до широких мас.

Вперед!