Sui опублікував останній список академічних досліджень: 17 проектів отримали підтримку на 420000 доларів США
Нещодавно, фонд Sui оголосив список переможців нової програми фінансування академічних досліджень. Ця програма має на меті підтримку дослідницьких проектів, що сприяють розвитку технологій Web3, з особливою увагою до проривів у технологіях блокчейну, програмуванні смарт-контрактів та продуктах, побудованих на основі Sui.
Протягом останніх двох етапів було затверджено 17 дослідницьких пропозицій з провідних університетів світу, загальна сума фінансування становить 425 тисяч доларів США. Серед учасників – Корейський науково-технічний інститут, Університет Лондона, Федеральна політехнічна школа Лозанни та Національний університет Сінгапуру.
Огляд деяких проектів, які отримали фінансування
Дослідження різноманітності децентралізованих автономних організацій
Дослідницька команда Корнельського університету розпочне роботу над вирішенням суттєвих проблем DAO, створить показники для вимірювання рівня децентралізації та дослідить практичні методи підвищення рівня децентралізації в організації.
Підвищення безпеки консенсусу асинхронного DAG-протоколу
Проект Університетського коледжу Лондона має на меті розробку нового асинхронного DAG-протоколу для підвищення здатності до протистояння атакам та адаптації до постійно змінюваного середовища супротивників. Цей протокол забезпечить вищий рівень безпеки та адаптивності, зберігаючи при цьому високу продуктивність.
Використання великих мовних моделей для аудиту смарт-контрактів Sui
Ще одна команда з Лондонського університету планує використовувати великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, щоб значно підвищити можливості аудиту Move смарт-контрактів. Раніше вони виявили вразливості, які призвели до втрат майже 1 мільярда доларів, аналізуючи 52 Solidity DeFi смарт-контракти, і тепер розширюють дослідження на екосистему Sui.
Повний огляд сфери консенсусних протоколів
Дослідники Бернського університету проведуть всебічне дослідження сучасної області консенсус-протоколів, надаючи нові перспективи для криптографічних консенсус-протоколів, що сприятиме глибшому розумінню існуючих алгоритмів та надасть ідеї для проєктування нових розподілених протоколів.
Високонадійна верифікаційна структура децентралізованого оракула
Спільний проект Університету Карнегі-Меллон і альянсу Djed створить структуру для строгого аналізу та верифікації блокчейн-оракулів за допомогою формалізованих методів. Це є критично важливим для забезпечення точності та справедливості зовнішніх даних у смарт-контрактів.
Визначення вузьких місць масштабованості блокчейну
Дослідження Федеральної політехнічної школи Цюріха має на меті підвищити потенціал паралелізації блокчейн-додатків шляхом виявлення вузьких місць, пов'язаних з дефектами дизайну смарт-контрактів. Одночасно буде розглянуто вплив корекції комісій за транзакції на можливості паралелізації.
Механізована верифікація протоколу Bullshark
Проект Національного університету Сінгапуру використовуватиме сучасні інструменти комп'ютерної допомоги для формальної верифікації протоколу Bullshark, сприяючи розумінню консенсусних протоколів на основі DAG. Це стане першим механічно перевіреним моделлю консенсусного протоколу DAG для досліджень розподілених систем.
Ці дослідницькі проекти охоплюють кілька ключових сфер блокчейн-технологій, від інфраструктури до прикладного рівня, і мають на меті принести важливі прориви для екосистеми Sui та всього сектору Web3. Підтримуючи інноваційні дослідження в академічному середовищі, Sui активно сприяє передовому розвитку блокчейн-технологій.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Фонд Sui інвестував 420 тисяч доларів у підтримку 17 академічних дослідницьких проектів Web3.
Sui опублікував останній список академічних досліджень: 17 проектів отримали підтримку на 420000 доларів США
Нещодавно, фонд Sui оголосив список переможців нової програми фінансування академічних досліджень. Ця програма має на меті підтримку дослідницьких проектів, що сприяють розвитку технологій Web3, з особливою увагою до проривів у технологіях блокчейну, програмуванні смарт-контрактів та продуктах, побудованих на основі Sui.
Протягом останніх двох етапів було затверджено 17 дослідницьких пропозицій з провідних університетів світу, загальна сума фінансування становить 425 тисяч доларів США. Серед учасників – Корейський науково-технічний інститут, Університет Лондона, Федеральна політехнічна школа Лозанни та Національний університет Сінгапуру.
Огляд деяких проектів, які отримали фінансування
Дослідження різноманітності децентралізованих автономних організацій
Дослідницька команда Корнельського університету розпочне роботу над вирішенням суттєвих проблем DAO, створить показники для вимірювання рівня децентралізації та дослідить практичні методи підвищення рівня децентралізації в організації.
Підвищення безпеки консенсусу асинхронного DAG-протоколу
Проект Університетського коледжу Лондона має на меті розробку нового асинхронного DAG-протоколу для підвищення здатності до протистояння атакам та адаптації до постійно змінюваного середовища супротивників. Цей протокол забезпечить вищий рівень безпеки та адаптивності, зберігаючи при цьому високу продуктивність.
Використання великих мовних моделей для аудиту смарт-контрактів Sui
Ще одна команда з Лондонського університету планує використовувати великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, щоб значно підвищити можливості аудиту Move смарт-контрактів. Раніше вони виявили вразливості, які призвели до втрат майже 1 мільярда доларів, аналізуючи 52 Solidity DeFi смарт-контракти, і тепер розширюють дослідження на екосистему Sui.
Повний огляд сфери консенсусних протоколів
Дослідники Бернського університету проведуть всебічне дослідження сучасної області консенсус-протоколів, надаючи нові перспективи для криптографічних консенсус-протоколів, що сприятиме глибшому розумінню існуючих алгоритмів та надасть ідеї для проєктування нових розподілених протоколів.
Високонадійна верифікаційна структура децентралізованого оракула
Спільний проект Університету Карнегі-Меллон і альянсу Djed створить структуру для строгого аналізу та верифікації блокчейн-оракулів за допомогою формалізованих методів. Це є критично важливим для забезпечення точності та справедливості зовнішніх даних у смарт-контрактів.
Визначення вузьких місць масштабованості блокчейну
Дослідження Федеральної політехнічної школи Цюріха має на меті підвищити потенціал паралелізації блокчейн-додатків шляхом виявлення вузьких місць, пов'язаних з дефектами дизайну смарт-контрактів. Одночасно буде розглянуто вплив корекції комісій за транзакції на можливості паралелізації.
Механізована верифікація протоколу Bullshark
Проект Національного університету Сінгапуру використовуватиме сучасні інструменти комп'ютерної допомоги для формальної верифікації протоколу Bullshark, сприяючи розумінню консенсусних протоколів на основі DAG. Це стане першим механічно перевіреним моделлю консенсусного протоколу DAG для досліджень розподілених систем.
Ці дослідницькі проекти охоплюють кілька ключових сфер блокчейн-технологій, від інфраструктури до прикладного рівня, і мають на меті принести важливі прориви для екосистеми Sui та всього сектору Web3. Підтримуючи інноваційні дослідження в академічному середовищі, Sui активно сприяє передовому розвитку блокчейн-технологій.