Объявлен новый раунд премий Суя за академические исследования: в нем участвуют известные университеты со всего мира, 17 победителей превысили сумму в 420 000 долларов США.


Недавно Sui Academic Research Award предоставила финансовую поддержку 17 предложениям, направленным на продвижение технологий, связанных с блокчейном.

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

За последние два этапа Фонд Суй одобрил 17 проектов от университетов, включая Корейский институт передовых наук и технологий (KAIST), Университетский колледж Лондона (UCL), Федеральную политехническую школу Лозанны (EPFL) и Национальный университет Сингапура ( NUS). Предложения от всемирно известных университетов на общую сумму 425 000 долларов США.

🏆 Знакомство с выгодными предложениями

DAO: разнообразие групп голосования

Ари Джулс (Корнелльский университет)

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

**👉 Узнать больше: **

Адаптивный и безопасный консенсус асинхронного протокола DAG

Филипп Йованович (Университетский колледж Лондона)

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

**👉 Узнать больше: **

Аудит смарт-контрактов Sui под руководством большой языковой модели

Артур Жерве (Университетский колледж Лондона)

Огромных улучшений в аудите смарт-контрактов Move можно добиться с помощью больших языковых моделей (LLM), таких как GPT-4-32k и Claude-v2-100k. Команда обнаружила различные уязвимости посредством предварительного анализа 52 смарт-контрактов Solidity DeFi, что привело к убыткам почти в 1 миллиард долларов. Этот проект распространяет это исследование на смарт-контракты Sui, уделяя особое внимание своевременной разработке надежных оценок безопасности и оценке производительности LLM с использованием наборов синтетических эталонных данных.

**👉 Узнать больше: **

Сопоставление домена протокола консенсуса

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

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

**👉 Узнать больше: **

Среда проверки с высоким уровнем доверия для децентрализованных протоколов Oracle

Жизель Рейс (Университет Карнеги-Меллон)

Бруно Вольценлогель Палео (Дед Альянс)

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

**👉 Система управления доказательствами Coq: **

Определение узких мест масштабируемости

Рогер Ваттенхофер (ETH Цюрих)

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

**👉 Узнать больше: **

Механизация протокола Bullshark

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

Это исследование направлено на формальную проверку свойств Bullshark с использованием современных инструментов компьютерной проверки и углубление понимания протоколов консенсуса, основанных на направленных ациклических графах. Кроме того, это предложение будет способствовать развитию исследований распределенных систем, предоставляя первую механически проверенную модель консенсусного протокола на основе DAG.

**👉 Узнать больше: **

BBSF: Стандартная система сравнительного анализа блокчейна

Генри Ф. Корт (Университет Лихай)

Предложение направлено на создание стандартизированного формата тестов блокчейна для справедливого сравнения блокчейнов L1, а также решений масштабирования L2. Конечная цель — предоставить пользователям и разработчикам прозрачную информацию о производительности сети, чтобы облегчить принятие обоснованных решений.

**👉 Узнать больше: **

Создание масштабируемого и децентрализованного общего уровня последовательностей

Мин Сук Кан (Корейский институт науки и технологий)

В этом предложении будет рассмотрено использование Bullshark/Mysticeti в качестве общего алгоритма сортировки. Это потребует запуска нескольких накопительных пакетов с использованием Sui в качестве уровня упорядочивания, что позволит им интерпретировать транзакции на основе их уровня исполнения.

**👉 Узнать больше: **

Местный рынок сборов для оптимальной оплаты за пробки

Абдулай Ндиай (Нью-Йоркский университет)

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

**👉 Узнать больше: **

SAMM: автоматический маркет-мейкер

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

Разрабатывается новая концепция, называемая сегментированными контрактами, которая использует несколько контрактов для повышения параллелизма. Хотя сегментированные смарт-контракты Automated Market Maker (AMM) могут повысить производительность, могут возникнуть проблемы из-за фрагментации ликвидности и более дорогостоящих транзакций. Основная цель — согласовать стимулы поставщиков ликвидности и трейдеров поддерживать несколько сегментов AMM, достигая полностью распараллеливаемого сегментированного AMM.

**👉 Узнать больше: **

Раскрытие частной информации в механизме конкуренции

Андреа Аттар (Римский университет Торвиатта)

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

**👉 Узнать больше: **

Применить большую языковую модель для создания смарт-контракта Sui

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

Смарт-контракты на Sui написаны на языке Move, что создает проблемы для существующих моделей больших языков (LLM) из-за ограниченности данных для обучения. Данное исследование направлено на решение этой проблемы путем тонкой настройки LLM с использованием кодов Move и подсказок, специфичных для Sui. В ходе этого исследования будет собран полный набор примеров данных языка Move, улучшена разработка подсказок и реализована тонкая настройка для сравнения эффективности LLM при использовании этих методов.

**👉 Узнать больше: **

COMET: сравнительные показатели и рамки перехода к движению

Джордж Джаглис (Университет Никосии)

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

**👉 Узнать больше: **

Революционный DeFi: подход глубокого обучения для оптимизации ликвидности и динамических комиссий на Sui

Рашид Геррауи и Валид Софиан (EPFL)

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

**👉 Узнать больше: **

Оцените способность прогнозирования волатильности SUI

Ставрос Дегианнакис (Открытый университет Кипра)

В эконометрике крайне важно оценить соответствие модели и ее прогностическую силу, часто полагаясь на функции потерь для оценки прогностической полезности. В этом исследовании будет изучена эффективность алгоритма SPEC в прогнозировании волатильности активов Sui. Используя свободно доступные высокочастотные данные о ценах, исследование в первую очередь сосредоточится на SUI и проверит их на различных активах блокчейна.

**👉 Узнать больше: **

Постквантовые прозрачные zkSNARK с малым объемом памяти

Бретт Фальк и Пратюш Мишра (Университет Пенсильвании)

Это исследование направлено на разработку масштабируемых zkSNARK путем решения трех основных препятствий: сложности времени доказательства, сложности пространства доказательства и размера SRS доказательства. Цель состоит в том, чтобы одновременно преодолеть эти барьеры и предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.

**👉 Узнать больше: **