Фонд Sui рад объявить лауреатов четвертой премии Sui Academic Research Awards. Эта программа финансирует новаторские исследования, способствующие развитию Web3, уделяя особое внимание технологии блокчейна, программированию смарт-контрактов и продуктам, созданным на основе Sui.

В этой когорте мы приняли 20 исключительных предложений от престижных университетов, таких как Калифорнийский университет в Беркли, Йельский университет, Нью-Йоркский университет, EPFL и Национальный университет Сингапура. Эти ведущие исследователи будут стимулировать инновации в экосистеме Sui. Благодаря выдающемуся качеству предложений, Sui Foundation выделил дополнительно 1 миллион долларов на 2024 год для поддержки дальнейших исследований, которые ускорят инновации и внедрение блокчейна. Следующий конкурс заявок завершится 5 июля 2024 г.

Ускорение ZKP с помощью кэширования  

Фань Чжан (Йельский университет)

Доказательства с нулевым разглашением (zk-proofs) имеют решающее значение для масштабируемости, конфиденциальности и идентификации блокчейна, например, примитив zkLogin Суи. Однако создание zk-доказательств происходит медленно из-за ресурсоемких вычислений. Это исследование усиливает генерацию zk-proof с помощью кэширования для хранения промежуточных результатов повторяющихся вычислений, таких как мультискалярные умножения и быстрые преобразования Фурье. Этот подход использует шаблоны пользовательского ввода, чтобы значительно ускорить создание zk-proof, повышая эффективность в реальных приложениях.

AIChain: LLM для объединения статического анализа и фаззинга для более безопасных смарт-контрактов 

Виджай Ганеш (Технологический институт Джорджии)

AIChain решает проблему безопасности смарт-контрактов, используя ИИ для статического анализа и фаззинга, чтобы исключить ручную работу. AIChain — это модель большого языка (LLM), используемая для обработки смарт-контрактов и отчета статического анализа для генерации кода для фаззинга для проверки потенциальных уязвимостей. Первоначальные тесты с OpenAI GPT-3.5-Turbo показали эффективные результаты, и инструмент расширяется для обнаружения большего количества уязвимостей.

Хранение ключей на дому для платформ Web3

Тушар Джойс (Исследовательский фонд CUNY)

Платформы Web3 предлагают беспрецедентный контроль над цифровыми активами, но хранение ключей остается основным предметом разногласий. Традиционные решения, такие как аппаратные кошельки и стороннее условное депонирование, являются дорогостоящими, что отпугивает потенциальных пользователей. В этом исследовании рассматривается использование существующих устройств Интернета вещей в умных домах для хранения ключей, используя коллективную безопасность нескольких стационарных устройств. Система SocIoTy будет использовать устройства умного дома для выполнения криптографических операций и двухфакторной аутентификации, гарантируя, что ключевой материал останется в безопасности внутри дома. Этот подход обеспечивает экономичный и безопасный метод хранения ключей Web3, повышающий доверие пользователей и доступность.

Автобан: как сделать частично синхронные протоколы BFT устойчивыми к частичной синхронизации

Наташа Крукс (Калифорнийский университет, Беркли)

Традиционные протоколы Byzantine Fault Tolerant (BFT) должны балансировать между низкой задержкой и надежностью сети, но иногда дают сбои во время сетевых сбоев, что приводит к «асинхронному похмелью». Протоколы BFT на основе DAG, хотя и надежны, часто имеют более высокую задержку. В ходе этого исследования будет разработан Autobahn, новый протокол консенсуса, сочетающий распространение данных на основе DAG с традиционным механизмом частично синхронного консенсуса. Autobahn поддерживает низкую задержку во время нормальной работы и надежность во время сбоев в сети, отделяя консенсус от распространения данных, обеспечивая эффективное восстановление и высокую производительность.

Автоматизированное управление рисками для экосистемы Sui DeFi

Лукаш Шпрух и Дэвид Сиска (Эдинбургский университет)

Этот проект направлен на разработку автоматизированных систем управления рисками для повышения экономической безопасности в экосистеме Sui DeFi с использованием количественного финансирования и агентского моделирования. Текущее управление DAO испытывает трудности с управлением рисками в режиме реального времени, часто полагаясь на оффчейн централизованные рекомендации третьих сторон. Это исследование позволит создать проверяемую систему управления рисками на основе данных в реальном времени, автоматизируя настройку параметров протокола и стресс-тестирование с помощью агентного моделирования. Первоначальное внимание будет сосредоточено на протоколах децентрализованного кредитования, предоставляющих инструменты с открытым исходным кодом для обеспечения прозрачной, масштабируемой и подотчетной оценки рисков.

Поведенческие абстракции для поддержки аудиторов смарт-контрактов

Диего Гарбервецки (Университет Буэнос-Айреса)

