Математический олимпиец в тени Джона Нэша пытается решить дилемму доверия к блокчейну и ИИ

В математике Джаспер Чжан считается своего рода Зевсом. Он говорит, что выиграл золотые медали на математических олимпиадах в Китае и России, и ему потребовалось всего два года, чтобы получить степень доктора философии в Калифорнийском университете в Беркли.

Теперь он пробует свои силы в решении ключевой проблемы на стыке двух самых быстрорастущих, но и самых сложных областей — блокчейна и искусственного интеллекта.

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

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

Компанию Hyperbolic в 2022 году основали Чжан и Юйчэнь Цзинь, имеющий докторскую степень в области компьютерных наук Вашингтонского университета.

По словам команды, концепция нового протокола была создана совместно с исследователями из Беркли и Колумбийского университета. Она объединяет математику, информатику и экономику, применяя «продвинутые методы выборки и теорию игр для стимулирования целостности и минимизации вычислительных требований в децентрализованных сетях», — поделилась Hyperbolic в пресс-релизе с CoinDesk.

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

«Сначала люди думали, что есть только ONE способ проверки — консенсус», — сказал Чжан. «Позже люди обнаруживают, оптимистическое доказательство, а затем доказательства ЗК.”

Теперь есть PoSP, сказал он, и его можно применять не только к ИИ, но и к сверткам, типу блокчейна второго уровня, а также к так называемым активно проверяемым сервисам (AVS), которые представляют собой протоколы, защищенныепротоколы повторного взятиякак EigenLayer.

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

Согласно статье, конструкция основана на «чистой стратегии равновесия Нэша». Это относится к концепции теории игр, приписываемой математику, получившему образование в Принстонском университете, Джону Нэшу, который стал героем удостоенного премии «Оскар» фильма 2001 года.Прекрасный разум, режиссер Рон Ховард, в главной роли Рассел Кроу.

Вот рисунок из статьи, иллюстрирующий архитектуру:

В рамках этого релиза Hyperbolic представляет «spML» — реализацию PoSP, созданную специально для проверки с помощью ИИ.

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

Теперь им осталось доказать, что это работает на практике.

Читать дальше: Факторы, способствующие децентрализованному ИИ