Оголошення нового раунду фінансування академічних досліджень Sui: участь всесвітньо відомих університетів, 17 проектів отримали понад 420 тисяч доларів США підтримки
Нещодавно Фонд Sui оголосив список переможців нового раунду грантів на академічні дослідження. Ця програма має на меті фінансування досліджень, що сприяють розвитку Web3, зокрема, просуванню технологічних меж, пов'язаних з блокчейн-мережами, програмуванням смарт-контрактів і продуктами, побудованими на базі Sui.
Протягом останніх двох етапів фонд затвердив заявки від 17 міжнародно визнаних університетів на загальну суму фінансування 425 000 доларів США. Учасниками є такі вищі навчальні заклади, як Корейський науково-технічний інститут, Університет Лондона, Федеральна політехнічна школа Лозанни та Національний університет Сінгапуру.
Огляд проекту з фінансування
DAOs: різноманітність голосуючих груп
Професор Арі Джуелс з Корнелльського університету досліджуватиме сутність децентралізованих організацій, встановить показники для вимірювання ступеня децентралізації DAO та вивчатиме практичні методи підвищення децентралізації всередині організації.
Адаптивний безпечний асинхронний консенсус протоколу DAG
Команда Philipp Jovanovic з Університетського коледжу Лондона працює над розробкою асинхронного DAG-протоколу, щоб підвищити стійкість до атак і адаптуватися до змінюваного середовища загроз. Цей протокол має на меті забезпечити кращу безпеку та адаптивність, зберігаючи при цьому продуктивність, близьку до продуктивності частково синхронних конкурентів.
Аудит смарт-контрактів Sui під керівництвом великих мовних моделей
Команда Артура Джервейса з Лондонського університету коледжу використовуватиме великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, для покращення аудиту смарт-контрактів Move. Їхнє попереднє дослідження виявило вразливості, які призвели до втрат майже в 1 мільярд доларів у 52 смарт-контрактах Solidity DeFi. Цей проект розширює це дослідження на смарт-контракти Sui.
відображення консенсусного протоколу в області
Професор Христофор Качин з Університету Берна проведе всебічне дослідження сучасної області консенсусу, надаючи нові погляди на криптографічні протоколи консенсусу, що допоможе краще зрозуміти існуючі алгоритми та запропонувати нові ідеї для проектування розподілених протоколів.
Високодостовірна верифікаційна структура децентралізованого оракула
Гізель Рейс з Університету Карнегі-Меллон та Бруно Вольценлогель Палео з Djed Alliance створять рамки для формального аналізу та верифікації блокчейн-оракулів. Проект використає систему управління доказами Coq для розробки комплексної бібліотеки визначень і стратегій доказів.
Визначення вузьких місць масштабованості
Команда Роджера Ваттенхофера з Федеральної політехнічної школи Цюриха ідентифікує вузькі місця, що виникають внаслідок недоліків у дизайні смарт-контрактів, щоб підвищити потенціал паралелізації блокчейн-додатків. Вони також досліджуватимуть вплив коригування комісій за транзакції на паралелізацію.
Механізація протоколу Bullshark
Професор Ілля Сергій з Національного університету Сінгапуру використовуватиме сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей Bullshark, просуваючи розуміння консенсусного протоколу на основі DAG.
BBSF: Стандартна рамка для бенчмаркінгу в блокчейні
Професор Генрі Ф. Корт з Університету Лігай у створить стандартизований формат бенчмарку для справедливого порівняння L1 блокчейнів і L2 рішень для масштабування, надаючи користувачам і розробникам прозорі інсайти про продуктивність ланцюга.
побудова масштабованого та децентралізованого шару спільних послідовностей
Команда Min Suk Kang з Корейського науково-технічного інституту досліджуватиме використання Bullshark/Mysticeti як алгоритму спільного сортування, вивчаючи кілька Rollup, що використовують Sui як шар сортування.
використовується для місцевого ринкового ціноутворення з оптимальним тарифом на затори
Професор Абдуле Ндіай з Нью-Йоркського університету вивчить місцевий ринок зборів для оптимізації зборів за затори, створюючи ефективний механізм ціноутворення, що відображає стан заторів, щоб досягти оптимального розподілу ресурсів.
SAMM: автоматичний маркет-мейкер фрагментації
Команда Іттая Ейала з Техніон - Ізраїльського технологічного інституту розробляє концепцію шардованих контрактів, використовуючи кілька контрактів для збільшення паралельності. Вони налаштують стимули для постачальників ліквідності та трейдерів, щоб підтримувати кілька AMM-шардів.
Приватне розкриття в механізмі конкуренції
Професор Андреа Аттар з Римського університету Тор Вергата досліджуватиме нові підходи до проектування механізмів ринку, вивчаючи вплив приватного розкриття інформації дизайнерами агентам на результати ринку та стратегічну взаємодію.
Застосування великих мовних моделей для генерації смарт-контрактів Sui
Кен Кодінгер та Ісон Чен з Університету Карнегі-Меллона налаштують великі мовні моделі, використовуючи код Move та специфічні підказки Sui, щоб вирішити проблеми, пов'язані з генерацією смарт-контрактів мовою Move.
COMET：порівняльні міри та рамки переходу до Move
Професор Джордж Гіагліс з Університету Нікосії завершить всебічний порівняльний аналіз між Solidity та Move, що сприятиме більш глибокому розумінню функцій та можливостей Move.
Революційний DeFi: оптимізація ліквідності та динамічних зборів на Sui за допомогою методів глибокого навчання
Rachid Guerraoui та Walid Sofiane з Федеральної політехнічної школи Лозанни розроблять гібридну модель глибокого навчання для оптимального прогнозування діапазону в протоколі Sui DeFi, інтегруючи аналіз емоцій соціальних медіа для підвищення точності.
оцінка прогнозуючої здатності волатильності SUI
Професор Ставрос Дегіаннакіс з Відкритого університету Кіпру досліджуватиме ефективність алгоритму SPEC у прогнозуванні волатильності активів Sui, зосередившись головним чином на SUI, та проведе верифікацію на різних блокчейн-активах.
низькопам'ятні постквантові прозорі zkSNARKs
Бретт Фолк і Пратйуш Мішра з Університету Пенсільванії працюватимуть над розробкою масштабованих zkSNARK, одночасно вирішуючи три основні перешкоди: часову складність доказувача, просторову складність та розмір SRS.
Ці дослідницькі проекти охоплюють кілька передових сфер технології блокчейн, від децентралізованого управління до безпеки смарт-контрактів, від механізмів узгодження до верифікації оракулів, що відображає увагу екосистеми Sui до академічних інновацій. Підтримуючи ці високоякісні дослідницькі проекти, Фонд Sui має на меті сприяти загальному розвитку технології блокчейн, закладаючи міцну теоретичну та технологічну основу для майбутнього Web3.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
14 лайків
Нагородити
14
7
Репост
Поділіться
Прокоментувати
0/400
APY追逐者
· 07-23 04:17
42w справді виглядає трохи убого.
Переглянути оригіналвідповісти на0
WalletManager
· 07-22 14:57
Аудиторські можливості зросли, ринок також має почати пампити.
Фонд Sui оголосив про новий раунд академічного фінансування: 17 проектів отримали 420 тисяч доларів США, участь беруть світові університети.
Оголошення нового раунду фінансування академічних досліджень Sui: участь всесвітньо відомих університетів, 17 проектів отримали понад 420 тисяч доларів США підтримки
Нещодавно Фонд Sui оголосив список переможців нового раунду грантів на академічні дослідження. Ця програма має на меті фінансування досліджень, що сприяють розвитку Web3, зокрема, просуванню технологічних меж, пов'язаних з блокчейн-мережами, програмуванням смарт-контрактів і продуктами, побудованими на базі Sui.
Протягом останніх двох етапів фонд затвердив заявки від 17 міжнародно визнаних університетів на загальну суму фінансування 425 000 доларів США. Учасниками є такі вищі навчальні заклади, як Корейський науково-технічний інститут, Університет Лондона, Федеральна політехнічна школа Лозанни та Національний університет Сінгапуру.
Огляд проекту з фінансування
DAOs: різноманітність голосуючих груп
Професор Арі Джуелс з Корнелльського університету досліджуватиме сутність децентралізованих організацій, встановить показники для вимірювання ступеня децентралізації DAO та вивчатиме практичні методи підвищення децентралізації всередині організації.
Адаптивний безпечний асинхронний консенсус протоколу DAG
Команда Philipp Jovanovic з Університетського коледжу Лондона працює над розробкою асинхронного DAG-протоколу, щоб підвищити стійкість до атак і адаптуватися до змінюваного середовища загроз. Цей протокол має на меті забезпечити кращу безпеку та адаптивність, зберігаючи при цьому продуктивність, близьку до продуктивності частково синхронних конкурентів.
Аудит смарт-контрактів Sui під керівництвом великих мовних моделей
Команда Артура Джервейса з Лондонського університету коледжу використовуватиме великі мовні моделі, такі як GPT-4-32k та Claude-v2-100k, для покращення аудиту смарт-контрактів Move. Їхнє попереднє дослідження виявило вразливості, які призвели до втрат майже в 1 мільярд доларів у 52 смарт-контрактах Solidity DeFi. Цей проект розширює це дослідження на смарт-контракти Sui.
відображення консенсусного протоколу в області
Професор Христофор Качин з Університету Берна проведе всебічне дослідження сучасної області консенсусу, надаючи нові погляди на криптографічні протоколи консенсусу, що допоможе краще зрозуміти існуючі алгоритми та запропонувати нові ідеї для проектування розподілених протоколів.
Високодостовірна верифікаційна структура децентралізованого оракула
Гізель Рейс з Університету Карнегі-Меллон та Бруно Вольценлогель Палео з Djed Alliance створять рамки для формального аналізу та верифікації блокчейн-оракулів. Проект використає систему управління доказами Coq для розробки комплексної бібліотеки визначень і стратегій доказів.
Визначення вузьких місць масштабованості
Команда Роджера Ваттенхофера з Федеральної політехнічної школи Цюриха ідентифікує вузькі місця, що виникають внаслідок недоліків у дизайні смарт-контрактів, щоб підвищити потенціал паралелізації блокчейн-додатків. Вони також досліджуватимуть вплив коригування комісій за транзакції на паралелізацію.
Механізація протоколу Bullshark
Професор Ілля Сергій з Національного університету Сінгапуру використовуватиме сучасні інструменти комп'ютерної допомоги для формальної верифікації властивостей Bullshark, просуваючи розуміння консенсусного протоколу на основі DAG.
BBSF: Стандартна рамка для бенчмаркінгу в блокчейні
Професор Генрі Ф. Корт з Університету Лігай у створить стандартизований формат бенчмарку для справедливого порівняння L1 блокчейнів і L2 рішень для масштабування, надаючи користувачам і розробникам прозорі інсайти про продуктивність ланцюга.
побудова масштабованого та децентралізованого шару спільних послідовностей
Команда Min Suk Kang з Корейського науково-технічного інституту досліджуватиме використання Bullshark/Mysticeti як алгоритму спільного сортування, вивчаючи кілька Rollup, що використовують Sui як шар сортування.
використовується для місцевого ринкового ціноутворення з оптимальним тарифом на затори
Професор Абдуле Ндіай з Нью-Йоркського університету вивчить місцевий ринок зборів для оптимізації зборів за затори, створюючи ефективний механізм ціноутворення, що відображає стан заторів, щоб досягти оптимального розподілу ресурсів.
SAMM: автоматичний маркет-мейкер фрагментації
Команда Іттая Ейала з Техніон - Ізраїльського технологічного інституту розробляє концепцію шардованих контрактів, використовуючи кілька контрактів для збільшення паралельності. Вони налаштують стимули для постачальників ліквідності та трейдерів, щоб підтримувати кілька AMM-шардів.
Приватне розкриття в механізмі конкуренції
Професор Андреа Аттар з Римського університету Тор Вергата досліджуватиме нові підходи до проектування механізмів ринку, вивчаючи вплив приватного розкриття інформації дизайнерами агентам на результати ринку та стратегічну взаємодію.
Застосування великих мовних моделей для генерації смарт-контрактів Sui
Кен Кодінгер та Ісон Чен з Університету Карнегі-Меллона налаштують великі мовні моделі, використовуючи код Move та специфічні підказки Sui, щоб вирішити проблеми, пов'язані з генерацією смарт-контрактів мовою Move.
COMET：порівняльні міри та рамки переходу до Move
Професор Джордж Гіагліс з Університету Нікосії завершить всебічний порівняльний аналіз між Solidity та Move, що сприятиме більш глибокому розумінню функцій та можливостей Move.
Революційний DeFi: оптимізація ліквідності та динамічних зборів на Sui за допомогою методів глибокого навчання
Rachid Guerraoui та Walid Sofiane з Федеральної політехнічної школи Лозанни розроблять гібридну модель глибокого навчання для оптимального прогнозування діапазону в протоколі Sui DeFi, інтегруючи аналіз емоцій соціальних медіа для підвищення точності.
оцінка прогнозуючої здатності волатильності SUI
Професор Ставрос Дегіаннакіс з Відкритого університету Кіпру досліджуватиме ефективність алгоритму SPEC у прогнозуванні волатильності активів Sui, зосередившись головним чином на SUI, та проведе верифікацію на різних блокчейн-активах.
низькопам'ятні постквантові прозорі zkSNARKs
Бретт Фолк і Пратйуш Мішра з Університету Пенсільванії працюватимуть над розробкою масштабованих zkSNARK, одночасно вирішуючи три основні перешкоди: часову складність доказувача, просторову складність та розмір SRS.
Ці дослідницькі проекти охоплюють кілька передових сфер технології блокчейн, від децентралізованого управління до безпеки смарт-контрактів, від механізмів узгодження до верифікації оракулів, що відображає увагу екосистеми Sui до академічних інновацій. Підтримуючи ці високоякісні дослідницькі проекти, Фонд Sui має на меті сприяти загальному розвитку технології блокчейн, закладаючи міцну теоретичну та технологічну основу для майбутнього Web3.