Объявление результатов нового раунда научной исследовательской премии Sui: участие всемирно известных университетов, 17 проектов получили 420000 долларов США.
Недавно фонд Sui обнародовал список победителей нового раунда наград Sui за академические исследования. Эта программа направлена на финансирование исследований, способствующих развитию Web3, с особым вниманием к прорывам в технологиях блокчейн-сетей, программирования смарт-контрактов и продуктов, построенных на основе Sui.
В течение прошедших двух этапов было одобрено 17 предложений от международно известных университетов, общая сумма финансирования составила 425,000 долларов США. Участвующие вузы включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.
Обзор выигрышного предложения
Исследование разнообразия голосования в децентрализованных автономных организациях ( DAOs )
Команда профессора Ари Джуелса из Корнеллского университета будет изучать природу децентрализованных организаций, разрабатывать показатели для оценки степени децентрализации DAO и исследовать практические методы повышения децентрализации внутри организаций.
Адаптивный безопасный асинхронный DAG консенсусный протокол
Доктор Филипп Йованович из Университетского колледжа Лондона предложил разработать протокол асинхронного ориентированного ациклического графа (DAG) для повышения устойчивости к атакам и адаптации к постоянно меняющейся среде противников. Протокол нацелен на обеспечение лучшей безопасности и адаптивности, одновременно сохраняя уровень производительности, близкий к частично синхронной модели.
Аудит смарт-контрактов Sui на основе крупных языковых моделей
Команда профессора Артура Жерве из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения процесса аудита умных контрактов Move. Они будут основывать свои исследования на первоначальном анализе контрактов DeFi на Solidity и расширят область исследования на умные контракты Sui, подчеркивая необходимость своевременной и надежной оценки безопасности.
Систематическое исследование в области протоколов консенсуса паролей
Профессор Кристофер Качин из Университета Берна проведет всестороннее исследование текущей области консенсусных протоколов, предоставив новые идеи для криптографических консенсусных протоколов, что поможет лучше понять существующие алгоритмы и предложить новые подходы к проектированию распределенных протоколов.
Высоконадежная верификационная структура децентрализованного оракульного протокола
Доктор Гизель Рейс из Университета Карнеги-Меллон и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Это исследование будет использовать систему управления доказательствами Coq и разрабатывать полные определения и библиотеки стратегий доказательства.
Определение узких мест масштабируемости блокчейна
Команда профессора Роджера Ваттенхофера из Федеральной политехнической школы Цюриха будет заниматься выявлением узких мест в масштабируемости, возникающих из-за недостатков в проектировании смарт-контрактов, и исследовать, как изменение комиссий за транзакции может повлиять на потенциал параллелизации.
Профессор Илья Сергеев из Национального университета Сингапура будет использовать современные инструменты компьютерной проверки для формальной проверки свойств протокола Bullshark, продвигая понимание консенсусных протоколов на основе DAG и предоставляя первую механически проверенную модель для исследований в области распределенных систем.
Стандартная рамка для стандартизации блокчейна (BBSF)
Профессор Генри Ф. Корт из Университета Лехай предложил создать стандартный формат для бенчмаркинга блокчейнов, который призван обеспечить справедливое сравнение различных L1 блокчейнов и L2 решений для масштабирования, предоставляя пользователям и разработчикам прозрачное понимание производительности цепочек.
Создание масштабируемого и децентрализованного слоя общего упорядочивания
Профессор Мин Сук Канг из Корейского института науки и технологий будет исследовать возможность использования Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая, как несколько Rollup могут использовать Sui в качестве сортировочного уровня и интерпретировать транзакции на основе своих уровней исполнения.
Рынок местных сборов используется для оптимального ценообразования в условиях загруженности.
Профессор Абдулай Ндиай из Нью-Йоркского университета будет исследовать рынок местных сборов для оптимизации цен на заторы, исследуя аналогию между торговлей заторами и выполнением сделок в блокчейн-сетях с целью создания эффективного механизма ценообразования, отражающего состояние загруженности сети.
Автоматизированный маркет-мейкер по фрагментации (SAMM)
Команда профессора Иттая Эяла из Техниона в Израиле разрабатывает концепцию "шардинг-контрактов", используя несколько контрактов для увеличения параллельности. Исследование сосредоточено на корректировке механизмов стимулирования поставщиков ликвидности и трейдеров для поддержания нескольких AMM-шардов, что позволяет полностью параллелизовать AMM-шарды.
Раскрытие личной информации в конкурентных механизмах
Профессор Андреа Аттар из Римского университета Тори Вида будет исследовать новые подходы к проектированию рыночных механизмов, изучая влияние частного раскрытия информации проектировщиками агентам на рыночные результаты и стратегическое взаимодействие, с целью предоставить глубокое понимание современных рыночных динамик и конкуренции.
Использование крупных языковых моделей для генерации умных контрактов Sui
Кен Кодингер и Исон Чен из Университета Карнеги-Меллона будут исследовать, как с помощью кода Move и специфических подсказок Sui можно доработать крупные языковые модели для решения текущих проблем LLM в генерации интеллектуальных контрактов на языке Move.
COMET: Переход к языку Move - сравнительная оценка и структура
Команда профессора Джорджа Гиаглиса из Университета Никосии проведет всесторонний сравнительный анализ между Solidity и Move, с целью углубленного понимания функциональности и возможностей Move, а также создания структуры, которая поможет разработчикам легко перейти к разработке на Move.
Инновации DeFi: Оптимизация ликвидности и динамических сборов на Sui с помощью методов глубокого обучения
Рашид Гуеррауи и Уалид Софиан из Федеральной политехнической школы Лозанны разработают гибридную модель глубокого обучения для оптимального прогнозирования диапазона в протоколе Sui DeFi, сочетая усовершенствованные рекуррентные нейронные сети, глубокое обучение с подкреплением и анализ настроений в социальных сетях для повышения реакции протокола DeFi на изменения на рынке.
Оценка способности предсказания волатильности SUI
Профессор Ставрос Дегианнакис из Открытого университета Кипра будет исследовать эффективность алгоритма SPEC в прогнозировании волатильности активов Sui, используя высокочастотные данные о ценах, сосредоточив внимание в основном на SUI и проверяя его на других блокчейн-активах.
низкоэмоциональные посмертные прозрачные zkSNARKs
Бретт Фалк и Пратйуш Мишра из Университета Пенсильвании будут работать над разработкой масштабируемых zkSNARK, одновременно решая три основных препятствия: временная сложность доказателя, пространственная сложность и размер SRS, чтобы предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.
Эти исследовательские проекты охватывают несколько передовых областей технологии блокчейн, от оптимизации механизмов консенсуса до безопасности смарт-контрактов, от инноваций в DeFi до систем криптодоказательства. Их результаты, как ожидается, принесут важные прорывы для экосистемы Sui и всей индустрии блокчейн, способствуя дальнейшему развитию технологий Web3.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
6
Поделиться
комментарий
0/400
DefiPlaybook
· 16ч назад
值得 следовать инициативы
Посмотреть ОригиналОтветить0
LeekCutter
· 20ч назад
Академическая подготовка на высоком уровне и надежная.
Посмотреть ОригиналОтветить0
HackerWhoCares
· 07-31 13:52
Средства, похоже, немного недостаточно.
Посмотреть ОригиналОтветить0
YieldWhisperer
· 07-31 13:52
Перспективы очень хорошие
Посмотреть ОригиналОтветить0
SelfStaking
· 07-31 13:45
Сильные люди стоят инвестиций
Посмотреть ОригиналОтветить0
EyeOfTheTokenStorm
· 07-31 13:43
Снова начали тратить деньги, всего 420000, и им не стыдно об этом говорить.
Новые результаты научной премии Sui: 17 проектов получили 420 000 долларов США, участие приняли ведущие университеты мира
Объявление результатов нового раунда научной исследовательской премии Sui: участие всемирно известных университетов, 17 проектов получили 420000 долларов США.
Недавно фонд Sui обнародовал список победителей нового раунда наград Sui за академические исследования. Эта программа направлена на финансирование исследований, способствующих развитию Web3, с особым вниманием к прорывам в технологиях блокчейн-сетей, программирования смарт-контрактов и продуктов, построенных на основе Sui.
В течение прошедших двух этапов было одобрено 17 предложений от международно известных университетов, общая сумма финансирования составила 425,000 долларов США. Участвующие вузы включают Корейский научно-технический институт, Университет Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.
Обзор выигрышного предложения
Исследование разнообразия голосования в децентрализованных автономных организациях ( DAOs )
Команда профессора Ари Джуелса из Корнеллского университета будет изучать природу децентрализованных организаций, разрабатывать показатели для оценки степени децентрализации DAO и исследовать практические методы повышения децентрализации внутри организаций.
Адаптивный безопасный асинхронный DAG консенсусный протокол
Доктор Филипп Йованович из Университетского колледжа Лондона предложил разработать протокол асинхронного ориентированного ациклического графа (DAG) для повышения устойчивости к атакам и адаптации к постоянно меняющейся среде противников. Протокол нацелен на обеспечение лучшей безопасности и адаптивности, одновременно сохраняя уровень производительности, близкий к частично синхронной модели.
Аудит смарт-контрактов Sui на основе крупных языковых моделей
Команда профессора Артура Жерве из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4-32k и Claude-v2-100k, для улучшения процесса аудита умных контрактов Move. Они будут основывать свои исследования на первоначальном анализе контрактов DeFi на Solidity и расширят область исследования на умные контракты Sui, подчеркивая необходимость своевременной и надежной оценки безопасности.
Систематическое исследование в области протоколов консенсуса паролей
Профессор Кристофер Качин из Университета Берна проведет всестороннее исследование текущей области консенсусных протоколов, предоставив новые идеи для криптографических консенсусных протоколов, что поможет лучше понять существующие алгоритмы и предложить новые подходы к проектированию распределенных протоколов.
Высоконадежная верификационная структура децентрализованного оракульного протокола
Доктор Гизель Рейс из Университета Карнеги-Меллон и Бруно Вольценлогель Палео из Djed Alliance создадут структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Это исследование будет использовать систему управления доказательствами Coq и разрабатывать полные определения и библиотеки стратегий доказательства.
Определение узких мест масштабируемости блокчейна
Команда профессора Роджера Ваттенхофера из Федеральной политехнической школы Цюриха будет заниматься выявлением узких мест в масштабируемости, возникающих из-за недостатков в проектировании смарт-контрактов, и исследовать, как изменение комиссий за транзакции может повлиять на потенциал параллелизации.
Механизированная проверка протокола консенсуса Bullshark
Профессор Илья Сергеев из Национального университета Сингапура будет использовать современные инструменты компьютерной проверки для формальной проверки свойств протокола Bullshark, продвигая понимание консенсусных протоколов на основе DAG и предоставляя первую механически проверенную модель для исследований в области распределенных систем.
Стандартная рамка для стандартизации блокчейна (BBSF)
Профессор Генри Ф. Корт из Университета Лехай предложил создать стандартный формат для бенчмаркинга блокчейнов, который призван обеспечить справедливое сравнение различных L1 блокчейнов и L2 решений для масштабирования, предоставляя пользователям и разработчикам прозрачное понимание производительности цепочек.
Создание масштабируемого и децентрализованного слоя общего упорядочивания
Профессор Мин Сук Канг из Корейского института науки и технологий будет исследовать возможность использования Bullshark/Mysticeti в качестве алгоритма общего сортировщика, изучая, как несколько Rollup могут использовать Sui в качестве сортировочного уровня и интерпретировать транзакции на основе своих уровней исполнения.
Рынок местных сборов используется для оптимального ценообразования в условиях загруженности.
Профессор Абдулай Ндиай из Нью-Йоркского университета будет исследовать рынок местных сборов для оптимизации цен на заторы, исследуя аналогию между торговлей заторами и выполнением сделок в блокчейн-сетях с целью создания эффективного механизма ценообразования, отражающего состояние загруженности сети.
Автоматизированный маркет-мейкер по фрагментации (SAMM)
Команда профессора Иттая Эяла из Техниона в Израиле разрабатывает концепцию "шардинг-контрактов", используя несколько контрактов для увеличения параллельности. Исследование сосредоточено на корректировке механизмов стимулирования поставщиков ликвидности и трейдеров для поддержания нескольких AMM-шардов, что позволяет полностью параллелизовать AMM-шарды.
Раскрытие личной информации в конкурентных механизмах
Профессор Андреа Аттар из Римского университета Тори Вида будет исследовать новые подходы к проектированию рыночных механизмов, изучая влияние частного раскрытия информации проектировщиками агентам на рыночные результаты и стратегическое взаимодействие, с целью предоставить глубокое понимание современных рыночных динамик и конкуренции.
Использование крупных языковых моделей для генерации умных контрактов Sui
Кен Кодингер и Исон Чен из Университета Карнеги-Меллона будут исследовать, как с помощью кода Move и специфических подсказок Sui можно доработать крупные языковые модели для решения текущих проблем LLM в генерации интеллектуальных контрактов на языке Move.
COMET: Переход к языку Move - сравнительная оценка и структура
Команда профессора Джорджа Гиаглиса из Университета Никосии проведет всесторонний сравнительный анализ между Solidity и Move, с целью углубленного понимания функциональности и возможностей Move, а также создания структуры, которая поможет разработчикам легко перейти к разработке на Move.
Инновации DeFi: Оптимизация ликвидности и динамических сборов на Sui с помощью методов глубокого обучения
Рашид Гуеррауи и Уалид Софиан из Федеральной политехнической школы Лозанны разработают гибридную модель глубокого обучения для оптимального прогнозирования диапазона в протоколе Sui DeFi, сочетая усовершенствованные рекуррентные нейронные сети, глубокое обучение с подкреплением и анализ настроений в социальных сетях для повышения реакции протокола DeFi на изменения на рынке.
Оценка способности предсказания волатильности SUI
Профессор Ставрос Дегианнакис из Открытого университета Кипра будет исследовать эффективность алгоритма SPEC в прогнозировании волатильности активов Sui, используя высокочастотные данные о ценах, сосредоточив внимание в основном на SUI и проверяя его на других блокчейн-активах.
низкоэмоциональные посмертные прозрачные zkSNARKs
Бретт Фалк и Пратйуш Мишра из Университета Пенсильвании будут работать над разработкой масштабируемых zkSNARK, одновременно решая три основных препятствия: временная сложность доказателя, пространственная сложность и размер SRS, чтобы предоставить готовые к развертыванию масштабируемые криптографические доказательства для различных приложений в технологии блокчейн.
Эти исследовательские проекты охватывают несколько передовых областей технологии блокчейн, от оптимизации механизмов консенсуса до безопасности смарт-контрактов, от инноваций в DeFi до систем криптодоказательства. Их результаты, как ожидается, принесут важные прорывы для экосистемы Sui и всей индустрии блокчейн, способствуя дальнейшему развитию технологий Web3.