Учасник олімпіади з математики в тіні Джона Неша намагається вирішити проблему довіри до блокчейну та ШІ

У математиці Джаспер Чжан вважається таким собі Зевсом. Каже, що виграв золоті медалі на математичних олімпіадах у Китаї та Росії, а щоб отримати ступінь доктора філософії, йому знадобилося лише два роки. з Університету Каліфорнії, Берклі.

Зараз він пробує свої сили у вирішенні ключової проблеми на перетині двох найбільш швидкозростаючих, але найскладніших сфер – блокчейну та ШІ.

Джаспер Чжан є спікером CoinDesk Фестиваль консенсусу29-31 травня в Остіні, Техас.

Hyperbolic, дворічний стартап, який очолює Чжан і зосереджений на децентралізованих обчисленнях зі штучним інтелектом, заявив у четвер, що він представляє протокол під назвою «Доказ вибірки (PoSP)», спрямований на вирішення проблем із довірою до децентралізованих мереж ШІ.

Hyperbolic був співзасновником у 2022 році Чжан і Юйчен Цзінь, який має ступінь доктора філософії. в інформатиці з Університету Вашингтона.

За словами команди, концепція нового протоколу була створена спільно з дослідниками з Берклі та Колумбійського університету. Він поєднує в собі математику, інформатику та економіку, використовуючи «передові методи вибірки та теорію ігор для стимулювання цілісності та мінімізації обчислювальних вимог у децентралізованих мережах», — поділився Hyperbolic у прес-релізі CoinDesk.

28-річний Чжан сказав в інтерв’ю CoinDesk , що він бачить PoSP як наступну ітерацію верифікації для децентралізованих мереж.

«Спочатку люди думали, що є лише ONE спосіб перевірки, а саме консенсус», — сказав Чжан. «Пізніше люди дізнаються оптимістичне доведення, а потім доведення ZK.”

За його словами, тепер є PoSP, і його можна застосовувати не лише до штучного інтелекту, але й до зведених пакетів, типу блокчейну рівня 2, а також до так званих активно перевірених служб (AVS), які є протоколами, захищеними протоколи переставлення як EigenLayer.

А наукова робота про протокол підтвердження зразків Чжана та кількох співавторів було надіслано 1 травня в arXiv, сховище відкритого доступу, розміщене Корнельським університетом для наукових робіт, які ще не пройшли рецензування.

Згідно з документом, дизайн спирається на «чисту стратегію Рівноваги Неша». Це відноситься до концепції теорії ігор, яку приписують математику Джону Нешу, який отримав освіту в Прінстонському університеті, про якого зняли фільм, який отримав Оскар 2001 року. Прекрасний розум, режисером якого став Рон Говард, з Расселом Кроу в головній ролі.

Ось малюнок із статті, що ілюструє архітектуру:

У рамках випуску Hyperbolic представляє «spML», реалізацію PoSP, створену спеціально для перевірки ШІ.

«SpML використовує основоположні принципи PoSP для створення механізму перевірки, який є не тільки швидшим і безпечнішим, але й економічно доцільним», — сказав Чжан у прес-релізі.

Тепер вони лише повинні довести, що це працює на практиці.

Читайте також: Засоби децентралізованого ШІ