Аудит — это трудоемкая задача, которая часто опирается на такие инструменты, как линтеры и фаззеры, которым не хватает понимания конкретной предметной области. В ходе этого исследования будут созданы инструменты, использующие абстракцию предикатов для построения моделей (автоматов), которые помогут аудиторам исследовать и проверять поведение смарт-контрактов. Постепенно понимая поведение контракта с помощью предложенных предикатов, аудиторы могут использовать эти модели для более эффективного выявления функциональных ошибок и ошибок реализации. Цель — автоматизировать создание этих моделей, повысить эффективность аудита и общую безопасность смарт-контрактов.

Сравнительный анализ Sui с точки зрения параллельного выполнения

Оой Бенг Чин (Национальный университет Сингапура)

Этот проект устраняет узкое место механизма исполнения в современных блокчейнах, выходя за рамки ограничений алгоритмов консенсуса. Разрабатывая рабочие нагрузки Web3 для параллельного выполнения, команда стремится протестировать популярные приложения, такие как DEX, торговые площадки NFT и игры. Это исследование предоставит ценную информацию о масштабируемости и производительности современных блокчейнов, повышая эффективность стратегий параллельного выполнения.

За пределами пространства и времени: экспериментальная экономика через смарт-контракты

Ян Ю (Гонконгский университет), Линь Уильям Конг (Корнелльский университет)

Традиционные эксперименты в области социальных наук сталкиваются с ограничениями из-за искусственных методов лечения и короткой продолжительности лабораторных исследований. Это исследование представляет децентрализованную платформу для торговли контрактами на события, основанную на автоматизированном маркет-мейкинге, где участники торгуют на основе реальных событий, предоставляя более надежные данные. Постоянно привлекая участников с помощью токенов платформы, конвертируемых в доллары США, для получения правильных прогнозов, этот подход позволяет проводить долгосрочные исследования ожиданий, продемонстрированные в ходе эксперимента по ожиданиям процентных ставок под влиянием заявлений Федеральной резервной системы США.

Отравление адресов блокчейна  

Николас Кристин (Университет Карнеги-Меллон)

В этом исследовании рассматривается проблема отравления адресов блокчейна, когда злоумышленники создают «похожие» адреса, чтобы обманом заставить пользователей отправлять средства не тому получателю, что обычно называют отравлением адреса. Транзакции блокчейна необратимы, что делает такие атаки особенно вредными. Этот проект формализует модель угроз, измерит распространенность в нескольких блокчейнах, охарактеризует поведение злоумышленников и разработает меры по смягчению последствий. Цель состоит в том, чтобы создать строгую основу для проектирования пользовательского интерфейса Web3, которая повысит безопасность и уверенность пользователей на Sui и других платформах.

Получение безрисковой доходности по Sui: подход глубокого хеджирования с использованием опционов и фьючерсов

Димитриос Карьямпас и Валид Софиан (Федеральная политехническая школа Лозанны), Адам Буабда (ETH Цюрих)

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

Композиционная спецификация и верификация протоколов консенсуса блокчейна

Чжун Шао (Йельский университет)

Протоколы репликации византийского конечного автомата (SMR) обеспечивают линейную, защищенную от несанкционированного доступа историю, заставляя участвующие узлы договариваться о едином консенсусе. Однако правильная реализация этих протоколов для поддержания безопасности и жизнеспособности остается сложной задачей. Представляя промежуточную модель консенсусных протоколов, включающую компонент кардиостимулятора, эта работа помогает доказать безопасность и жизнеспособность посредством усовершенствования. Цель состоит в том, чтобы разработать модель линеаризуемых византийских распределенных объектов (LiDO) для упрощения и улучшения проверки протоколов консенсуса, обеспечивая надежную и надежную реализацию блокчейна.

Парадигма одновременного выполнения смарт-контрактов

Мохаммад Садоги (Калифорнийский университет, Дэвис)

За последнее десятилетие ResilientDB стала пионером в создании отказоустойчивой и устойчивой платформы данных, которая объединяет безопасную транзакционную и аналитическую обработку в реальном времени. В качестве проекта инкубатора Apache ResilientDB внесла значительный вклад, включая разработку протокола геомасштабного консенсуса (GeoBFT) и протоколов гибридного сегментирования (Cerberus, RingBFT). Основываясь на этом фундаменте, команда теперь стремится разработать протоколы управления параллелизмом с высокой пропускной способностью и малой задержкой, оптимизированные для одновременного выполнения смарт-контрактов.

Эффективные постквантовые многосторонние вычисления с использованием облегченной криптографии

Аникет Кейт (Университет Пердью)

