Объявлено о новом раунде финансирования академических исследований Sui: участие всемирно известных университетов, 17 проектов получили более 420000 долларов США
Недавно Фонд Sui объявил список лауреатов нового раунда финансирования академических исследований. Эта программа направлена на финансирование исследований, способствующих развитию Web3, особенно в области технологий, связанных с блокчейн-сетями, программированием смарт-контрактов и продуктами, построенными на базе Sui.
На протяжении последних двух этапов фонд одобрил предложения от 17 международно известных университетов, общий объем финансирования составил 425 000 долларов. Участвующие университеты включают Корейский институт науки и технологий, Университет колледжа Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.
Введение в финансируемый проект
DAOs: разнообразие голосующих групп
Профессор Ари Джуелс из Корнеллского университета будет исследовать основные значения децентрализованных организаций, разработает показатели для оценки степени децентрализации DAO и изучит практические методы, способствующие повышению децентрализации внутри организаций.
Адаптивный безопасный асинхронный консенсус протокола DAG
Команда Филиппа Йовановича из Университетского колледжа Лондона занимается разработкой асинхронного DAG-протокола для повышения устойчивости к атакам и адаптации к изменяющейся угрозе. Этот протокол нацелен на обеспечение лучшей безопасности и адаптивности, при этом сохраняя уровень производительности, близкий к частично синхронным оппонентам.
Аудит смарт-контрактов Sui под руководством крупной языковой модели
Команда Артура Жерве из Университетского колледжа Лондона будет использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения аудита смарт-контрактов Move. Их предварительное исследование выявило уязвимости в 52 смарт-контрактах Solidity DeFi, которые привели к потерям почти в 1 миллиард долларов. Этот проект расширяет данное исследование на смарт-контракты Sui.
область согласия по маппингу
Профессор Кристофер Качин из Университета Берна проведет всестороннее исследование текущей области консенсуса, чтобы предоставить новые идеи для криптографических протоколов консенсуса, что поможет лучше понять существующие алгоритмы и предложить новые подходы к проектированию распределенных протоколов.
Высоконадежная верификационная структура децентрализованного оракула
Гизель Рейс из Университета Карнеги-Меллона и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с помощью формализованных методов. Этот проект будет использовать систему управления доказательствами Coq для разработки исчерпывающей библиотеки определений и стратегий доказательства.
Определение узких мест масштабируемости
Команда Роджера Ваттенхофера из Федеральной полиции Цюриха будет выявлять узкие места, возникающие из-за недостатков в дизайне смарт-контрактов, чтобы повысить потенциал параллелизации блокчейн-приложений. Они также будут исследовать влияние корректировки торговых сборов на параллелизацию.
Механизация протокола Bullshark
Профессор Илья Сергеев из Национального университета Сингапура будет использовать современные инструменты компьютерной верификации для формальной проверки свойств Bullshark, продвигая понимание консенсусного протокола на основе DAG.
BBSF: Стандартный рамочный стандарт блокчейна
Профессор Генри Ф. Корт из Университета Лихай создаст стандартизированный формат для бенчмаркинга блокчейнов, чтобы справедливо сравнивать L1 блокчейны и L2 схемы расширения, предоставляя пользователям и разработчикам прозрачные сведения о производительности цепи.
Создание масштабируемого и децентрализованного слоя совместных последовательностей
Команда Мин Сук Кана из Корейского института науки и технологий будет исследовать использование Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая несколько Rollup, использующих Sui в качестве слоя сортировки.
используется для локального рынка сборов по оптимальному ценообразованию на перегрузки
Профессор Абдулай Ндиай из Нью-Йоркского университета будет исследовать местный рынок сборов для оптимизации цен на заторы, создавая эффективный механизм ценообразования, отражающий состояние заторов, для достижения наилучшего распределения ресурсов.
SAMM: Автоматический маркет-мейкер на основе фрагментации
Команда Иттая Эяла из Технического института Израиля разрабатывает концепцию шардирования контрактов, используя несколько контрактов для увеличения параллельности. Они собираются скорректировать стимулы для поставщиков ликвидности и трейдеров, чтобы поддерживать несколько шардов AMM.
Частная раскрытие в конкурентных механизмах
Профессор Андреа Аттар из Университета Ромато́рвията исследует новые методы проектирования рыночных механизмов, изучая влияние раскрытия информации проектировщиками агентам на рыночные результаты и стратегическое взаимодействие.
Применение крупных языковых моделей для генерации Sui смарт-контрактов
Кен Кодингер и Исон Чен из Университета Карнеги-Меллон будут дорабатывать большие языковые модели, используя код Move и специфические подсказки Sui, чтобы решить проблемы, связанные с генерацией смарт-контрактов на языке Move.
COMET: переход к сравнительным измерениям и рамкам Move
Профессор Джордж Гиаглис из Университета Никосии завершит всесторонний сравнительный анализ между Solidity и Move, способствуя более глубокому пониманию функциональности и возможностей Move.
Революционный DeFi: оптимизация ликвидности и динамических сборов на Sui с помощью методов глубокого обучения
Рашид Гуеррауи и Уалид Софиан из Федеральной политехнической школы Лозанны разработают гибридную модель глубокого обучения для оптимального предсказания диапазона в протоколе Sui DeFi, интегрируя анализ эмоционального фона социальных медиа для повышения точности.
Оценка способности прогнозирования волатильности SUI
Профессор Ставрос Дегианнакс из Открытого университета Кипра будет исследовать эффективность алгоритма SPEC в прогнозировании волатильности активов Sui, с основным вниманием на SUI и верификацией на различных блокчейн-активах.
низкая память после квантовых прозрачных zkSNARKs
Бретт Фалк и Пратйуш Мишра из Университета Пенсильвании будут работать над разработкой масштабируемых zkSNARK, одновременно решая три основные проблемы: временная сложность доказателя, пространственная сложность и размер SRS.
Эти исследовательские проекты охватывают несколько передовых областей блокчейн-технологий, от децентрализованного управления до безопасности смарт-контрактов, от механизмов консенсуса до верификации оракулов, что отражает внимание экосистемы Sui к академическим инновациям. Поддерживая эти высококачественные исследовательские проекты, Фонд Sui стремится способствовать общему развитию блокчейн-технологий и заложить прочную теоретическую и техническую основу для будущего Web3.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
14 Лайков
Награда
14
7
Репост
Поделиться
комментарий
0/400
APY追逐者
· 07-23 04:17
42w действительно выглядит немного скромно
Посмотреть ОригиналОтветить0
WalletManager
· 07-22 14:57
Аудиторские способности улучшились, рынок тоже должен пAMP.
Фонд Sui объявил о новом раунде академического финансирования: 17 проектов получили 420 тысяч долларов, в которых участвуют мировые университеты.
Объявлено о новом раунде финансирования академических исследований Sui: участие всемирно известных университетов, 17 проектов получили более 420000 долларов США
Недавно Фонд Sui объявил список лауреатов нового раунда финансирования академических исследований. Эта программа направлена на финансирование исследований, способствующих развитию Web3, особенно в области технологий, связанных с блокчейн-сетями, программированием смарт-контрактов и продуктами, построенными на базе Sui.
На протяжении последних двух этапов фонд одобрил предложения от 17 международно известных университетов, общий объем финансирования составил 425 000 долларов. Участвующие университеты включают Корейский институт науки и технологий, Университет колледжа Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.
Введение в финансируемый проект
DAOs: разнообразие голосующих групп
Профессор Ари Джуелс из Корнеллского университета будет исследовать основные значения децентрализованных организаций, разработает показатели для оценки степени децентрализации DAO и изучит практические методы, способствующие повышению децентрализации внутри организаций.
Адаптивный безопасный асинхронный консенсус протокола DAG
Команда Филиппа Йовановича из Университетского колледжа Лондона занимается разработкой асинхронного DAG-протокола для повышения устойчивости к атакам и адаптации к изменяющейся угрозе. Этот протокол нацелен на обеспечение лучшей безопасности и адаптивности, при этом сохраняя уровень производительности, близкий к частично синхронным оппонентам.
Аудит смарт-контрактов Sui под руководством крупной языковой модели
Команда Артура Жерве из Университетского колледжа Лондона будет использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения аудита смарт-контрактов Move. Их предварительное исследование выявило уязвимости в 52 смарт-контрактах Solidity DeFi, которые привели к потерям почти в 1 миллиард долларов. Этот проект расширяет данное исследование на смарт-контракты Sui.
область согласия по маппингу
Профессор Кристофер Качин из Университета Берна проведет всестороннее исследование текущей области консенсуса, чтобы предоставить новые идеи для криптографических протоколов консенсуса, что поможет лучше понять существующие алгоритмы и предложить новые подходы к проектированию распределенных протоколов.
Высоконадежная верификационная структура децентрализованного оракула
Гизель Рейс из Университета Карнеги-Меллона и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с помощью формализованных методов. Этот проект будет использовать систему управления доказательствами Coq для разработки исчерпывающей библиотеки определений и стратегий доказательства.
Определение узких мест масштабируемости
Команда Роджера Ваттенхофера из Федеральной полиции Цюриха будет выявлять узкие места, возникающие из-за недостатков в дизайне смарт-контрактов, чтобы повысить потенциал параллелизации блокчейн-приложений. Они также будут исследовать влияние корректировки торговых сборов на параллелизацию.
Механизация протокола Bullshark
Профессор Илья Сергеев из Национального университета Сингапура будет использовать современные инструменты компьютерной верификации для формальной проверки свойств Bullshark, продвигая понимание консенсусного протокола на основе DAG.
BBSF: Стандартный рамочный стандарт блокчейна
Профессор Генри Ф. Корт из Университета Лихай создаст стандартизированный формат для бенчмаркинга блокчейнов, чтобы справедливо сравнивать L1 блокчейны и L2 схемы расширения, предоставляя пользователям и разработчикам прозрачные сведения о производительности цепи.
Создание масштабируемого и децентрализованного слоя совместных последовательностей
Команда Мин Сук Кана из Корейского института науки и технологий будет исследовать использование Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая несколько Rollup, использующих Sui в качестве слоя сортировки.
используется для локального рынка сборов по оптимальному ценообразованию на перегрузки
Профессор Абдулай Ндиай из Нью-Йоркского университета будет исследовать местный рынок сборов для оптимизации цен на заторы, создавая эффективный механизм ценообразования, отражающий состояние заторов, для достижения наилучшего распределения ресурсов.
SAMM: Автоматический маркет-мейкер на основе фрагментации
Команда Иттая Эяла из Технического института Израиля разрабатывает концепцию шардирования контрактов, используя несколько контрактов для увеличения параллельности. Они собираются скорректировать стимулы для поставщиков ликвидности и трейдеров, чтобы поддерживать несколько шардов AMM.
Частная раскрытие в конкурентных механизмах
Профессор Андреа Аттар из Университета Ромато́рвията исследует новые методы проектирования рыночных механизмов, изучая влияние раскрытия информации проектировщиками агентам на рыночные результаты и стратегическое взаимодействие.
Применение крупных языковых моделей для генерации Sui смарт-контрактов
Кен Кодингер и Исон Чен из Университета Карнеги-Меллон будут дорабатывать большие языковые модели, используя код Move и специфические подсказки Sui, чтобы решить проблемы, связанные с генерацией смарт-контрактов на языке Move.
COMET: переход к сравнительным измерениям и рамкам Move
Профессор Джордж Гиаглис из Университета Никосии завершит всесторонний сравнительный анализ между Solidity и Move, способствуя более глубокому пониманию функциональности и возможностей Move.
Революционный DeFi: оптимизация ликвидности и динамических сборов на Sui с помощью методов глубокого обучения
Рашид Гуеррауи и Уалид Софиан из Федеральной политехнической школы Лозанны разработают гибридную модель глубокого обучения для оптимального предсказания диапазона в протоколе Sui DeFi, интегрируя анализ эмоционального фона социальных медиа для повышения точности.
Оценка способности прогнозирования волатильности SUI
Профессор Ставрос Дегианнакс из Открытого университета Кипра будет исследовать эффективность алгоритма SPEC в прогнозировании волатильности активов Sui, с основным вниманием на SUI и верификацией на различных блокчейн-активах.
низкая память после квантовых прозрачных zkSNARKs
Бретт Фалк и Пратйуш Мишра из Университета Пенсильвании будут работать над разработкой масштабируемых zkSNARK, одновременно решая три основные проблемы: временная сложность доказателя, пространственная сложность и размер SRS.
Эти исследовательские проекты охватывают несколько передовых областей блокчейн-технологий, от децентрализованного управления до безопасности смарт-контрактов, от механизмов консенсуса до верификации оракулов, что отражает внимание экосистемы Sui к академическим инновациям. Поддерживая эти высококачественные исследовательские проекты, Фонд Sui стремится способствовать общему развитию блокчейн-технологий и заложить прочную теоретическую и техническую основу для будущего Web3.