Объявлен новый список лауреатов программы исследовательских грантов Sui
В последнее время программа финансирования научных исследований Sui объявила о новой группе исследовательских предложений, получивших финансовую поддержку. Эта программа направлена на продвижение технологий Web3, особенно в области блокчейн-сетей, программирования смарт-контрактов и технологий, связанных с продуктами, построенными на основе Sui.
На протяжении последних двух этапов программа одобрила 17 исследовательских предложений от всемирно известных университетов, общая сумма финансирования составила 425000 долларов США. Участвующие университеты включают Корейский институт науки и технологий, Университет колледжа Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.
Обзор некоторых выигравших предложений
Исследование разнообразия участника DAO голосования
Исследовательская группа Корнеллского университета будет исследовать природу децентрализованных организаций и разработает индикаторы для измерения степени децентрализации DAO. Цель исследования заключается в том, чтобы выявить практические методы, которые могут усилить децентрализацию внутри организации.
Повышение безопасности консенсусного протокола
Исследователи Университетского колледжа Лондона предложили разработать асинхронный DAG-протокол для повышения устойчивости системы к атакам и адаптации к постоянно меняющейся среде противника. Ожидается, что протокол обеспечит лучшую безопасность и адаптивность при сохранении высокой производительности.
Новый метод аудита смарт-контрактов
Еще одна команда из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4, для улучшения процесса аудита смарт-контрактов Sui. Они намерены расширить свои исследования на смарт-контракты Sui, основываясь на предыдущем опыте анализа контрактов Solidity, с акцентом на своевременное проведение надежной оценки безопасности.
Исследование в области консенсусных протоколов
Проект Университета Берна проведет всестороннее исследование текущей области согласительных протоколов, предоставляя новые идеи для криптографических согласительных протоколов. Ожидается, что результаты исследования помогут лучше понять существующие алгоритмы и предложат идеи для разработки новых распределенных протоколов.
Протокол верификации оракула
Проект, разработанный Университетом Карнеги-Меллона и альянсом Djed, создаст структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Это имеет решающее значение для обеспечения точности и справедливости внешних данных в смарт-контрактах.
Определение узких мест масштабируемости блокчейна
Исследование Федеральной политехнической школы Цюриха направлено на выявление узких мест в масштабируемости, возникающих из-за дефектов проектирования смарт-контрактов. Они также исследуют, как корректировка торговых сборов влияет на потенциал параллелизации.
Формальная проверка протокола Bullshark
Команда Национального университета Сингапура планирует использовать современные инструменты компьютерной верификации для формальной проверки свойств протокола Bullshark, чтобы продвинуть понимание основанных на DAG консенсусных протоколов.
Эти исследовательские проекты охватывают несколько ключевых областей технологии блокчейн, от механизмов согласия и безопасности смарт-контрактов до управления децентрализованными организациями. Поддерживая эти передовые исследования, Фонд Sui надеется способствовать технологическому прогрессу и инновациям в экосистеме Web3.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Объявлены новые лауреаты программы академического финансирования Sui, сосредоточенной на исследованиях ключевых технологий Web3.
Объявлен новый список лауреатов программы исследовательских грантов Sui
В последнее время программа финансирования научных исследований Sui объявила о новой группе исследовательских предложений, получивших финансовую поддержку. Эта программа направлена на продвижение технологий Web3, особенно в области блокчейн-сетей, программирования смарт-контрактов и технологий, связанных с продуктами, построенными на основе Sui.
На протяжении последних двух этапов программа одобрила 17 исследовательских предложений от всемирно известных университетов, общая сумма финансирования составила 425000 долларов США. Участвующие университеты включают Корейский институт науки и технологий, Университет колледжа Лондона, Федеральную политехническую школу Лозанны и Национальный университет Сингапура.
Обзор некоторых выигравших предложений
Исследование разнообразия участника DAO голосования
Исследовательская группа Корнеллского университета будет исследовать природу децентрализованных организаций и разработает индикаторы для измерения степени децентрализации DAO. Цель исследования заключается в том, чтобы выявить практические методы, которые могут усилить децентрализацию внутри организации.
Повышение безопасности консенсусного протокола
Исследователи Университетского колледжа Лондона предложили разработать асинхронный DAG-протокол для повышения устойчивости системы к атакам и адаптации к постоянно меняющейся среде противника. Ожидается, что протокол обеспечит лучшую безопасность и адаптивность при сохранении высокой производительности.
Новый метод аудита смарт-контрактов
Еще одна команда из Университетского колледжа Лондона планирует использовать крупные языковые модели, такие как GPT-4, для улучшения процесса аудита смарт-контрактов Sui. Они намерены расширить свои исследования на смарт-контракты Sui, основываясь на предыдущем опыте анализа контрактов Solidity, с акцентом на своевременное проведение надежной оценки безопасности.
Исследование в области консенсусных протоколов
Проект Университета Берна проведет всестороннее исследование текущей области согласительных протоколов, предоставляя новые идеи для криптографических согласительных протоколов. Ожидается, что результаты исследования помогут лучше понять существующие алгоритмы и предложат идеи для разработки новых распределенных протоколов.
Протокол верификации оракула
Проект, разработанный Университетом Карнеги-Меллона и альянсом Djed, создаст структуру для строгого анализа и верификации блокчейн-оракулов с использованием формальных методов. Это имеет решающее значение для обеспечения точности и справедливости внешних данных в смарт-контрактах.
Определение узких мест масштабируемости блокчейна
Исследование Федеральной политехнической школы Цюриха направлено на выявление узких мест в масштабируемости, возникающих из-за дефектов проектирования смарт-контрактов. Они также исследуют, как корректировка торговых сборов влияет на потенциал параллелизации.
Формальная проверка протокола Bullshark
Команда Национального университета Сингапура планирует использовать современные инструменты компьютерной верификации для формальной проверки свойств протокола Bullshark, чтобы продвинуть понимание основанных на DAG консенсусных протоколов.
Эти исследовательские проекты охватывают несколько ключевых областей технологии блокчейн, от механизмов согласия и безопасности смарт-контрактов до управления децентрализованными организациями. Поддерживая эти передовые исследования, Фонд Sui надеется способствовать технологическому прогрессу и инновациям в экосистеме Web3.