Anaxi Labs и CyLab Карнеги-Меллонского университета представили прорывную систему доказательств, открывающую путь к масштабируемым и безопасным прикладным реальным приложениям
Anaxi Labs сотрудничает с Исследовательским институтом сетевой безопасности и конфиденциальности Карнеги-Меллонского университета (CyLab) и объявляет о запуске революционной криптографической компиляторной среды, которая решает давнюю проблему, беспокоящую индустрию - построение масштабируемых нулевых знаний требует сделать компромиссы на базовом уровне. До этого момента считалось, что невозможно одновременно реализовать масштабируемые, безопасные и децентрализованные приложения с шифрованием, и это было препятствием для масштабного применения - до сих пор.
Прорыв в криптографии без компромиссов
Будущее инфраструктуры Децентрализация считается блокчейнами, такими как Ethereum, а технология нулевого разглашения (ZK) считается способной повысить безопасность и масштабируемость Ethereum до более чем 120 транзакций в секунду. Но реальность совсем иная. Создание доказательств с нулевым разглашением является сложным и трудоемким процессом, требующим усилий десятков разработчиков и тысячи часов. Для оптимизации скорости генерации доказательств зачастую требуется ручное проектирование Протокола, а ручное кодирование и десятки тысяч строк кода создают серьезные уязвимости. Это усложняет создание безопасных Децентрализация приложений и превращает аудит и Соответствие в кошмар - все это препятствует широкому применению этой технологии в регулируемых отраслях, таких как финансы, здравоохранение и искусственный интеллект.
Команда исследователей Карнеги-Меллонского университета сотрудничает с Anaxi Labs для преодоления этой проблемы.
Недавняя статья, опубликованная в Университете Карнеги-Меллона, предложила революционный метод, который может автоматически компилировать и упрощать высокоуровневое программное обеспечение в более простую форму, необходимую для системы доказательства на нижнем уровне (низкоуровневое представление). Этот процесс полностью автоматизирован, повторяем и аудируем, что устраняет ручную работу, значительно повышая производительность и обеспечивая безопасность процесса на уровне криптографии. Этот результат анализирует высокоуровневую программу, разбивая ее на небольшие, неделимые единицы, а затем создает низкоуровневое представление из каждой единицы, которое легко вводить в различные системы доказательств.
Ассистент профессора Риад Вахби из Каунеги Мелонского университета отделения электротехники и компьютерной инженерии заявил: "Это новый способ автоматизации разбиения вычислений на очень конкретные блоки вместо ЦП, и это первый раз, когда кто-то пытается использовать этот метод компилятора, который избегает полного представления программы. Мы очень воодушевлены этим."
Откройте новое приложение 01928374656574839201
Это исследование и фреймворк, созданный Anaxi Labs на основе исследования, полностью изменят отраслевую ландшафт Web3 и других областей. В традиционной и регулируемой финансовой сфере улучшение производительности при сохранении аудитируемости позволяет проводить реально-временный Поселок между банками (например, мгновенные платежи в долларах США). В области здравоохранения инструменты безопасного и защищенного шифрования, поддерживаемые продуктами, разрабатываемыми Anaxi Labs, теперь позволяют решить ключевые вопросы, такие как обеспечение законной собственности на свою ДНК, одновременно поддерживая ценные исследования, в контексте вызовов, стоящих перед 23andMe. В области корпоративного искусственного интеллекта и критической физической инфраструктуры решения Децентрализация с высокой доступностью и близким к нулю задержкой (например, быстрая настройка и рассуждение через несколько источников данных и вычислительных ресурсов) становятся реальностью.
В последнее время продукты, основанные на этом исследовании, предоставляют наиболее эффективные решения для веб-3 предприятий, которые борются с проблемами масштабируемости, безопасности и балансировки Децентрализация, а также новые дизайнерские парадигмы для роллапы и продуктов интероперабельности.
Сооснователь Anaxi Labs Кейт Шэн заявила: "Это исследование и продукт, который мы в настоящее время разрабатываем на основе результатов этого исследования, окажут глубокое влияние на многие сегодняшние отраслевые приложения, требующие аудита, чтобы преодолеть множество узких мест в производительности, такие как ZK и EVM, и, в конечном итоге, позволят нам подойти еще ближе к реализации визии безопасности шифрования со способностью реального времени и ДецентрализацияСоглашение"
Шэн дополнил: "Мы также очень ценим способность этого исследования к переводу через языковые границы, что означает, что различные проекты могут извлекать выгоду без изменения кода. Это позволяет нам создавать открытую, сотрудничающую структуру, вместо использования сегодняшних статических, монолитных подходов. Это позволяет всем разработчикам автоматически выбирать и объединять преимущества последних систем доказательств, таких как поиск по таблицам, сопроцессоры и аппаратное ускорение, максимально повышая производительность каждого метода вычисления."
Anaxi Labs и CyLab: сотрудничество, меняющее правила игры
Университет Карнеги-Меллон и его исследовательский центр CyLab всегда находились в передовой разработки блокчейна (включая технологию нулевого разглашения). Среди известных профессоров и исследователей CyLab находится Брайан Парно, который внес важный вклад в развитие технологии нулевого разглашения и чья лаборатория создала широко цитируемую серию статей Nova; а также ассистент профессор Риад Уахби, чьи исследования привели к разработке новых криптографических технологий, воплощающих видение Фонда развития Ethereum (недавно отдел шифрования Andreessen Horowitz a16z crypto представил инновационную реализацию Jolt zkVM).
Результаты исследования этой фреймворка компилятора основаны на симбиотическом партнерстве, установленном Anaxi Labs и CyLab в рамках программы по безопасности блокчейна CMU. Такое сотрудничество позволяет ученым Карнеги-Меллонского университета сотрудничать с Anaxi Labs, получать понимание и опыт от их коммерческого развертывания исследований блокчейна в веб-приложениях Web3 и Web 2.0. Оно позволяет им найти коммерческие решения для существующих основных проблем блокчейна и снизить разрыв между известными преимуществами технологии блокчейна и масштабным применением. Также это служит прыжком для студентов Карнеги-Меллонского университета для начала карьеры в области Web3.
Руководитель высшего звена по сотрудничеству в области CyLab Майкл Лисанти заявил: "Сотрудничество Anaxi Labs и CyLab улучшило способность исследователей Карнегийского университета работать над проектами с прямым прикладным значением, обеспечивая их работу практической корреляцией и потенциальным влиянием."
Для получения дополнительной информации о Anaxi Labs, посетите официальный веб-сайт.
Для получения более подробной информации о последних разработках Anaxi Labs и CyLab посетите эту страницу.
Для получения дополнительной информации о сотрудничестве между CyLab и Anaxi Labs посетите эту страницу.
О компании Anaxi Labs
Anaxi Labs - это новый исследовательский лабораторный комплекс, который соединяет передовые академические теории и масштабные приложения. Мы занимаемся оригинальными научными исследованиями, создаем корпоративную, безопасную и масштабируемую инфраструктуру Децентрализация, и продвигаем развитие следующего поколения приложений, основанных на криптографии, Децентрализация.
Мы сотрудничаем с ведущими специалистами в области криптографии и первоклассными инженерами по всему миру, которые ранее успешно создавали и управляли известными продуктами для сотен миллионов пользователей, их профессиональные знания и опыт обеспечивают нам надежную техническую поддержку нашему проекту. Мы являемся партнерами ведущих академических учреждений по криптографии, таких как Карнеги-Меллонский университет. Мы совместно стремимся изменить будущее Интернета путем освобождения потенциала науки для человечества, общества и планеты Земля.
О CyLab
CyLab в Университете Карнеги-Меллона - это институт по безопасности и конфиденциальности этого университета. Мы объединяем экспертов со всех факультетов университета, охватывая такие области, как инженерия, информатика, общественная политика, информационные системы, бизнес, финансы01928374656574839201, гуманитарные и социальные науки. Наша миссия состоит в стимулировании, поддержке, поощрении и укреплении сотрудничества в области исследований и образования в области безопасности и конфиденциальности между отделениями, дисциплинами и географическими границами для создания значительного влияния на исследования, образование, общественную политику и практику.
Эта статья поступила от автора и не представляет точку зрения
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Anaxi Labs и CyLab Карнеги-Меллонского университета представили прорывную систему доказательств, открывающую путь к масштабируемым и безопасным прикладным реальным приложениям
Anaxi Labs сотрудничает с Исследовательским институтом сетевой безопасности и конфиденциальности Карнеги-Меллонского университета (CyLab) и объявляет о запуске революционной криптографической компиляторной среды, которая решает давнюю проблему, беспокоящую индустрию - построение масштабируемых нулевых знаний требует сделать компромиссы на базовом уровне. До этого момента считалось, что невозможно одновременно реализовать масштабируемые, безопасные и децентрализованные приложения с шифрованием, и это было препятствием для масштабного применения - до сих пор.
Прорыв в криптографии без компромиссов
Будущее инфраструктуры Децентрализация считается блокчейнами, такими как Ethereum, а технология нулевого разглашения (ZK) считается способной повысить безопасность и масштабируемость Ethereum до более чем 120 транзакций в секунду. Но реальность совсем иная. Создание доказательств с нулевым разглашением является сложным и трудоемким процессом, требующим усилий десятков разработчиков и тысячи часов. Для оптимизации скорости генерации доказательств зачастую требуется ручное проектирование Протокола, а ручное кодирование и десятки тысяч строк кода создают серьезные уязвимости. Это усложняет создание безопасных Децентрализация приложений и превращает аудит и Соответствие в кошмар - все это препятствует широкому применению этой технологии в регулируемых отраслях, таких как финансы, здравоохранение и искусственный интеллект.
Команда исследователей Карнеги-Меллонского университета сотрудничает с Anaxi Labs для преодоления этой проблемы.
Недавняя статья, опубликованная в Университете Карнеги-Меллона, предложила революционный метод, который может автоматически компилировать и упрощать высокоуровневое программное обеспечение в более простую форму, необходимую для системы доказательства на нижнем уровне (низкоуровневое представление). Этот процесс полностью автоматизирован, повторяем и аудируем, что устраняет ручную работу, значительно повышая производительность и обеспечивая безопасность процесса на уровне криптографии. Этот результат анализирует высокоуровневую программу, разбивая ее на небольшие, неделимые единицы, а затем создает низкоуровневое представление из каждой единицы, которое легко вводить в различные системы доказательств.
Ассистент профессора Риад Вахби из Каунеги Мелонского университета отделения электротехники и компьютерной инженерии заявил: "Это новый способ автоматизации разбиения вычислений на очень конкретные блоки вместо ЦП, и это первый раз, когда кто-то пытается использовать этот метод компилятора, который избегает полного представления программы. Мы очень воодушевлены этим."
Откройте новое приложение 01928374656574839201
Это исследование и фреймворк, созданный Anaxi Labs на основе исследования, полностью изменят отраслевую ландшафт Web3 и других областей. В традиционной и регулируемой финансовой сфере улучшение производительности при сохранении аудитируемости позволяет проводить реально-временный Поселок между банками (например, мгновенные платежи в долларах США). В области здравоохранения инструменты безопасного и защищенного шифрования, поддерживаемые продуктами, разрабатываемыми Anaxi Labs, теперь позволяют решить ключевые вопросы, такие как обеспечение законной собственности на свою ДНК, одновременно поддерживая ценные исследования, в контексте вызовов, стоящих перед 23andMe. В области корпоративного искусственного интеллекта и критической физической инфраструктуры решения Децентрализация с высокой доступностью и близким к нулю задержкой (например, быстрая настройка и рассуждение через несколько источников данных и вычислительных ресурсов) становятся реальностью.
В последнее время продукты, основанные на этом исследовании, предоставляют наиболее эффективные решения для веб-3 предприятий, которые борются с проблемами масштабируемости, безопасности и балансировки Децентрализация, а также новые дизайнерские парадигмы для роллапы и продуктов интероперабельности.
Сооснователь Anaxi Labs Кейт Шэн заявила: "Это исследование и продукт, который мы в настоящее время разрабатываем на основе результатов этого исследования, окажут глубокое влияние на многие сегодняшние отраслевые приложения, требующие аудита, чтобы преодолеть множество узких мест в производительности, такие как ZK и EVM, и, в конечном итоге, позволят нам подойти еще ближе к реализации визии безопасности шифрования со способностью реального времени и ДецентрализацияСоглашение"
Шэн дополнил: "Мы также очень ценим способность этого исследования к переводу через языковые границы, что означает, что различные проекты могут извлекать выгоду без изменения кода. Это позволяет нам создавать открытую, сотрудничающую структуру, вместо использования сегодняшних статических, монолитных подходов. Это позволяет всем разработчикам автоматически выбирать и объединять преимущества последних систем доказательств, таких как поиск по таблицам, сопроцессоры и аппаратное ускорение, максимально повышая производительность каждого метода вычисления."
Anaxi Labs и CyLab: сотрудничество, меняющее правила игры
Университет Карнеги-Меллон и его исследовательский центр CyLab всегда находились в передовой разработки блокчейна (включая технологию нулевого разглашения). Среди известных профессоров и исследователей CyLab находится Брайан Парно, который внес важный вклад в развитие технологии нулевого разглашения и чья лаборатория создала широко цитируемую серию статей Nova; а также ассистент профессор Риад Уахби, чьи исследования привели к разработке новых криптографических технологий, воплощающих видение Фонда развития Ethereum (недавно отдел шифрования Andreessen Horowitz a16z crypto представил инновационную реализацию Jolt zkVM).
Результаты исследования этой фреймворка компилятора основаны на симбиотическом партнерстве, установленном Anaxi Labs и CyLab в рамках программы по безопасности блокчейна CMU. Такое сотрудничество позволяет ученым Карнеги-Меллонского университета сотрудничать с Anaxi Labs, получать понимание и опыт от их коммерческого развертывания исследований блокчейна в веб-приложениях Web3 и Web 2.0. Оно позволяет им найти коммерческие решения для существующих основных проблем блокчейна и снизить разрыв между известными преимуществами технологии блокчейна и масштабным применением. Также это служит прыжком для студентов Карнеги-Меллонского университета для начала карьеры в области Web3.
Руководитель высшего звена по сотрудничеству в области CyLab Майкл Лисанти заявил: "Сотрудничество Anaxi Labs и CyLab улучшило способность исследователей Карнегийского университета работать над проектами с прямым прикладным значением, обеспечивая их работу практической корреляцией и потенциальным влиянием."
Для получения дополнительной информации о Anaxi Labs, посетите официальный веб-сайт.
Для получения более подробной информации о последних разработках Anaxi Labs и CyLab посетите эту страницу.
Для получения дополнительной информации о сотрудничестве между CyLab и Anaxi Labs посетите эту страницу.
О компании Anaxi Labs
Anaxi Labs - это новый исследовательский лабораторный комплекс, который соединяет передовые академические теории и масштабные приложения. Мы занимаемся оригинальными научными исследованиями, создаем корпоративную, безопасную и масштабируемую инфраструктуру Децентрализация, и продвигаем развитие следующего поколения приложений, основанных на криптографии, Децентрализация.
Мы сотрудничаем с ведущими специалистами в области криптографии и первоклассными инженерами по всему миру, которые ранее успешно создавали и управляли известными продуктами для сотен миллионов пользователей, их профессиональные знания и опыт обеспечивают нам надежную техническую поддержку нашему проекту. Мы являемся партнерами ведущих академических учреждений по криптографии, таких как Карнеги-Меллонский университет. Мы совместно стремимся изменить будущее Интернета путем освобождения потенциала науки для человечества, общества и планеты Земля.
О CyLab
CyLab в Университете Карнеги-Меллона - это институт по безопасности и конфиденциальности этого университета. Мы объединяем экспертов со всех факультетов университета, охватывая такие области, как инженерия, информатика, общественная политика, информационные системы, бизнес, финансы01928374656574839201, гуманитарные и социальные науки. Наша миссия состоит в стимулировании, поддержке, поощрении и укреплении сотрудничества в области исследований и образования в области безопасности и конфиденциальности между отделениями, дисциплинами и географическими границами для создания значительного влияния на исследования, образование, общественную политику и практику.
：