А що, якщо витрати на доведення можна перетворити на відкритий ринок? Це бачення Boundless, представлене @hashcashier (старшим інженером у @RiscZero & @boundless_xyz) на цій сесії SBC @WPReadingClub. Замість того, щоб розробники запускали власну інфраструктуру доказів, Boundless створює інклюзивний ринок доказів, де будь-хто може запросити доказ, встановити ціну, яку він готовий заплатити, і довести змагаються, щоб виконати його. Дизайн вводить модель зворотного голландського аукціону для балансу ціни та живості: запитувачі вказують тайм-аути та мінімальну ціну, тоді як провери ставлять заставу та скорочуються, якщо вони не доставляють. Стимули підкріплюються токеном ZKC, який субсидує витрати за допомогою механізму «доказу перевіреної роботи», винагороджуючи докази не лише за отримання дійсних результатів, але й за доказово витрачені обчислювальні цикли. Ключові теми сесії: • Чому мережі децентралізованого доведення мають значення для масштабування zk-додатків за межами однооператорних налаштувань. • Як Boundless уникає підводних каменів, пов'язаних із запуском ще одного L1 або L2, живучи натомість як набір контрактів, які можна розгорнути де завгодно. • Реальні вимоги: від живлення роллапів до мостового зв'язку з @wormhole без довіри та перевірених обчислень корпоративного рівня. • Компроміси в галузі безпеки, включаючи необхідність резервування (конфігурації з кількома функціями) та формальної перевірки під час введення zkVM у промислове використання. Безмежні рефрейми доводять не як інфраструктуру, якою ви керуєте, а як ринок, до якого ви підключаєтеся – де докази стають товаром, який цінується, постачається та забезпечується відкритою конкуренцією. Зведення: Папір: Також доступно на YouTube: