Объявление о новом раунде наград для академических исследований Фонда Sui: участие ведущих университетов мира, 17 проектов получили более 420000 долларов США.
Недавно Фонд Sui объявил о результатах последнего раунда награждения исследовательских работ. Программа направлена на финансирование исследовательских проектов, способствующих развитию технологии Web3, особенно в таких областях, как блокчейн-сети, программирование смарт-контрактов и приложения, построенные на основе Sui.
В этом раунде было одобрено 17 исследовательских предложений от международно известных университетов, общая сумма финансирования составила 425 000 долларов США. Участвующие университеты включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура, среди других ведущих учебных заведений мира.
Обзор награжденных проектов
Исследование разнообразия децентрализованных автономных организаций ( DAO )
Исследовательская группа Корнеллского университета будет исследовать сущностное значение DAO, разработает систему показателей для измерения степени децентрализованности и предложит практические методы для усиления децентрализованности внутри организации.
Адаптивный безопасный асинхронный DAG консенсусный протокол
Исследователи Университетского колледжа Лондона работают над разработкой протокола асинхронного направленного ациклического графа (DAG), чтобы повысить способность системы противостоять атакам и адаптироваться к постоянно меняющимся стратегиям противника. Этот протокол нацелен на обеспечение более высокой безопасности и адаптивности, сохраняя при этом уровень производительности, близкий к частично синхронным противникам.
Аудит смарт-контрактов Sui на основе крупных языковых моделей
Еще одна команда из Лондонского университета колледжа будет использовать современные большие языковые модели, такие как GPT-4 и Claude, для проведения аудита безопасности смарт-контрактов Move на платформе Sui. Этот проект основан на предварительном анализе 52 DeFi контрактов на Solidity и будет дополнительно расширен на экосистему Sui, подчеркивая важность своевременной и надежной оценки безопасности.
Исследование в области консенсусных протоколов
Проект Бернского университета проведет всестороннее исследование текущей области согласительных протоколов, предоставив новые идеи для криптографических согласительных протоколов, что поможет лучше понять существующие алгоритмы и даст новые идеи для проектирования распределенных протоколов.
Высоконадежная верификационная структура децентрализованных оракулов
Исследование, проведенное Университетом Карнеги-Меллон в сотрудничестве с Djed Alliance, направлено на создание структуры для строгого анализа и проверки блокчейн-оракулов с использованием формальных методов. Этот проект будет использовать систему управления доказательствами Coq для разработки обширной библиотеки определений и стратегий доказательства.
Идентификация узких мест в масштабируемости блокчейна
Команда Федеральной политехнической школы Цюриха будет сосредоточена на выявлении узких мест производительности, вызванных недостатками в дизайне смарт-контрактов, с целью повышения параллельной обработки в блокчейн-приложениях. Исследование также будет изучать влияние регулировки комиссий за транзакции на потенциал параллелизации.
Формальная проверка протокола Bullshark
Исследователи Национального университета Сингапура будут использовать современные инструменты компьютерной верификации для формальной проверки протокола Bullshark, продвигая понимание консенсусных протоколов на основе DAG и предоставляя первую механически проверенную модель для исследований распределенных систем.
Стандартная рамка для блокчейн-бенчмаркинга (BBSF)
Проект Университета Лихай нацелен на создание единого стандартизированного формата для блокчейна, который позволит справедливо сравнивать решения блокчейна разных уровней и предоставлять пользователям и разработчикам прозрачные данные о производительности.
可扩展ная децентрализованная общая сортировочная платформа
Исследование Корейского института науки и технологий будет изучать применение Bullshark/Mysticeti в качестве алгоритма общих сортировщиков, а также исследовать несколько решений Rollup, использующих Sui в качестве уровня сортировки.
Оптимизация местного рынка сборов и цен на заторы
Команда Нью-Йоркского университета будет исследовать местный рынок сборов для оптимизации механизма ценообразования на основе загруженности блокчейн-сетей, стремясь создать эффективную модель ценообразования, отражающую состояние загруженности сети, для достижения оптимального распределения ресурсов.
Автоматизированный маркет-мейкер ( SAMM )
Технологический институт Израиля разрабатывает новую концепцию шардирования контрактов, используя несколько контрактов для повышения параллелизма. Это исследование будет исследовать, как адаптировать механизмы стимулов для поставщиков ликвидности и трейдеров, чтобы поддерживать несколько шардированных AMM и реализовать полностью параллелизуемый шардированный AMM.
Раскрытие личной информации в конкурентных механизмах
Исследование Римского университета Торвальда изучает новые подходы к проектированию рыночных механизмов, сосредотачиваясь на конкуренции между продавцами за привлечение осведомленных покупателей. Проект будет исследовать влияние конфиденциального раскрытия информации дизайнерами агентам на результаты рынка, с целью предоставить глубокое понимание современных рыночных динамик.
Генерация смарт-контрактов Sui на основе крупных языковых моделей
Исследовательская группа Университета Карнеги-Меллона будет дорабатывать крупные языковые модели с помощью кода Move и конкретных подсказок Sui, чтобы решить текущие проблемы LLM при генерации смарт-контрактов на языке Move.
COMET: Сравнительная основа перехода на язык Move
Проект Университета Никосии будет проводить всесторонний сравнительный анализ между языками Solidity и Move, с целью содействия глубокому пониманию функций и возможностей Move, а также помочь разработчикам легче перейти к разработке на Move.
Оптимизация Sui DeFi на основе глубокого обучения
Исследование Федеральной политехнической школы Лозанны разработает гибридную модель глубинного обучения для оптимального прогнозирования диапазонов в протоколе Sui DeFi. Модель сочетает в себе улучшенные рекуррентные нейронные сети и глубокое обучение с подкреплением, одновременно интегрируя анализ чувствительности в социальных сетях для повышения точности прогнозов.
Оценка способности предсказания волатильности SUI
Команда Открытого университета Кипра проведет исследование эффективности алгоритма SPEC в прогнозировании волатильности активов Sui. В исследовании будут использованы высокочастотные ценовые данные, с основным акцентом на SUI, и проведена проверка на различных блокчейн-активах.
низковесные постквантовые прозрачные zkSNARKs
Исследование Университета Пенсильвании направлено на разработку масштабируемых zkSNARK, одновременно решая три основных препятствия: временную сложность доказателя, пространственную сложность и размер SRS, чтобы предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.
Эти исследовательские проекты охватывают несколько передовых областей технологии блокчейн, от механизмов консенсуса и безопасности смарт-контрактов до децентрализованных финансов и защиты конфиденциальности, что отражает постоянную приверженность фонда Sui к продвижению инноваций в области технологии блокчейн. Поддерживая исследования этих ведущих академических учреждений, экосистема Sui, как ожидается, достигнет прорывных успехов в будущем.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
9 Лайков
Награда
9
5
Репост
Поделиться
комментарий
0/400
SmartContractRebel
· 08-09 06:43
Смешно, что всего лишь 42 тысячи долларов хотят войти в эти лучшие учебные заведения?
Посмотреть ОригиналОтветить0
SchrödingersNode
· 08-09 04:07
Эх, как некрасиво ты ешь, помощь ни к чему.
Посмотреть ОригиналОтветить0
AirdropworkerZhang
· 08-09 03:57
Эти деньги действительно недостаточно, чтобы сделать несколько KDA.
Посмотреть ОригиналОтветить0
NoodlesOrTokens
· 08-09 03:52
Всего 42 тыс. долларов, и уже разразился скандал?
Посмотрите, сколько денег уходит на научные пожертвования в BTC.
Посмотреть ОригиналОтветить0
GhostWalletSleuth
· 08-09 03:49
Исследовательских средств так мало, что их не хватает даже на один день газ.
Фонд Sui распределение 420000 долларов США на академические исследования. 17 ведущих университетов мира были выбраны.
Объявление о новом раунде наград для академических исследований Фонда Sui: участие ведущих университетов мира, 17 проектов получили более 420000 долларов США.
Недавно Фонд Sui объявил о результатах последнего раунда награждения исследовательских работ. Программа направлена на финансирование исследовательских проектов, способствующих развитию технологии Web3, особенно в таких областях, как блокчейн-сети, программирование смарт-контрактов и приложения, построенные на основе Sui.
В этом раунде было одобрено 17 исследовательских предложений от международно известных университетов, общая сумма финансирования составила 425 000 долларов США. Участвующие университеты включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура, среди других ведущих учебных заведений мира.
Обзор награжденных проектов
Исследование разнообразия децентрализованных автономных организаций ( DAO )
Исследовательская группа Корнеллского университета будет исследовать сущностное значение DAO, разработает систему показателей для измерения степени децентрализованности и предложит практические методы для усиления децентрализованности внутри организации.
Адаптивный безопасный асинхронный DAG консенсусный протокол
Исследователи Университетского колледжа Лондона работают над разработкой протокола асинхронного направленного ациклического графа (DAG), чтобы повысить способность системы противостоять атакам и адаптироваться к постоянно меняющимся стратегиям противника. Этот протокол нацелен на обеспечение более высокой безопасности и адаптивности, сохраняя при этом уровень производительности, близкий к частично синхронным противникам.
Аудит смарт-контрактов Sui на основе крупных языковых моделей
Еще одна команда из Лондонского университета колледжа будет использовать современные большие языковые модели, такие как GPT-4 и Claude, для проведения аудита безопасности смарт-контрактов Move на платформе Sui. Этот проект основан на предварительном анализе 52 DeFi контрактов на Solidity и будет дополнительно расширен на экосистему Sui, подчеркивая важность своевременной и надежной оценки безопасности.
Исследование в области консенсусных протоколов
Проект Бернского университета проведет всестороннее исследование текущей области согласительных протоколов, предоставив новые идеи для криптографических согласительных протоколов, что поможет лучше понять существующие алгоритмы и даст новые идеи для проектирования распределенных протоколов.
Высоконадежная верификационная структура децентрализованных оракулов
Исследование, проведенное Университетом Карнеги-Меллон в сотрудничестве с Djed Alliance, направлено на создание структуры для строгого анализа и проверки блокчейн-оракулов с использованием формальных методов. Этот проект будет использовать систему управления доказательствами Coq для разработки обширной библиотеки определений и стратегий доказательства.
Идентификация узких мест в масштабируемости блокчейна
Команда Федеральной политехнической школы Цюриха будет сосредоточена на выявлении узких мест производительности, вызванных недостатками в дизайне смарт-контрактов, с целью повышения параллельной обработки в блокчейн-приложениях. Исследование также будет изучать влияние регулировки комиссий за транзакции на потенциал параллелизации.
Формальная проверка протокола Bullshark
Исследователи Национального университета Сингапура будут использовать современные инструменты компьютерной верификации для формальной проверки протокола Bullshark, продвигая понимание консенсусных протоколов на основе DAG и предоставляя первую механически проверенную модель для исследований распределенных систем.
Стандартная рамка для блокчейн-бенчмаркинга (BBSF)
Проект Университета Лихай нацелен на создание единого стандартизированного формата для блокчейна, который позволит справедливо сравнивать решения блокчейна разных уровней и предоставлять пользователям и разработчикам прозрачные данные о производительности.
可扩展ная децентрализованная общая сортировочная платформа
Исследование Корейского института науки и технологий будет изучать применение Bullshark/Mysticeti в качестве алгоритма общих сортировщиков, а также исследовать несколько решений Rollup, использующих Sui в качестве уровня сортировки.
Оптимизация местного рынка сборов и цен на заторы
Команда Нью-Йоркского университета будет исследовать местный рынок сборов для оптимизации механизма ценообразования на основе загруженности блокчейн-сетей, стремясь создать эффективную модель ценообразования, отражающую состояние загруженности сети, для достижения оптимального распределения ресурсов.
Автоматизированный маркет-мейкер ( SAMM )
Технологический институт Израиля разрабатывает новую концепцию шардирования контрактов, используя несколько контрактов для повышения параллелизма. Это исследование будет исследовать, как адаптировать механизмы стимулов для поставщиков ликвидности и трейдеров, чтобы поддерживать несколько шардированных AMM и реализовать полностью параллелизуемый шардированный AMM.
Раскрытие личной информации в конкурентных механизмах
Исследование Римского университета Торвальда изучает новые подходы к проектированию рыночных механизмов, сосредотачиваясь на конкуренции между продавцами за привлечение осведомленных покупателей. Проект будет исследовать влияние конфиденциального раскрытия информации дизайнерами агентам на результаты рынка, с целью предоставить глубокое понимание современных рыночных динамик.
Генерация смарт-контрактов Sui на основе крупных языковых моделей
Исследовательская группа Университета Карнеги-Меллона будет дорабатывать крупные языковые модели с помощью кода Move и конкретных подсказок Sui, чтобы решить текущие проблемы LLM при генерации смарт-контрактов на языке Move.
COMET: Сравнительная основа перехода на язык Move
Проект Университета Никосии будет проводить всесторонний сравнительный анализ между языками Solidity и Move, с целью содействия глубокому пониманию функций и возможностей Move, а также помочь разработчикам легче перейти к разработке на Move.
Оптимизация Sui DeFi на основе глубокого обучения
Исследование Федеральной политехнической школы Лозанны разработает гибридную модель глубинного обучения для оптимального прогнозирования диапазонов в протоколе Sui DeFi. Модель сочетает в себе улучшенные рекуррентные нейронные сети и глубокое обучение с подкреплением, одновременно интегрируя анализ чувствительности в социальных сетях для повышения точности прогнозов.
Оценка способности предсказания волатильности SUI
Команда Открытого университета Кипра проведет исследование эффективности алгоритма SPEC в прогнозировании волатильности активов Sui. В исследовании будут использованы высокочастотные ценовые данные, с основным акцентом на SUI, и проведена проверка на различных блокчейн-активах.
низковесные постквантовые прозрачные zkSNARKs
Исследование Университета Пенсильвании направлено на разработку масштабируемых zkSNARK, одновременно решая три основных препятствия: временную сложность доказателя, пространственную сложность и размер SRS, чтобы предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.
Эти исследовательские проекты охватывают несколько передовых областей технологии блокчейн, от механизмов консенсуса и безопасности смарт-контрактов до децентрализованных финансов и защиты конфиденциальности, что отражает постоянную приверженность фонда Sui к продвижению инноваций в области технологии блокчейн. Поддерживая исследования этих ведущих академических учреждений, экосистема Sui, как ожидается, достигнет прорывных успехов в будущем.
Посмотрите, сколько денег уходит на научные пожертвования в BTC.