EIGENtoken (часть 3)

Еще раз, зачем нужен EIGEN?
EIGEN будет защищать AVS-ы от интерсубъективных ошибок. Например, задеплоенный в виде AVS-а оракул сможет использовать для своей работы:
⁃ рестейкнутый ETH, который будет слэшиться у операторов, допустивших объективные ошибки (напр., двойное подписание чего-то, что нельзя подписывать два раза);
⁃ застейканный EIGEN, который будет обеспечивать защиту от ошибок, наличие которых не может быть проверено алгоритмически “внутри блокчейна” (напр., злонамеренной передачи информации о цене BTC в $1 вместо положенных $60k).
В отличие от ETH, EIGEN будет не слэшиться, а форкаться. Это попытка “вшить” в EIGEN механику социального консенсуса - только вместо выбора каноничной сети выбираться будет каноничный контракт EIGEN’а. Короче slashing for objective failures and forking for subjective failures.

Как работает форк EIGEN?
В случае предполагаемой интерсубъективной ошибки (то есть ошибки, факт которой не может быть подтвержден внутри блокчейна алгоритмически) оператора AVS-а любой желающий (ну почти) может инициировать спор. В рамках этого спора создается форк EIGEN-токена, а по итогам спора по заранее определенным правилам социального консенсуса определяется “правильная” версия EIGEN’a. Примерно тридцать страниц вайтпейпера посвящены описанию того:
⁃ как нам форкать EIGEN так, чтобы это проходило незаметно для не-стейкеров, например тех кто использует EIGEN в дефи или держит на кошельке/бирже (для этого придумали разделение на EIGEN и bEIGEN);
⁃ как правильно врапать (to wrap) bEIGEN в EIGEN и обратно;
⁃ как правильно настроить экономику форка (для этого придумали Deflation-per-fork/DPF, Commitment-per-fork/CPF и пр.);
⁃ какой порядок действий и тайминги нужны для форка EIGEN;
⁃ как правильно рассчитать криптоэкономическую безопасность (для этого придумали способы расчета cost-of-corruption, profit-from-corruption и пр.);
⁃ как будет работать форк EIGEN в условиях множества активных AVS-ов;
⁃ какие приложения можно строить поверх этой архитектуры, и какое будущее ждет EigenLayer.
Ответы (имхо не всегда убедительные) на эти вопросы можно найти в вайтпейпере.

Что еще интересного в вайтпейпере
По всему документу мы читаем, что стейкинг EIGEN нужен для споров по intersubjectively attributable faults. Речь идет об ошибках, в отношении кототорых имеется “почти универсальное согласие наблюдателей”. Кто определяет, когда такое согласие имеется? Что мешает проектам использовать стейкинг EIGEN для разрешения споров о subjective faults? Если ничего, то почему EIgen Labs активно отмахивается от этого юзкейса?

Некоторые из предложенных механик я не смог понять (например, о роли держателей bEIGEN в AVS’ах, не связанных с текущим спором, криптоэкономической математике и мониторинге косяков операторов AVS'ов) - полагаю, не все механики понимают и авторы вайтпейпера, а описанные в нем концепты будут дополняться и корректироваться.

Интересно, что предполагается предоставление большой свободы AVS’ам (архитектура лайт-нод для проверки ошибок, отдельные правила разрешения споров и форка bEIGEN и пр.) - если такой подход сохранится, мы неизбежно увидим рано или поздно косяки в коде со стороны AVS’ов и последующие за ними слэшинги и форки. И наблюдать за этим будет интересно!

Всех заинтересованных в EigenLayer призываю к DYOR’у! Всех задиоривших - к обсуждению в чате @chat0xchat!