Оголошено результати нового етапу академічної дослідницької премії Sui: участь беруть провідні університети світу, 17 проєктів отримали фінансування в розмірі 425 000 доларів США

Фонд Sui нещодавно оприлюднив список переможців нової хвилі нагород Sui за академічні дослідження. Ця програма має на меті фінансувати дослідження, що сприяють розвитку Web3, зокрема в галузях технологій, пов'язаних із блокчейн-мережами, програмуванням смарт-контрактів та продуктами, побудованими на основі Sui.

Протягом останніх двох етапів було затверджено 17 пропозицій від міжнародно визнаних університетів, загальна сума фінансування склала 425 тисяч доларів США. Участь у проекті взяли такі університети, як Корейський науково-технічний інститут, Університет Лондона, Федеральна політехніка Лозанни та Національний університет Сінгапуру.

Огляд частини виграшних пропозицій

DAOs: різноманітність голосуючих груп

Дослідження, очолюване професором Арі Джуелсом з Університету Корнелл, має на меті вирішення сутнісних проблем децентралізованих організацій. Дослідження створить показники для вимірювання ступеня децентралізації DAO та дослідить практичні методи підвищення децентралізації всередині організації.

Адаптивний безпечний асинхронний DAG-протокол консенсусу

Команда доктора Філіпа Йовановича з Університетського коледжу Лондона запропонувала розробити асинхронний протокол DAG для підвищення стійкості до атак і адаптації до постійно змінюваних супротивників. Цей протокол забезпечить кращу безпеку та адаптивність у порівнянні з поточними частково синхронними моделями, зберігаючи при цьому продуктивність.

Аудит смарт-контрактів Sui за допомогою великих мовних моделей

Команда професора Артура Гервейса з Лондонського університету планує використовувати великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k для покращення аудиту смарт-контрактів Move. Цей проект буде базуватися на попередньому досвіді аналізу контрактів Solidity та розширено на оцінку безпеки смарт-контрактів Sui.

відображення консенсусного протоколу

Проект, очолюваний професором Крістофером Качином з Університету Берна, проведе всебічне дослідження сучасної сфери консенсусу, щоб надати нові погляди на криптографічні протоколи консенсусу, що допоможе краще зрозуміти існуючі алгоритми та забезпечить нові ідеї для розробки розподілених протоколів.

Високонадійна верифікаційна структура децентралізованого оракульного протоколу

Цей проект, розроблений доктором Жизель Рейс з Університету Карнегі-Меллона та доктором Бруно Вольценлогелем Палео з Djed Alliance, має на меті створити рамки для строгого аналізу та верифікації блокчейн-оракулів за допомогою формальних методів. Ці рамки є критично важливими для забезпечення точності та справедливості зовнішніх даних у смарт-контрактах.

Визначення вузького місця масштабованості

Дослідження команди професора Роджера Ваттенхофера з Федеральної політехнічної школи Цюріха має на меті виявлення вузьких місць, що виникають через недоліки в дизайні смарт-контрактів, з метою підвищення потенціалу паралелізації блокчейн-додатків. Вони також розглянуть вплив коригування комісій за транзакції на потенціал паралелізації.

Протокол Bullshark механізований

Дослідження, яке очолює професор Ілля Сергій з Національного університету Сінгапуру, використовує сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей Bullshark, просуваючи розуміння консенсусного протоколу на основі DAG. Цей проект надасть першу механічно верифіковану модель консенсусного протоколу DAG для досліджень у розподілених системах.

BBSF: Стандартна рамка для бенчмаркінгу блокчейну

Команда професора Генрі Ф. Корта з Університету Лігай розробила формат стандартизації бенчмарків для справедливого порівняння L1 блокчейнів та L2 рішень для масштабування. Проект має на меті надати користувачам та розробникам прозоре уявлення про продуктивність ланцюга, сприяючи розумному прийняттю рішень.

побудова масштабованого та децентралізованого шару спільних послідовностей

Команда професора Мін Сука Кана з Корейського національного університету науки і технологій дослідить застосування Bullshark/Mysticeti як алгоритму спільного сортування. Вони планують запустити кілька Rollup, що використовують Sui як шар сортування, щоб ці Rollup могли інтерпретувати транзакції відповідно до своїх виконавчих шарів.

використовується для місцевого ринкового збору оптимального тарифу за затори

Дослідницький проект професора Абдулає Ндіайє з Нью-Йоркського університету вивчатиме місцеві ринкові витрати для оптимізації плати за затори, проводячи аналогію між заторами в торгівлі та виконанням транзакцій у блокчейн-мережах. Мета полягає в створенні ефективного механізму ціноутворення, який відображає стан заторів, для досягнення оптимального розподілу ресурсів.

Ці нагороджені проекти охоплюють кілька ключових областей технології блокчейн, від протоколів консенсусу, безпеки смарт-контрактів до децентралізованих фінансів і оптимізації продуктивності. Фонд Sui, підтримуючи ці передові дослідження, демонструє рішучість у просуванні інновацій у технології блокчейн і її практичному застосуванні. Ці дослідницькі результати мають потенціал принести важливі прориви для екосистеми Sui та всього блокчейн-індустрії.