Anaxi Labs и CyLab Университета Карнеги-Меллона представляют революционную систему проверки

[Пресс -релиз - Питтсбург, США, 6 декабря 2024 года]

Anaxi Labs, в сотрудничестве с Carnegie Mellon University's Cylab, Институтом кибербезопасности и конфиденциальности университета, объявляет о компиляторах для криптографии, которая разрешает тупик-создание масштабируемых приложений с нулевыми знаниями, требующими фундаментальные компромиссы. Неуловимая трифекта масштабируемых, криптографически безопасных и децентрализованных приложений считалось невозможным, и до сих пор барьер для массового внедрения-до сих пор.

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

Блокчейны, такие как Ethereum, были провозглашены как будущее децентрализованной инфраструктуры, с технологией нулевого знания (ZK), ознамененной для повышения безопасности и масштабируемости Ethereum выше 120 TPS. По данным команды, развитие доказательств ZK является сложным и трудоемким, требуя тысяч часов в течение десятков разработчиков. Приоритет скорости в генерации доказательств также означает ручной проектирование протоколов, а также с ручным кодированием и десятками тысяч строк кода, которые вводят значительные уязвимости безопасности. Это усложняет создание чувствительных к безопасности децентрализованных приложений и делает аудиторие и соответствие кошмаром-все препятствия для широкого распространения в регулируемых отраслях, таких как финансы, здравоохранение и ИИ.

Команда исследователей Карнеги-Меллона сотрудничает с Anaxi Labs, чтобы преодолеть этот компромисс

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

"Эта идея разорвать вычисления на очень специфические куски, которые автоматически занимают место процессора, - это новый подход, и это первый раз, когда кто -то пытался сделать такой подход, где мы избегаем полного представления программы для Компилятор, - сказал Риад Вахби, доцент кафедры электрической и компьютерной инженерии Университета Карнеги -Меллона. «Мы очень взволнованы этим».

Разблокировка новых децентрализованных применений

Исследование и структура Anaxi Labs создает из исследования, чтобы революционизировать отрасли в Web3 и более. В традиционных и регулируемых финансах повышение производительности при поддержании аудитации позволяет урегулировать внутрибанковые переводы в режиме реального времени, такие как мгновенные платежи в долларах США. В здравоохранении на фоне проблем, с которыми сталкиваются 23andme, безопасные и конфиденциальные инструменты шифрования, обеспечиваемые продуктом, разрабатываемыми Anaxi Labs, теперь могут решать критические проблемы и безопасно использовать частную генетическую информацию, обеспечивая законное владение DNA, одновременно обеспечивая ценную исследование Полем В сфере AI Enterprise AI и критических физических инфраструктур, децентрализованное решение, которое требует высокой доступности и близко к нулевой задержке, такой как быстрое настраиваемость и вывод по нескольким данным и вычисление властных ресурсов, становятся реальностью.

В непосредственной степени продукты, основанные на исследовании, предоставляют наиболее эффективное решение для компаний Web3, которые сталкиваются с компромиссами масштабируемости, безопасности и децентрализации, предлагая новую парадигму дизайна для подключений и взаимодействия.

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

«Нам также нравится тот факт, что он является агностическим языком и библиотекой, что означает, что широкий спектр проектов может извлечь выгоду из этого без модификации кода. Это позволило нам создать открытую, совместную структуру, в отличие от все более статических монолитных подходов сегодня», - », -», - », - Шен добавляет. «Это позволяет всем разработчикам автоматически выбирать и объединять лучшие из последних достижений в системах доказательств, таких как поиски, совместные процессоры и аппаратное ускорение; максимизация повышения производительности каждого вычислительного субстрата».

Anaxi Labs and Cylab, партнерство, изменяющее игру

Carnegie Mellon's Cylab был в центре передовых исследований, которые послужили основой для развития блокчейна, включая нулевые знания. Примечательные исследователи факультета из Cylab включают уважаемого профессора Брайана Парно, критического вкладчика в «Истории ZK, чья лаборатория» создала широко цитируемую серию Nova Paper, и доцент Риад Вахби, выводы которого привели к новым криптографическим технологиям, которые реализовали видения Фонда Эфиреума ( А в последнее время реализация Pathbroking Jolt ZKVM с помощью крипто -дивизии Andreessen Horowitz, A16z Crypto).

Результаты, изложенные в этой структуре компилятора, являются результатом второго исследовательского проекта, происходящего из симбиотического партнерства между Anaxi Labs и Cylab через инициативу CMU Secure Blockchain. Это партнерство позволяет Академикам CMU сотрудничать и учиться на информации, полученных из коммерческих развертываний их исследований блокчейна, возглавляемых Anaxi Labs, для приложений Web3 и Web 2.0. Это позволяет им найти коммерческие решения для основных существующих проблем с блокчейном, которые не могут преодолеть разрыв между известными преимуществами технологии блокчейна и массовым внедрением. И это также служит трамплином для студентов CMU, чтобы начать свою карьеру в Web3.

«Партнерство Anaxi Labs» с способностью CMU Advance Cmu исследователей работать над проектами с прямыми, реальными приложениями, гарантируя, что их работа имеет практическую актуальность и потенциал для воздействия »,-сказал Майкл Лисанти, старший директор Cylab's.

Чтобы узнать больше об Anaxi Labs: https://www.anaxilabs.com/

Чтобы узнать больше о последних работах Anaxi Labs и Cylab's: https://www.cylab.cmu.edu/

Чтобы узнать больше о партнерстве Cylab's с Anaxi Labs: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-trategic-partner.html

О лабораториях Anaxi

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

Anaxi Labs работают с лучшими в мире умом в области криптографии и инженеров мирового класса, которые имеют опыт создания и эксплуатации продуктов на домохозяйстве с сотнями миллионов пользователей. Они являются отраслевым партнером ведущих академических учреждений в криптографии, таких как Университет Карнеги -Меллона. Вместе они стремятся преобразовать будущее Интернета, разблокируя силу того, что наука может сделать для людей, общества и планеты.

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

О цилабе

Carnegie Mellon University 'Cylab является Институтом безопасности и конфиденциальности университета. Они объединяют экспертов из всех школ по всему университету, охватывающие области инженерии, компьютерной науки, государственной политики, информационных систем, бизнеса, управления финансовой информацией, гуманитарных наук и социальных наук. Наша миссия состоит в том, чтобы катализировать, поддержать, продвигать и укреплять совместную безопасность и исследования конфиденциальности и образование в разных департаментах, дисциплинах и географических границах для достижения значительного влияния на исследования, образование, государственную политику и практику.

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