Оголошено новий список лауреатів програми фінансування академічних досліджень Sui
Нещодавно програма фінансування академічних досліджень Sui оголосила про нову групу дослідницьких пропозицій, які отримали фінансову підтримку. Програма спрямована на сприяння розвитку технологій Web3, зокрема в області блокчейн-мереж, програмування смарт-контрактів та технологій, пов'язаних з продуктами, побудованими на основі Sui.
Протягом останніх двох етапів програми було схвалено 17 дослідницьких пропозицій від всесвітньо відомих університетів, загальна сума фінансування склала 425 тисяч доларів США. Участь у програмі взяли такі університети, як Корейський інститут науки і технологій, Університет Лондона, Федеральна політехніка Лозанни та Національний університет Сінгапуру.
Огляд частини виграшних пропозицій
Дослідження різноманітності груп голосування DAO
Дослідницька команда Корнелльського університету вивчить суть децентралізованих організацій та створить показники для вимірювання ступеня децентралізації DAO. Це дослідження має на меті виявити практичні методи, які можуть посилити децентралізацію всередині організації.
Підвищення безпеки консенсусного протоколу
Дослідники Лондонського університету пропонують розробити асинхронний DAG-протокол для підвищення здатності системи протистояти атакам і адаптуватися до постійно змінюваного середовища супротивників. Цей протокол обіцяє забезпечити кращу безпеку та адаптивність при збереженні високої продуктивності.
Новий метод аудиту смарт-контрактів
Ще одна команда з Лондонського університетського коледжу планує використовувати великі мовні моделі, такі як GPT-4, для поліпшення процесу аудиту смарт-контрактів Sui. Вони розширять свої дослідження на смарт-контракти Sui, спираючись на попередній досвід аналізу контрактів Solidity, зосередившись на своєчасній проведенні надійної оцінки безпеки.
Дослідження в галузі консенсусних протоколів
Проект Бернського університету проведе всебічне дослідження поточного поля угод, надаючи нові погляди на криптографічні угоди. Очікується, що результати дослідження допоможуть краще зрозуміти існуючі алгоритми та нададуть ідеї для проектування нових розподілених угод.
фреймворк верифікації протоколу оракула
Проект, що реалізується університетом Карнегі-Меллон у співпраці з Djed Alliance, створить рамки для строгого аналізу та верифікації блокчейн-оракулів за допомогою формальних методів. Це є критично важливим для забезпечення точності та справедливості зовнішніх даних в смарт-контрактах.
Визначення вузьких місць масштабованості блокчейну
Дослідження Федеральної політехнічної школи Цюріха має на меті виявити вузькі місця в масштабованості, пов'язані з дефектами дизайну смарт-контрактів. Вони також дослідять, як коригування комісій за транзакції впливає на потенціал паралелізації.
Формалізована перевірка протоколу Bullshark
Команда Національного університету Сінгапуру планує використовувати сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей протоколу Bullshark, щоб поглибити розуміння консенсусних протоколів на основі DAG.
Ці дослідницькі проєкти охоплюють кілька ключових сфер технології блокчейн, від механізмів консенсусу, безпеки смарт-контрактів до управління децентралізованими організаціями. Підтримуючи ці передові дослідження, фонд Sui сподівається сприяти технологічному прогресу та інноваціям у всій екосистемі Web3.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
23 лайків
Нагородити
23
5
Поділіться
Прокоментувати
0/400
Rugpull幸存者
· 07-12 05:17
Технологія — це цар
Переглянути оригіналвідповісти на0
NotSatoshi
· 07-11 02:49
Класна область дослідження
Переглянути оригіналвідповісти на0
LuckyHashValue
· 07-10 17:59
Інвестиції в повному обсязі, позитивний погляд на майбутнє
Програма академічного фінансування Sui оголосила новий список переможців, зосередившись на дослідженнях основних технологій Web3.
Оголошено новий список лауреатів програми фінансування академічних досліджень Sui
Нещодавно програма фінансування академічних досліджень Sui оголосила про нову групу дослідницьких пропозицій, які отримали фінансову підтримку. Програма спрямована на сприяння розвитку технологій Web3, зокрема в області блокчейн-мереж, програмування смарт-контрактів та технологій, пов'язаних з продуктами, побудованими на основі Sui.
Протягом останніх двох етапів програми було схвалено 17 дослідницьких пропозицій від всесвітньо відомих університетів, загальна сума фінансування склала 425 тисяч доларів США. Участь у програмі взяли такі університети, як Корейський інститут науки і технологій, Університет Лондона, Федеральна політехніка Лозанни та Національний університет Сінгапуру.
Огляд частини виграшних пропозицій
Дослідження різноманітності груп голосування DAO
Дослідницька команда Корнелльського університету вивчить суть децентралізованих організацій та створить показники для вимірювання ступеня децентралізації DAO. Це дослідження має на меті виявити практичні методи, які можуть посилити децентралізацію всередині організації.
Підвищення безпеки консенсусного протоколу
Дослідники Лондонського університету пропонують розробити асинхронний DAG-протокол для підвищення здатності системи протистояти атакам і адаптуватися до постійно змінюваного середовища супротивників. Цей протокол обіцяє забезпечити кращу безпеку та адаптивність при збереженні високої продуктивності.
Новий метод аудиту смарт-контрактів
Ще одна команда з Лондонського університетського коледжу планує використовувати великі мовні моделі, такі як GPT-4, для поліпшення процесу аудиту смарт-контрактів Sui. Вони розширять свої дослідження на смарт-контракти Sui, спираючись на попередній досвід аналізу контрактів Solidity, зосередившись на своєчасній проведенні надійної оцінки безпеки.
Дослідження в галузі консенсусних протоколів
Проект Бернського університету проведе всебічне дослідження поточного поля угод, надаючи нові погляди на криптографічні угоди. Очікується, що результати дослідження допоможуть краще зрозуміти існуючі алгоритми та нададуть ідеї для проектування нових розподілених угод.
фреймворк верифікації протоколу оракула
Проект, що реалізується університетом Карнегі-Меллон у співпраці з Djed Alliance, створить рамки для строгого аналізу та верифікації блокчейн-оракулів за допомогою формальних методів. Це є критично важливим для забезпечення точності та справедливості зовнішніх даних в смарт-контрактах.
Визначення вузьких місць масштабованості блокчейну
Дослідження Федеральної політехнічної школи Цюріха має на меті виявити вузькі місця в масштабованості, пов'язані з дефектами дизайну смарт-контрактів. Вони також дослідять, як коригування комісій за транзакції впливає на потенціал паралелізації.
Формалізована перевірка протоколу Bullshark
Команда Національного університету Сінгапуру планує використовувати сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей протоколу Bullshark, щоб поглибити розуміння консенсусних протоколів на основі DAG.
Ці дослідницькі проєкти охоплюють кілька ключових сфер технології блокчейн, від механізмів консенсусу, безпеки смарт-контрактів до управління децентралізованими організаціями. Підтримуючи ці передові дослідження, фонд Sui сподівається сприяти технологічному прогресу та інноваціям у всій екосистемі Web3.