Результати нового раунду фінансування академічних досліджень Sui оголошені: участь беруть багато відомих університетів світу, 17 проектів отримали понад 420000 доларів США
Нещодавно Фонд Sui оголосив список переможців нової програми фінансування академічних досліджень. Програма призначена для підтримки дослідницьких проектів, які сприяють розвитку Web3, особливо в галузі передових досліджень технологій, пов'язаних із блокчейн-мережами, програмуванням смарт-контрактів та продуктами, побудованими на основі Sui.
Протягом останніх двох етапів було затверджено 17 дослідницьких пропозицій від міжнародно відомих університетів, загальна сума фінансування склала 425 000 доларів США. Участь взяли такі університети, як Корейський науково-технічний інститут, Університет Лондона, Федеральна політехніка Лозанни та Національний університет Сінгапуру.
Огляд фінансованих проектів
Дослідження різноманітності децентралізованих автономних організацій
Професор Арі Джуелс з Університету Корнелл проведе дослідження природи децентралізованих організацій. Цей проєкт встановить показники для вимірювання рівня децентралізації DAO та дослідить практичні методи підвищення рівня децентралізації всередині організації.
адаптивний безпечний асинхронний DAG консенсусний протокол
Професор Філіпп Йованович з Університетського коледжу Лондона запропонував розробити асинхронний DAG-протокол для підвищення стійкості до атак і адаптації до змінюваного загрозового середовища. Цей протокол має на меті забезпечити вищий рівень безпеки та адаптивності, зберігаючи при цьому продуктивність, близьку до частково синхронних суперників.
Аудит смарт-контрактів Sui на основі великих мовних моделей
Професор Артур Гервейс з Лондонського університету планує використовувати великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, щоб покращити процес аудиту смарт-контрактів Move. Команда раніше проаналізувала 52 смарт-контракти DeFi на Solidity та виявила вразливості, які призвели до втрат майже в 1 мільярд доларів, зараз дослідження розширюється на смарт-контракти Sui.
Панорамний вигляд сфери консенсусного протоколу
Професор Крістофер Качин з Університету Берна проведе всебічне дослідження поточної області консенсусу, щоб надати нові погляди на криптографічні протоколи консенсусу. Результати дослідження допоможуть глибше зрозуміти існуючі алгоритми та забезпечити нові ідеї для проектування розподілених протоколів.
Протокол верифікації децентралізованих оракулів
Професорка Джизель Рейс з Університету Карнегі-Меллон та Бруно Вольценлогель Палео з Djed Alliance створять рамки для строгого аналізу та валідації блокчейн-оракулів за допомогою формальних методів. Проект розробить повну бібліотеку визначень та стратегій доведення в системі управління доведеннями Coq.
Визначення вузьких місць масштабованості блокчейну
Професор Роджер Ваттенгофер з Федеральної політехнічної школи Цюріха буде зосереджений на виявленні проблем зі масштабованістю, що виникають внаслідок дефектів дизайну смарт-контрактів, а також на дослідженні впливу корекції комісій за транзакції на потенціал паралелізації.
Механізована верифікація протоколу Bullshark
Професор Ілля Сергій з Національного університету Сінгапуру планує використовувати сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей протоколу Bullshark, сприяючи розумінню схеми консенсусу на основі DAG.
Базова стандартна структура блокчейну
Професор Генрі Ф. Корт з Університету Ліхай запропонував створити стандартизований формат бенчмарку блокчейну для чесного порівняння L1 блокчейнів та L2 рішень з масштабування, щоб надати користувачам та розробникам прозоре уявлення про продуктивність ланцюга.
розширювана децентралізована шарувата структура
Професор Min Suk Kang з Корейського інституту науки і технологій досліджуватиме використання Bullshark/Mysticeti як алгоритму спільного сортування, вивчаючи кілька рішень Rollup, які використовують Sui як шар сортування.
Оптимізація місцевих витрат та ціноутворення з урахуванням заторів
Професор Абдулай Ндіайє з Нью-Йоркського університету буде досліджувати місцевий ринковий збір, щоб оптимізувати механізм ціноутворення за заторами в мережі блокчейн, мета якого полягає у створенні ефективної моделі ціноутворення, яка відображає стан заторів у мережі.
Автоматичний механізм маркет-мейкінгу з поділом на частини
Професор Іттай Ейял з Техніон - Ізраїльського технологічного інституту розробляє концепцію фрагментованих контрактів, використовуючи кілька контрактів для підвищення паралельності. Дослідження зосереджене на налаштуванні механізмів стимулювання для постачальників ліквідності та трейдерів з метою досягнення повністю паралельного фрагментованого AMM.
Розкриття приватної інформації в конкурентних механізмах
Професор Андреа Аттар з Римського університету Тор Вергата досліджуватиме нові підходи до проектування ринкових механізмів, вивчаючи вплив приватного розкриття інформації дизайнерами агентам на ринкові результати та стратегічну взаємодію.
Генерація смарт-контрактів Sui на основі великих мовних моделей
Професори Кен Койдінгер і Еасон Чен з Університету Карнегі-Меллон працюватимуть над вирішенням проблем, пов'язаних із сучасними великими мовними моделями у генерації смарт-контрактів на мові Move. Дослідження включає збір прикладів даних мови Move, вдосконалення підказок та впровадження тонкої настройки моделі.
Перехідна порівняльна метрика для мови Move
Професор Джордж Гіагліс з Університету Нікосії проведе всебічний порівняльний аналіз мов Solidity та Move, з метою сприяння глибшому розумінню функцій та можливостей Move, а також допомоги розробникам в більш плавному переході до розробки на Move.
Оптимізація DeFi: методи глибокого навчання
Професори Рашид Гуеррауї та Валід Софіан з Федеральної політехнічної школи Лозанни розроблять змішану модель глибокого навчання для оптимального прогнозування діапазону в протоколі Sui DeFi, поєднуючи розширені рекурентні нейронні мережі, глибоке підкріплене навчання та аналіз емоцій у соціальних мережах.
Оцінка здатності прогнозування волатильності SUI
Професор Ставрос Дегіанакіс з Відкритого університету Кіпру вивчить ефективність алгоритму SPEC у прогнозуванні волатильності активів Sui, зосередившись на активі SUI та перевіряючи його на інших блокчейн-активах.
низькомеморійні післяквантові прозорі zkSNARKs
Професори Бретт Фальк і Пратйуш Мішра з Університету Пенсильванії займаються розробкою масштабованих zkSNARKs, вирішуючи основні перешкоди, такі як часові та просторові складності доказувачів, а також розмір SRS, щоб надати готові до розгортання масштабовані криптографічні доказові рішення для різних застосувань у технології блокчейн.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
5 лайків
Нагородити
5
7
Поділіться
Прокоментувати
0/400
DegenGambler
· 2год тому
sui ще можна врятувати
Переглянути оригіналвідповісти на0
ForeverBuyingDips
· 08-06 09:55
Боже, чи не можна дати кілька практичних проектів? Навіщо говорити про ці абстрактні речі?
Переглянути оригіналвідповісти на0
nft_widow
· 08-06 09:51
Схоже, що рисовий мішок уже на дні?
Переглянути оригіналвідповісти на0
BlockchainBouncer
· 08-06 09:50
Коли Sui запуститься в другий раунд? Вже давно готові.
Переглянути оригіналвідповісти на0
MoonRocketman
· 08-06 09:48
Підйомі тенденція очевидна об'єм RSI важливіший за тримайтеся вище 400000 доларів США вікно запуску
Переглянути оригіналвідповісти на0
MetaverseVagrant
· 08-06 09:46
Ай, грошей не дають нам роздрібним інвесторам
Переглянути оригіналвідповісти на0
BlockchainFoodie
· 08-06 09:32
подаємо деякі соковиті веб3 гранти, як свіжу партію дефі дамплі... справжній proof-of-stake в смаку fr
Оголошено новий раунд академічної програми фінансування Sui, 17 проектів Блокчейн отримали 425000 доларів підтримки.
Результати нового раунду фінансування академічних досліджень Sui оголошені: участь беруть багато відомих університетів світу, 17 проектів отримали понад 420000 доларів США
Нещодавно Фонд Sui оголосив список переможців нової програми фінансування академічних досліджень. Програма призначена для підтримки дослідницьких проектів, які сприяють розвитку Web3, особливо в галузі передових досліджень технологій, пов'язаних із блокчейн-мережами, програмуванням смарт-контрактів та продуктами, побудованими на основі Sui.
Протягом останніх двох етапів було затверджено 17 дослідницьких пропозицій від міжнародно відомих університетів, загальна сума фінансування склала 425 000 доларів США. Участь взяли такі університети, як Корейський науково-технічний інститут, Університет Лондона, Федеральна політехніка Лозанни та Національний університет Сінгапуру.
Огляд фінансованих проектів
Дослідження різноманітності децентралізованих автономних організацій
Професор Арі Джуелс з Університету Корнелл проведе дослідження природи децентралізованих організацій. Цей проєкт встановить показники для вимірювання рівня децентралізації DAO та дослідить практичні методи підвищення рівня децентралізації всередині організації.
адаптивний безпечний асинхронний DAG консенсусний протокол
Професор Філіпп Йованович з Університетського коледжу Лондона запропонував розробити асинхронний DAG-протокол для підвищення стійкості до атак і адаптації до змінюваного загрозового середовища. Цей протокол має на меті забезпечити вищий рівень безпеки та адаптивності, зберігаючи при цьому продуктивність, близьку до частково синхронних суперників.
Аудит смарт-контрактів Sui на основі великих мовних моделей
Професор Артур Гервейс з Лондонського університету планує використовувати великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, щоб покращити процес аудиту смарт-контрактів Move. Команда раніше проаналізувала 52 смарт-контракти DeFi на Solidity та виявила вразливості, які призвели до втрат майже в 1 мільярд доларів, зараз дослідження розширюється на смарт-контракти Sui.
Панорамний вигляд сфери консенсусного протоколу
Професор Крістофер Качин з Університету Берна проведе всебічне дослідження поточної області консенсусу, щоб надати нові погляди на криптографічні протоколи консенсусу. Результати дослідження допоможуть глибше зрозуміти існуючі алгоритми та забезпечити нові ідеї для проектування розподілених протоколів.
Протокол верифікації децентралізованих оракулів
Професорка Джизель Рейс з Університету Карнегі-Меллон та Бруно Вольценлогель Палео з Djed Alliance створять рамки для строгого аналізу та валідації блокчейн-оракулів за допомогою формальних методів. Проект розробить повну бібліотеку визначень та стратегій доведення в системі управління доведеннями Coq.
Визначення вузьких місць масштабованості блокчейну
Професор Роджер Ваттенгофер з Федеральної політехнічної школи Цюріха буде зосереджений на виявленні проблем зі масштабованістю, що виникають внаслідок дефектів дизайну смарт-контрактів, а також на дослідженні впливу корекції комісій за транзакції на потенціал паралелізації.
Механізована верифікація протоколу Bullshark
Професор Ілля Сергій з Національного університету Сінгапуру планує використовувати сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей протоколу Bullshark, сприяючи розумінню схеми консенсусу на основі DAG.
Базова стандартна структура блокчейну
Професор Генрі Ф. Корт з Університету Ліхай запропонував створити стандартизований формат бенчмарку блокчейну для чесного порівняння L1 блокчейнів та L2 рішень з масштабування, щоб надати користувачам та розробникам прозоре уявлення про продуктивність ланцюга.
розширювана децентралізована шарувата структура
Професор Min Suk Kang з Корейського інституту науки і технологій досліджуватиме використання Bullshark/Mysticeti як алгоритму спільного сортування, вивчаючи кілька рішень Rollup, які використовують Sui як шар сортування.
Оптимізація місцевих витрат та ціноутворення з урахуванням заторів
Професор Абдулай Ндіайє з Нью-Йоркського університету буде досліджувати місцевий ринковий збір, щоб оптимізувати механізм ціноутворення за заторами в мережі блокчейн, мета якого полягає у створенні ефективної моделі ціноутворення, яка відображає стан заторів у мережі.
Автоматичний механізм маркет-мейкінгу з поділом на частини
Професор Іттай Ейял з Техніон - Ізраїльського технологічного інституту розробляє концепцію фрагментованих контрактів, використовуючи кілька контрактів для підвищення паралельності. Дослідження зосереджене на налаштуванні механізмів стимулювання для постачальників ліквідності та трейдерів з метою досягнення повністю паралельного фрагментованого AMM.
Розкриття приватної інформації в конкурентних механізмах
Професор Андреа Аттар з Римського університету Тор Вергата досліджуватиме нові підходи до проектування ринкових механізмів, вивчаючи вплив приватного розкриття інформації дизайнерами агентам на ринкові результати та стратегічну взаємодію.
Генерація смарт-контрактів Sui на основі великих мовних моделей
Професори Кен Койдінгер і Еасон Чен з Університету Карнегі-Меллон працюватимуть над вирішенням проблем, пов'язаних із сучасними великими мовними моделями у генерації смарт-контрактів на мові Move. Дослідження включає збір прикладів даних мови Move, вдосконалення підказок та впровадження тонкої настройки моделі.
Перехідна порівняльна метрика для мови Move
Професор Джордж Гіагліс з Університету Нікосії проведе всебічний порівняльний аналіз мов Solidity та Move, з метою сприяння глибшому розумінню функцій та можливостей Move, а також допомоги розробникам в більш плавному переході до розробки на Move.
Оптимізація DeFi: методи глибокого навчання
Професори Рашид Гуеррауї та Валід Софіан з Федеральної політехнічної школи Лозанни розроблять змішану модель глибокого навчання для оптимального прогнозування діапазону в протоколі Sui DeFi, поєднуючи розширені рекурентні нейронні мережі, глибоке підкріплене навчання та аналіз емоцій у соціальних мережах.
Оцінка здатності прогнозування волатильності SUI
Професор Ставрос Дегіанакіс з Відкритого університету Кіпру вивчить ефективність алгоритму SPEC у прогнозуванні волатильності активів Sui, зосередившись на активі SUI та перевіряючи його на інших блокчейн-активах.
низькомеморійні післяквантові прозорі zkSNARKs
Професори Бретт Фальк і Пратйуш Мішра з Університету Пенсильванії займаються розробкою масштабованих zkSNARKs, вирішуючи основні перешкоди, такі як часові та просторові складності доказувачів, а також розмір SRS, щоб надати готові до розгортання масштабовані криптографічні доказові рішення для різних застосувань у технології блокчейн.