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

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

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

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

Дослідження різноманітності голосуючих груп у децентралізованих автономних організаціях ( DAOs )

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

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

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

Підтримка великих мовних моделей для аудиту смарт-контрактів Sui

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

Повний огляд області консенсусних протоколів

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

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

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

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

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

Механізована перевірка протоколу Bullshark

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

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

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

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

Професор Min Suk Kang з Корейського інституту науки і технологій вивчить можливість використання Bullshark/Mysticeti як алгоритму спільного сортування, досліджуючи, як запускати кілька Rollup, які використовують Sui як шар сортування.

Оптимізація місцевого ринку зборів за congested pricing

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

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