Фонд Sui з радістю оголошує лауреатів четвертої когорти премії Sui Academic Research Awards. Ця програма фінансує новаторські дослідження, які просувають Web3, особливо зосереджуючись на технології блокчейн, програмуванні смарт-контрактів і продуктах, створених на основі Sui.
У цій когорті ми прийняли 20 виняткових пропозицій від престижних університетів, таких як UC Berkeley, Yale, NYU, EPFL і Національний університет Сінгапуру. Ці провідні дослідники будуть стимулювати інновації в екосистемі Sui. Завдяки надзвичайній якості пропозицій, Sui Foundation виділив додатковий 1 мільйон доларів на 2024 рік для підтримки подальших досліджень, які прискорюють інновації та впровадження блокчейну. Наступний конкурс пропозицій завершується 5 липня 2024 року.
Прискорення ЗКП з кешуванням
Фан Чжан (Єльський університет)
Докази з нульовим знанням (zk-докази) мають вирішальне значення для масштабованості блокчейну, конфіденційності та ідентичності, наприклад, примітив zkLogin від Sui. Однак генерація zk-доказів відбувається повільно через ресурсомісткі обчислення. Це дослідження покращує генерацію, стійку до zk, за допомогою кешування для зберігання проміжних результатів повторюваних обчислень, таких як мультискалярне множення та швидке перетворення Фур’є. Цей підхід використовує шаблони в користувальницьких введеннях, щоб значно пришвидшити генерацію zk-proof, підвищуючи ефективність у реальних програмах.
AIChain: LLM для підключення статичного аналізу та фаззингу для більш безпечних смарт-контрактів
Віджай Ганеш (Грузинський технологічний інститут)
AIChain вирішує проблему безпеки смарт-контрактів, використовуючи ШІ для статичного аналізу та фаззингу, щоб усунути ручну роботу. AIChain — це велика мовна модель (LLM), яка використовується для обробки смарт-контрактів і звіту статичного аналізу для створення коду для фаззингу для перевірки потенційних уразливостей. Початкові тести з OpenAI GPT-3.5-Turbo показали ефективні результати, і інструмент розширюється для виявлення більшої кількості вразливостей.
Домашнє зберігання ключів для платформ Web3
Тушар Джойс (Дослідницький фонд CUNY)
Платформи Web3 пропонують безпрецедентний контроль над цифровими активами, але зберігання ключів залишається основною проблемою. Традиційні рішення, такі як апаратні гаманці та депонування третьої сторони, є дорогими, що відлякує потенційних користувачів. У цьому дослідженні досліджується використання існуючих пристроїв Інтернету речей у розумних будинках для зберігання ключів, використовуючи колективну безпеку кількох фіксованих пристроїв. Система SocIoTy використовуватиме пристрої розумного дому для виконання криптографічних операцій і двофакторної автентифікації, забезпечуючи безпеку ключових матеріалів у домі. Цей підхід забезпечує економічно ефективний і безпечний метод зберігання ключів Web3, підвищуючи довіру користувачів і доступність.
Autobahn: Як зробити частково синхронні протоколи BFT стійкими до часткової синхронності
Натача Крукс (Каліфорнійський університет, Берклі)
Традиційні протоколи Byzantine Fault Tolerant (BFT) повинні поєднувати низьку затримку та надійність мережі, але іноді дають збій під час мережевих спалахів, що призводить до «асинхронного похмілля». Протоколи BFT на основі DAG, незважаючи на надійність, часто мають вищу затримку. Це дослідження розробить Autobahn, новий протокол консенсусу, що поєднує розповсюдження даних на основі DAG із традиційним частково синхронним механізмом консенсусу. Autobahn підтримує низьку затримку під час нормальної роботи та надійність під час спалахів мережі, відокремлюючи консенсус від розповсюдження даних, забезпечуючи ефективне відновлення та високу продуктивність.
Автоматизоване управління ризиками для екосистеми Sui DeFi
Лукаш Шпрух і Девід Сіска (Едінбурзький університет)
Цей проект спрямований на розробку автоматизованих систем управління ризиками для підвищення економічної безпеки в екосистемі DeFi Sui за допомогою кількісного фінансування та моделювання на основі агентів. Поточне управління DAO має проблеми з управлінням ризиками в реальному часі, часто покладаючись на централізовані сторонні рекомендації поза мережею. Це дослідження створить перевірену структуру управління ризиками на основі даних у режимі реального часу, автоматизуючи налаштування параметрів протоколу та стрес-тестування за допомогою моделювання на основі агентів. Початкова увага буде зосереджена на протоколах децентралізованого кредитування, які надають інструменти з відкритим кодом для забезпечення прозорої, масштабованої та підзвітної оцінки ризиків.
Поведінкові абстракції для підтримки аудиторів смарт-контрактів
Дієго Гарбервецький (Університет Буенос-Айреса)
Аудит — це завдання, що потребує багато людей, і воно часто покладається на такі інструменти, як лінтери та фаззери, яким не вистачає розуміння конкретної області. Це дослідження буде створювати інструменти з використанням абстракції предикатів для побудови моделей (автоматів), які допоможуть аудиторам досліджувати та перевіряти поведінку смарт-контракту. Поступово розуміючи поведінку контракту через запропоновані предикати, аудитори можуть використовувати ці моделі для більш ефективного виявлення функціональних помилок і помилок впровадження. Мета полягає в тому, щоб автоматизувати генерацію цих моделей, підвищити ефективність аудиту та загальну безпеку розумних контрактів.
Порівняльний аналіз Sui через перспективу паралельного виконання
Ooi Beng Chin (Національний університет Сінгапуру)
Цей проект усуває вузьке місце механізму виконання в сучасних блокчейнах, виходячи за межі обмежень консенсусних алгоритмів. Розробляючи рідні робочі навантаження Web3 для паралельного виконання, команда прагне порівняти такі популярні програми, як DEX, торгові майданчики NFT та ігри. Це дослідження дасть цінну інформацію про масштабованість і продуктивність сучасних блокчейнів, підвищуючи ефективність стратегій паралельного виконання.
Поза межами простору та часу: експериментальна економіка за допомогою смарт-контрактів
Ян Ю (Університет Гонконгу), Лін Вільям Конг (Корнельський університет)
Традиційні експерименти з соціальних наук стикаються з обмеженнями через штучне лікування та коротку тривалість у лабораторних умовах. Це дослідження представляє децентралізовану платформу для торгівлі контрактами на події, що працює на основі автоматизованого створення ринку, де учасники торгують на основі реальних подій, надаючи надійніші дані. Завдяки постійному залученню учасників з токенами платформи, конвертованими в USDC, для правильних прогнозів, цей підхід дозволяє проводити довгострокові дослідження очікувань, продемонстрованих за допомогою експерименту щодо очікувань процентних ставок під впливом оголошень Федеральної резервної системи США.
Отруєння адресою блокчейну
Ніколас Крістін (Університет Карнегі-Меллона)
У цьому дослідженні розглядається проблема отруєння адрес блокчейну, коли зловмисники створюють «схожі» адреси, щоб обманом змусити користувачів надіслати кошти не тому одержувачу, що зазвичай називають отруєнням адреси. Транзакції блокчейну є незворотними, що робить такі атаки особливо шкідливими. Цей проект формалізує модель загроз, вимірює поширеність у кількох блокчейнах, охарактеризує поведінку зловмисників і розробить засоби пом’якшення. Мета полягає в тому, щоб створити чітку структуру для дизайну інтерфейсу користувача Web3, яка підвищує безпеку та впевненість користувачів на Sui та інших платформах.
Отримання безризикової прибутковості на Sui: підхід глибокого хеджування з використанням опціонів і ф’ючерсів
Дімітріос Карьямпас і Валід Софіан (École Polytechnique Fédérale de Lausanne), Адам Буабда (ETH Zurich)
Стабільна, майже безризикова дохідність має вирішальне значення для довіри інвесторів на надзвичайно нестабільному ринку криптовалют. Цей проект використовує інноваційні стратегії хеджування, натхненні синтетичними стейблкойнами, щоб покращити поточні методи. Завдяки інтеграції безстрокових контрактів із розширеними опціонними стратегіями, зокрема коробковими спредами, і використовуючи навчання з підкріпленням, проект має на меті розробити динамічну торгову стратегію, яка адаптується до ринкових умов, максимізуючи прибутки та мінімізуючи ризики.
Специфікація складу та перевірка консенсусних протоколів блокчейну
Чжун Шао (Єльський університет)
Протоколи Byzantine State Machine Replication (SMR) забезпечують лінійну, захищену від втручання історію, змушуючи вузли-учасники узгодити єдиний консенсус. Однак правильне впровадження цих протоколів для підтримки як безпеки, так і живучості залишається складним завданням. Завдяки представленню проміжної моделі консенсусних протоколів, яка включає компонент кардіостимулятора, ця робота підтримує перевірку як безпеки, так і живучості шляхом вдосконалення. Мета полягає в тому, щоб розробити модель Linearizable Byzantine Distributed Objects (LiDO), щоб спростити та покращити перевірку консенсусних протоколів, забезпечуючи надійну та надійну реалізацію блокчейну.
Парадигма паралельного виконання смарт-контрактів
Мохаммад Садогі (Каліфорнійський університет, Девіс)
За останнє десятиліття ResilientDB стала піонером у створенні стійкої та стабільної платформи даних, яка об’єднує безпечні транзакції та аналітичну обробку в реальному часі. Як проект Apache Incubator, ResilientDB зробив значний внесок, зокрема розробивши геомасштабний консенсусний протокол (GeoBFT) і гібридні протоколи шардингу (Cerberus, RingBFT). Спираючись на цю основу, команда тепер прагне розробити високопродуктивні протоколи паралельного керування з низькою затримкою, оптимізовані для одночасного виконання смарт-контрактів.
Ефективне постквантове багатостороннє обчислення з використанням легкої криптографії
Анікет Кейт (Університет Пердью)
Multi-Party Computation (MPC) дозволяє кільком сторонам обчислювати функції на приватних вхідних даних, зберігаючи при цьому конфіденційність, необхідну для додатків Web3, таких як штучний інтелект із збереженням конфіденційності та аналітика охорони здоров’я. Це дослідження спрямоване на розробку протоколів MPC на основі хешування, які є масштабованими та постквантово безпечними, долаючи обмеження поточних протоколів, які покладаються на обчислювально дорогі криптографічні операції. Попередні результати використання протоколу HashRand показують значні покращення продуктивності, досягнувши 11 000 маяків на хвилину з 16 учасниками, що значно перевершує існуючі рішення.
Шифрування в ланцюжку
Євген Додіс (Нью-Йоркський університет)
Блокчейни, такі як Bitcoin і Ethereum, пропонують псевдонім, але не мають надійних гарантій конфіденційності, що дозволяє відстежувати транзакції користувачів. Це дослідження має на меті вирішити цю проблему шляхом вивчення «ланцюжкового шифрування» для приватного зберігання, на відміну від zk-proofs, щоб забезпечити конфіденційність даних і доступність у блокчейнах. Спираючись на досвід розробки безпечних протоколів обміну повідомленнями, таких як Signal і Zoom, цей проект спрямований на розробку надійних рішень конфіденційності для транзакцій блокчейну.
Оцінка стійкості Sui до мережевих атак
Пратік Міттал (Принстонський університет)
У цьому дослідженні досліджується стійкість мережі валідатора Sui до атак маршрутизації на рівні мережі, зокрема викрадення протоколу прикордонного шлюзу (BGP) і атак DDoS. Дослідження оцінюватиме стійкість вузлів валідації до цих загроз з кінцевою метою розробки функції оцінки стійкості для відповідного коригування виплат перевірки та стимулювання безпечного з’єднання через мережеву архітектуру нового покоління SCION. Це дослідження буде найдетальнішим моделюванням стійкості BGP до викрадення на сьогоднішній день, включаючи аспекти маршрутизації в реальному світі, щоб забезпечити надійність і надійність Sui.
Швидші zk-SNARK від накопичення
Бенедикт Бюнц (Нью-Йоркський університет)
Це дослідження спрямоване на вдосконалення коротких неінтерактивних аргументів знань із нульовим знанням (zk-SNARKs), підвищення конфіденційності та ефективності блокчейну. За допомогою методів «накопичення» обчислення розбиваються на невеликі кроки та об’єднуються, що спрощує перевірку. Цей метод може покращити агрегацію підписів у таких системах, як Bullshark і Narwhal, пропонуючи більш ефективну перевірку. Проект спрямований на те, щоб зробити zk-SNARK швидшими та легшими для практичного застосування.
Повністю децентралізований zkLogin з біометричними методами входу та перемиканням постачальників входу
Jieliang Yin (Університет науки і технологій Гонконгу)
Сучасні блокчейн-системи стикаються з проблемами в автентифікації користувача, сильно покладаючись на користувачів для керування паролями або певними пристроями, що може бути незручним і небезпечним. Це запропоноване дослідження вирішує цю проблему, вводячи децентралізоване рішення zkLogin, яке використовує біометричні методи ідентифікації, такі як відбиток голосу, відбиток пальця, розпізнавання обличчя та райдужної оболонки ока. Цей підхід позбавляє користувачів від необхідності запам’ятовувати або носити щось із собою та дозволяє їм перемикатися між різними постачальниками послуг, підвищуючи як зручність, так і безпеку, одночасно забезпечуючи безперервний доступ до своїх облікових записів у блокчейні.
MoveGen: Створення безпечних смарт-контрактів на основі природної мови та специфікацій безпеки
Вейдонг Ши та Рабімба Каранджаї (Університет Х’юстона)
Цей проект має на меті покращити SolMover, інструмент для генерації коду Move, шляхом удосконалення LLM генератора завдань, розширення набору даних коду Move та інтеграції механізмів виправлення помилок. Дослідження вивчатиме пряму генерацію коду Move зі специфікацій природної мови, використовуючи зворотний зв’язок компілятора для ітераційного підвищення точності та якості коду. Крім того, для забезпечення правильності та надійності згенерованих контрактів Move будуть використані вдосконалені методи вирівнювання безпеки, виправлення на основі linter та автоматична генерація модульних тестів.
Масштабованість від віртуальних машин без знань
Санджам Гарг (Каліфорнійський університет, Берклі)
zk-proofs — це потужний криптографічний інструмент, який забезпечує безпеку та конфіденційність у блокчейн-додатках. zk-proofs засвідчують правильне виконання обчислень, не розкриваючи жодних вхідних даних, що робить їх ключовими для таких програм, як верифіковані бази даних, приватне голосування та анонімні облікові дані. Впровадження zk-proofs для віртуальної машини Move дозволить клієнтам виконувати смарт-контракти локально та надсилати докази, зменшуючи робоче навантаження майнерів і підтримуючи контракти з інтенсивними обчисленнями. Це також допоможе ввімкнути програми для збереження конфіденційності на Sui.
SuiGPT AutoTest: створюйте комплексні модульні тести Move за допомогою великих мовних моделей
Кен Кедінгер та Ісон Чен (Університет Карнегі-Меллона)
Хоча тестування має вирішальне значення для підтримки цілісності смарт-контракту, створення модульних тестів займає дуже багато часу. У цьому дослідженні досліджується використання LLM для допомоги в написанні цих тестів. Початкові успіхи завдяки швидкому розробці показують, що LLM можуть генерувати ефективний тестовий код, який можна компілювати. Це дослідження дозволить розробити SDK і розширення Visual Studio Code, щоб допомогти розробникам Move легко створювати комплексні модульні тести, підвищуючи ефективність і надійність.
Ми хотіли б подякувати всім, хто подав пропозиції для програми Sui Academic Research Awards.
Для тих, кого зацікавила програма, просимо надсилати свої пропозиції для наступного раунду до 5 липня 2024 року.