Многосторонние вычисления (MPC) позволяют нескольким сторонам вычислять функции на частных входных данных, сохраняя при этом конфиденциальность, что важно для приложений Web3, таких как ИИ, сохраняющий конфиденциальность, и аналитика здравоохранения. Это исследование направлено на разработку протоколов MPC на основе хэша, которые являются масштабируемыми и постквантовыми безопасными, преодолевая ограничения существующих протоколов, которые полагаются на дорогостоящие криптографические операции. Предварительные результаты протокола HashRand показывают значительное улучшение производительности: скорость передачи 11 000 маяков в минуту при 16 участниках значительно превосходит существующие решения.

Шифрование по цепочке

Евгений Додис (Нью-Йоркский университет)

Блокчейны, такие как Биткойн и Эфириум, предлагают псевдонимность, но не имеют надежных гарантий конфиденциальности, что позволяет отслеживать транзакции пользователей. Данное исследование направлено на решение этой проблемы путем изучения «цепочного шифрования» для частного хранения, в отличие от zk-доказательств, для обеспечения конфиденциальности и доступности данных в блокчейнах. Опираясь на опыт разработки протоколов безопасного обмена сообщениями, таких как Signal и Zoom, этот проект направлен на разработку надежных решений конфиденциальности для транзакций блокчейна.

Оценка устойчивости Sui к сетевым атакам

Пратик Миттал (Принстонский университет)

В этом исследовании изучается устойчивость сети валидаторов Sui к атакам маршрутизации на уровне сети, в частности к перехвату протокола пограничного шлюза (BGP) и DDoS-атакам. В ходе исследования будет оценена устойчивость узлов валидатора к этим угрозам, с конечной целью разработки функции «оценки» устойчивости для соответствующей корректировки выплат за проверку и стимулирования безопасного подключения через сетевую архитектуру следующего поколения SCION. Это исследование станет наиболее подробным на сегодняшний день моделированием устойчивости к перехвату BGP, включающим аспекты реальной маршрутизации для обеспечения устойчивости и надежности Sui.

Более быстрые zk-SNARK от накопления

Бенедикт Бюнц (Нью-Йоркский университет)

Это исследование направлено на улучшение кратких неинтерактивных аргументов знания с нулевым разглашением (zk-SNARK), повышая конфиденциальность и эффективность блокчейна. Используя методы «накопления», вычисления разбиваются на небольшие этапы и объединяются, что упрощает проверку. Этот метод может улучшить агрегацию подписей в таких системах, как Bullshark и Narwhal, обеспечивая более эффективную проверку. Целью проекта является ускорение и упрощение создания zk-SNARK для практического применения.

Полностью децентрализованный zkLogin с биометрическими методами входа и переключаемыми поставщиками входа

Цзелян Инь (Гонконгский университет науки и технологий)

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

MoveGen: создание безопасных смарт-контрактов на основе естественного языка и спецификаций безопасности

Вейдонг Ши и Рабимба Каранджай (Хьюстонский университет)

Этот проект направлен на улучшение SolMover, инструмента для генерации кода Move, путем улучшения его генератора задач LLM, расширения набора данных кода Move и интеграции механизмов исправления ошибок. В ходе исследования будет изучена прямая генерация кода Move на основе спецификаций естественного языка с использованием обратной связи компилятора для итеративного повышения точности и качества кода. Кроме того, для обеспечения правильности и надежности создаваемых контрактов Move будут использоваться передовые методы обеспечения безопасности, исправления на основе линтера и автоматическое создание модульных тестов. 

Масштабируемость виртуальных машин с нулевым разглашением

Санджам Гарг (Калифорнийский университет, Беркли)

zk-proofs — мощный криптографический инструмент, обеспечивающий безопасность и конфиденциальность в приложениях блокчейна. zk-proofs удостоверяют правильное выполнение вычислений без раскрытия каких-либо входных данных, что делает их критически важными для таких приложений, как проверяемые базы данных, частное голосование и анонимные учетные данные. Внедрение zk-доказательств для виртуальной машины Move позволит клиентам локально выполнять смарт-контракты и отправлять доказательства, сокращая рабочую нагрузку майнеров и поддерживая контракты с интенсивными вычислениями. Это также поможет включить в Sui приложения, сохраняющие конфиденциальность.

SuiGPT AutoTest: создание комплексных модульных тестов перемещения с использованием больших языковых моделей

Кен Кедингер и Исон Чен (Университет Карнеги-Меллон)

Хотя тестирование имеет решающее значение для поддержания целостности смарт-контракта, разработка модульных тестов требует очень много времени. В этом исследовании рассматривается использование LLM для помощи в написании этих тестов. Первые успехи в быстром проектировании показывают, что LLM может генерировать эффективный, компилируемый тестовый код. В рамках этого исследования будет разработан SDK и расширение Visual Studio Code, которые помогут разработчикам Move легко создавать комплексные модульные тесты, повышая эффективность и надежность.

Мы хотели бы поблагодарить всех, кто подал заявки на участие в программе Sui Academic Research Awards. 

Желающих принять участие в программе просим подать заявки на следующий тур до 5 июля 2024 года.