Результаты нового раунда финансирования академических исследований Sui объявлены: участвуют множество известных университетов мира, 17 проектов получили более 420000 долларов США.
Недавно Фонд Sui опубликовал список победителей новой программы финансирования академических исследований. Эта программа направлена на поддержку исследовательских проектов, способствующих развитию Web3, особенно в области передовых исследований технологий блокчейн-сетей, программирования смарт-контрактов и продуктов, построенных на основе Sui.
В ходе последних двух этапов было одобрено 17 исследовательских предложений от международно известных университетов, общий объем финансирования составил 425 000 долларов США. Участвующие вузы включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Сингапурский национальный университет.
Обзор финансируемых проектов
Исследование разнообразия децентрализованных автономных организаций
Профессор Ари Юэлс из Корнеллского университета будет исследовать природу децентрализованных организаций. Проект создаст показатели для оценки уровня децентрализации DAO и исследует практические методы повышения уровня децентрализации внутри организации.
адаптивный безопасный асинхронный DAG консенсусный протокол
Профессор Филипп Йованович из Университетского колледжа Лондона предложил разработать асинхронный DAG-протокол для повышения устойчивости к атакам и адаптации к изменяющейся угрозе. Протокол призван обеспечить более высокую безопасность и адаптивность, сохраняя при этом уровень производительности, близкий к частично синхронным противникам.
Аудит смарт-контрактов Sui на основе крупных языковых моделей
Профессор Артур Джервейс из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения процесса аудита смарт-контрактов Move. Команда ранее проанализировала 52 смарт-контракта DeFi на Solidity и обнаружила уязвимости, которые привели к потерям почти в 1 миллиард долларов, теперь они расширяют свое исследование на смарт-контракты Sui.
Панорама области консенсусных протоколов
Профессор Кристофер Качин из Университета Берна проведет всестороннее исследование текущей области консенсуса, предоставив новые идеи для криптографических протоколов консенсуса. Результаты исследований помогут глубже понять существующие алгоритмы и предложить новые идеи для проектирования распределенных протоколов.
Децентрализованный протокол верификации оракулов
Профессор Жизель Рейс из Университета Карнеги-Меллон и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Проект будет разрабатывать обширную библиотеку определений и стратегий доказательства в системе управления доказательствами Coq.
Идентификация узких мест масштабируемости блокчейна
Профессор Роджер Уаттенхофер из Федеральной политехнической школы Цюриха будет заниматься выявлением узких мест масштабируемости, возникающих из-за дефектов проектирования смарт-контрактов, и исследовать влияние корректировки сборов за транзакции на потенциал параллелизации.
Механизированная верификация протокола Bullshark
Профессор Илья Сергеев из Национального университета Сингапура планирует использовать современные инструменты компьютерной помощи для формальной верификации свойств протокола Bullshark, продвигая понимание основанных на DAG согласительных протоколов.
Базовая стандартизация блокчейна
Профессор Генри Ф. Корт из Университета Лехай предложил создать стандартизированный формат бенчмаркинга блокчейна для справедливого сравнения блокчейнов уровня L1 и решений по расширению уровня L2, чтобы предоставить пользователям и разработчикам прозрачные данные о производительности цепочки.
Расширяемый децентрализованный слой общего сортировки
Профессор Мин Сук Канг из Корейского института науки и технологий исследует использование Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая несколько решений Rollup, использующих Sui в качестве слоя сортировки.
Оптимизация местного рынка сборов и цен на основе загруженности
Профессор Абдулай Ндиайе из Нью-Йоркского университета будет исследовать местный рынок сборов для оптимизации механизмов ценообразования на основе загруженности блокчейн-сетей с целью создания эффективной модели ценообразования, отражающей состояние загруженности сети.
Механизм автоматического маркет-мейкинга для шардирования
Профессор Иттай Эйаль из Техниона (Израильский технологический институт) разрабатывает концепцию шардированных контрактов, используя несколько контрактов для повышения параллелизма. Исследование сосредоточено на настройке систем стимулов для поставщиков ликвидности и трейдеров с целью достижения полностью параллелизуемого шардированного AMM.
Раскрытие личной информации в конкурентной механике
Профессор Андреа Аттар из Римского университета Тор Вергата изучит новые подходы к проектированию рыночных механизмов, исследуя влияние частного раскрытия информации проектировщиками агентам на рыночные результаты и стратегическое взаимодействие.
Генерация смарт-контрактов Sui на основе крупных языковых моделей
Профессора Кен Кедингер и Исон Чен из Университета Карнеги-Меллон будут стремиться решить текущие проблемы крупных языковых моделей в генерации умных контрактов на языке Move. Исследование включает в себя сбор примеров данных языка Move, улучшение инженерии подсказок и реализацию тонкой настройки моделей.
Сравнительная метрика переходного фреймворка Move
Профессор Джордж Гиаглис из Университета Никосии проведет всесторонний сравнительный анализ языков Solidity и Move, с целью углубленного понимания функций и возможностей Move, а также помощи разработчикам в более плавном переходе к разработке на Move.
Оптимизация DeFi: методы глубокого обучения
Профессора Рашид Герауи и Уалид Софиан из Федеральной политехнической школы Лозанны разработают гибридную модель глубокого обучения для оптимального прогнозирования диапазонов в протоколе Sui DeFi, сочетая усовершенствованные рекуррентные нейронные сети, глубокое усиленное обучение и анализ настроений в социальных сетях.
Оценка способности прогнозирования волатильности SUI
Профессор Ставрос Дегианнаксис из Открытого университета Кипра будет исследовать эффективность алгоритма SPEC в прогнозировании волатильности активов Sui, с основным вниманием на активы SUI и верификацией на других блокчейн-активах.
низкоемкие постквантовые прозрачные zkSNARKs
Профессора Бретт Фальк и Пратйуш Мишра из Университета Пенсильвании занимаются разработкой масштабируемых zkSNARK, решая основные препятствия, такие как временная сложность доказателя, пространственная сложность и размер SRS, чтобы предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
5 Лайков
Награда
5
6
Поделиться
комментарий
0/400
ForeverBuyingDips
· 08-06 09:55
Боже мой, не могли бы вы дать несколько практических проектов, зачем говорить об этих абстракциях?
Посмотреть ОригиналОтветить0
nft_widow
· 08-06 09:51
Неужели рисовая бочка почти пустая?
Посмотреть ОригиналОтветить0
BlockchainBouncer
· 08-06 09:50
Когда начнется второй раунд Hard Sui? Ждем уже долго.
Посмотреть ОригиналОтветить0
MoonRocketman
· 08-06 09:48
Подъем тренд очевиден объем RSI более важен, чем держитеся выше 400000 долларов США окно запуска
Посмотреть ОригиналОтветить0
MetaverseVagrant
· 08-06 09:46
Эх, деньги не дают нам розничным инвесторам.
Посмотреть ОригиналОтветить0
BlockchainFoodie
· 08-06 09:32
подаем сочные гранты web3, как свежую партию дампингов defi... настоящая доказательство застейкать в вкусе fr
Объявлена новая волна академической программы финансирования Sui, 17 проектов Блокчейн получили поддержку в размере 425000 долларов США.
Результаты нового раунда финансирования академических исследований Sui объявлены: участвуют множество известных университетов мира, 17 проектов получили более 420000 долларов США.
Недавно Фонд Sui опубликовал список победителей новой программы финансирования академических исследований. Эта программа направлена на поддержку исследовательских проектов, способствующих развитию Web3, особенно в области передовых исследований технологий блокчейн-сетей, программирования смарт-контрактов и продуктов, построенных на основе Sui.
В ходе последних двух этапов было одобрено 17 исследовательских предложений от международно известных университетов, общий объем финансирования составил 425 000 долларов США. Участвующие вузы включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Сингапурский национальный университет.
Обзор финансируемых проектов
Исследование разнообразия децентрализованных автономных организаций
Профессор Ари Юэлс из Корнеллского университета будет исследовать природу децентрализованных организаций. Проект создаст показатели для оценки уровня децентрализации DAO и исследует практические методы повышения уровня децентрализации внутри организации.
адаптивный безопасный асинхронный DAG консенсусный протокол
Профессор Филипп Йованович из Университетского колледжа Лондона предложил разработать асинхронный DAG-протокол для повышения устойчивости к атакам и адаптации к изменяющейся угрозе. Протокол призван обеспечить более высокую безопасность и адаптивность, сохраняя при этом уровень производительности, близкий к частично синхронным противникам.
Аудит смарт-контрактов Sui на основе крупных языковых моделей
Профессор Артур Джервейс из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения процесса аудита смарт-контрактов Move. Команда ранее проанализировала 52 смарт-контракта DeFi на Solidity и обнаружила уязвимости, которые привели к потерям почти в 1 миллиард долларов, теперь они расширяют свое исследование на смарт-контракты Sui.
Панорама области консенсусных протоколов
Профессор Кристофер Качин из Университета Берна проведет всестороннее исследование текущей области консенсуса, предоставив новые идеи для криптографических протоколов консенсуса. Результаты исследований помогут глубже понять существующие алгоритмы и предложить новые идеи для проектирования распределенных протоколов.
Децентрализованный протокол верификации оракулов
Профессор Жизель Рейс из Университета Карнеги-Меллон и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Проект будет разрабатывать обширную библиотеку определений и стратегий доказательства в системе управления доказательствами Coq.
Идентификация узких мест масштабируемости блокчейна
Профессор Роджер Уаттенхофер из Федеральной политехнической школы Цюриха будет заниматься выявлением узких мест масштабируемости, возникающих из-за дефектов проектирования смарт-контрактов, и исследовать влияние корректировки сборов за транзакции на потенциал параллелизации.
Механизированная верификация протокола Bullshark
Профессор Илья Сергеев из Национального университета Сингапура планирует использовать современные инструменты компьютерной помощи для формальной верификации свойств протокола Bullshark, продвигая понимание основанных на DAG согласительных протоколов.
Базовая стандартизация блокчейна
Профессор Генри Ф. Корт из Университета Лехай предложил создать стандартизированный формат бенчмаркинга блокчейна для справедливого сравнения блокчейнов уровня L1 и решений по расширению уровня L2, чтобы предоставить пользователям и разработчикам прозрачные данные о производительности цепочки.
Расширяемый децентрализованный слой общего сортировки
Профессор Мин Сук Канг из Корейского института науки и технологий исследует использование Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая несколько решений Rollup, использующих Sui в качестве слоя сортировки.
Оптимизация местного рынка сборов и цен на основе загруженности
Профессор Абдулай Ндиайе из Нью-Йоркского университета будет исследовать местный рынок сборов для оптимизации механизмов ценообразования на основе загруженности блокчейн-сетей с целью создания эффективной модели ценообразования, отражающей состояние загруженности сети.
Механизм автоматического маркет-мейкинга для шардирования
Профессор Иттай Эйаль из Техниона (Израильский технологический институт) разрабатывает концепцию шардированных контрактов, используя несколько контрактов для повышения параллелизма. Исследование сосредоточено на настройке систем стимулов для поставщиков ликвидности и трейдеров с целью достижения полностью параллелизуемого шардированного AMM.
Раскрытие личной информации в конкурентной механике
Профессор Андреа Аттар из Римского университета Тор Вергата изучит новые подходы к проектированию рыночных механизмов, исследуя влияние частного раскрытия информации проектировщиками агентам на рыночные результаты и стратегическое взаимодействие.
Генерация смарт-контрактов Sui на основе крупных языковых моделей
Профессора Кен Кедингер и Исон Чен из Университета Карнеги-Меллон будут стремиться решить текущие проблемы крупных языковых моделей в генерации умных контрактов на языке Move. Исследование включает в себя сбор примеров данных языка Move, улучшение инженерии подсказок и реализацию тонкой настройки моделей.
Сравнительная метрика переходного фреймворка Move
Профессор Джордж Гиаглис из Университета Никосии проведет всесторонний сравнительный анализ языков Solidity и Move, с целью углубленного понимания функций и возможностей Move, а также помощи разработчикам в более плавном переходе к разработке на Move.
Оптимизация DeFi: методы глубокого обучения
Профессора Рашид Герауи и Уалид Софиан из Федеральной политехнической школы Лозанны разработают гибридную модель глубокого обучения для оптимального прогнозирования диапазонов в протоколе Sui DeFi, сочетая усовершенствованные рекуррентные нейронные сети, глубокое усиленное обучение и анализ настроений в социальных сетях.
Оценка способности прогнозирования волатильности SUI
Профессор Ставрос Дегианнаксис из Открытого университета Кипра будет исследовать эффективность алгоритма SPEC в прогнозировании волатильности активов Sui, с основным вниманием на активы SUI и верификацией на других блокчейн-активах.
низкоемкие постквантовые прозрачные zkSNARKs
Профессора Бретт Фальк и Пратйуш Мишра из Университета Пенсильвании занимаются разработкой масштабируемых zkSNARK, решая основные препятствия, такие как временная сложность доказателя, пространственная сложность и размер SRS, чтобы предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.