Опубликованы результаты последнего раунда научной исследовательской премии Sui: участие всемирно известных университетов, 17 проектов получили финансирование в размере 420000 долларов США.

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

В последние два этапа было одобрено 17 предложений от международно известных университетов, общая сумма финансирования составила 425000 долларов США. Участвующие вузы включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.

Обзор некоторых выигравших предложений

Исследование разнообразия голосующих групп в децентрализованных автономных организациях ( DAOs )

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

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

Доктор Филипп Йованович из Университетского колледжа Лондона предложил разработать асинхронный DAG-протокол для повышения устойчивости к атакам и адаптации к постоянно изменяющимся противникам. Этот протокол направлен на обеспечение лучшей безопасности и адаптивности, сохраняя при этом близость к уровню производительности частично синхронизированных противников.

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

Команда Артура Жерве из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения аудита смарт-контрактов Move. Этот проект будет основан на предыдущем опыте анализа 52 смарт-контрактов Solidity DeFi и расширен для оценки безопасности смарт-контрактов Sui.

Полный обзор области консенсусных протоколов

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

Высоконадежная верификационная структура децентрализованного оракульного протокола

Гизель Рейс из Университета Карнеги-Меллона и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Проект будет использовать систему управления доказательствами Coq для разработки обширной библиотеки определений и стратегий доказательства.

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

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

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

Профессор Илья Сергеев из Национального университета Сингапура планирует использовать современные инструменты компьютерной верификации для формальной проверки свойств Bullshark, продвигая понимание консенсусных протоколов на основе ориентированных ациклических графов.

Базовая стандартная структура для блокчейна (BBSF)

Профессор Генри Ф. Корт из Университета Лехай предложил создать стандартизированный формат бенчмарка для справедливого сравнения производительности L1 блокчейнов и L2 решений для масштабирования. Этот проект нацелен на предоставление пользователям и разработчикам прозрачных данных о производительности цепи.

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

Профессор Мин Сук Канг из Корейского института науки и технологий будет исследовать возможность использования Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая, как запустить несколько Rollup, использующих Sui в качестве слоя сортировки.

Оптимизация местного рынка сборов, ценообразование на основе загруженности

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

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