Піттсбург, Сполучені Штати, 6 грудня 2024 року, Chainwire

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

Прорив у криптографії без компромісів

Блокчейни, такі як Ethereum, отримали визнання як майбутнє децентралізованої інфраструктури, а технологія нульових знань (ZK) вважається такою, що підвищує безпеку та масштабованість Ethereum понад 120 TPS. Згідно з інформацією команди, розробка ZK доказів є складною та трудомісткою, що вимагає тисяч годин роботи десятків розробників. Пріоритезація швидкості у генерації доказів також означає ручне проектування протоколів, і з ручним кодуванням та десятками тисяч рядків коду це створює значні вразливості у безпеці. Це ускладнює створення децентралізованих додатків, чутливих до безпеки, і робить аудит та відповідність справжнім кошмаром – всі ці чинники заважають широкому впровадженню в регульованих промисловостях, таких як фінанси, охорона здоров'я та штучний інтелект.

Команда дослідників Карнегі Меллона співпрацює з Anaxi Labs, щоб подолати цю компромісність

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

«Ця ідея розділення обчислень на дуже специфічні частини, які автоматично замінюють CPU, є новим підходом, і це перший раз, коли хтось намагався реалізувати такий підхід, де ми уникаємо повного представлення програми для компілятора», сказав Ріад Вахбі, асистент професора в кафедрі електричної та комп'ютерної інженерії університету Карнегі Меллона. «Ми надзвичайно в захваті від цього».

Відкриття нових децентралізованих додатків

Дослідження та структура, яку Anaxi Labs будує на основі досліджень, мають на меті революціонізувати промисловості у Web3 та за його межами. У традиційній та регульованій фінансовій сфері підвищення продуктивності при збереженні можливості аудиту дозволяє здійснювати миттєве розрахування міжбанківських переказів, таких як миттєві USD платежі. У сфері охорони здоров'я, на фоні викликів, з якими стикалася 23andMe, безпечні та конфіденційні інструменти шифрування, розроблені продуктом Anaxi Labs, тепер можуть вирішити критичні проблеми і безпечно використовувати приватну генетичну інформацію, забезпечуючи належне право власності на свою ДНК, водночас дозволяючи цінні дослідження. У сфері корпоративного ШІ та критичної фізичної інфраструктури децентралізоване рішення, яке вимагає високої доступності та майже нульової затримки, таке як швидка тонка настройка та інференція через кілька ресурсів даних та обчислювальної потужності, стає реальністю.

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

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

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

Anaxi Labs та CyLab, партнерство, що змінює правила гри

CyLab університету Карнегі Меллона є центром передових досліджень, що стали основою для розвитку блокчейну – включаючи нульові знання. Відомі викладачі-дослідники з CyLab включають шановного професора Брайана Парно, критично важливого учасника історії ZK, чия лабораторія створила широко цитовану серію статей Nova, та асистента професора Ріада Вахбі, чиї результати призвели до нових криптографічних технологій, які реалізували бачення Фонду Ethereum (а нещодавно – новаторську реалізацію Jolt zkVM від криптовалютного підрозділу Andreessen Horowitz, a16z crypto).

Результати, викладені в цій компіляційній структурі, є результатом другого дослідницького проекту, що виник з симбіотичного партнерства між Anaxi Labs та CyLab через Ініціативу безпечного блокчейну CMU. Це партнерство дозволяє академікам CMU співпрацювати та вчитися з insights, здобутими з комерційних впроваджень їхніх досліджень блокчейну, що очолюються Anaxi Labs, для додатків Web3 та Web 2.0. Це дозволяє їм знаходити комерційні рішення для основних існуючих проблем із блокчейном, який не зміг подолати розрив між відомими перевагами технології блокчейн та масовим впровадженням. І це також слугує трампліном для студентів CMU, щоб розпочати свою кар'єру в Web3.

«Партнерство Anaxi Labs з CyLab підвищує можливості дослідників CMU працювати над проектами з прямими, реальними застосуваннями, забезпечуючи, щоб їхня робота мала практичну значущість і потенціал для впливу», сказав Майкл Лісанті, старший директор партнерств CyLab.

Щоб дізнатися більше про Anaxi Labs: https://www.anaxilabs.com/

Щоб дізнатися більше про Anaxi Labs та останні роботи CyLab: https://www.cylab.cmu.edu/

Щоб дізнатися більше про партнерство CyLab з Anaxi Labs: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

Про Anaxi Labs

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

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

Вебсайт: https://www.anaxilabs.com/

Про CyLab

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

Вебсайт: https://www.cylab.cmu.edu/

Контакт

PR
Дейзі Люнг
daisy@11.international

Запис Anaxi Labs та CyLab університету Карнегі Меллона про новаторську систему доказів вперше з'явився на Blockonomi.