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

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

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

Огляд нагороджених пропозицій

Дослідження різноманітності децентралізованих автономних організацій(DAO)

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

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

Проект Лондонського університету призначений для розробки протоколу асинхронного спрямованого ациклічного графа (DAG), щоб підвищити стійкість до атак і адаптуватися до змінюваного середовища супротивника. Цей протокол забезпечить кращу безпеку та адаптивність, зберігаючи при цьому продуктивність, що близька до частково синхронізованих супротивників.

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

Ще одна команда з Лондонського університету використовуватиме великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, для підвищення ефективності аудиту смарт-контрактів Move. Раніше вони виявили вразливості в 52 смарт-контрактах Solidity DeFi, які призвели до втрат майже в 1 мільярд доларів, і тепер розширюють дослідження на сферу смарт-контрактів Sui.

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

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

Децентралізований протокол верифікації оракулів

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

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

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

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

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

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

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

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

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

Ринок місцевих витрат та оптимальне ціноутворення в умовах заторів

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

автоматизований маркет-мейкер шард (SAMM)

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

Розкриття особистої інформації в конкурентних механізмах

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

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

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

COMET: перехідний фреймворк з Solidity на Move

Проект Університету Нікосії завершить всебічний порівняльний аналіз між Solidity та Move, сприяючи глибшому розумінню функцій та можливостей Move, а також розробить рамки, які допоможуть розробникам легко перейти до використання Move для розробки.

Оптимізація DeFi: методи глибокого навчання

Дослідження Федерального технологічного інституту Лозанни розробить гібридну модель глибокого навчання для оптимального прогнозування діапазону в протоколі Sui DeFi. Модель поєднує вдосконалені рекуррентні нейронні мережі та глибоке підкріплене навчання, одночасно інтегруючи аналіз емоцій в соціальних мережах для підвищення точності прогнозування.

Оцінка здатності прогнозування волатильності SUI

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

низькопам'ятні постквантові прозорі zkSNARKs

Дослідження університету Пенсільванії має на меті розробку масштабованих zkSNARKs, усуваючи три основні перешкоди: часову складність доказувача, просторову складність та розмір SRS, щоб забезпечити готові до розгортання масштабовані криптографічні докази для різних застосувань у технології блокчейн.

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