Правда, которую никогда не скажут вам в новостях: <Хорошо следите за рынком и исследуйте, серьезно печатайте деньги, я всего лишь матричный аккаунт, но никогда не размещаю чертову рекламу>: Ziren как zkVM ZKM, сам по себе является скрытым двигателем расширения Bitcoin. Все говорят о расширении Bitcoin, о rollup альянсах, но очень мало кто обращает внимание на тихо работающую машину на заднем плане: Ziren. Он не главный герой на сцене. Но без него свет не загорится, занавес не откроется. GOAT @GOATRollup в реальном времени на Bitcoin rollup, за ним стоит Ziren, который за миллисекунды превращает вычисления в доказательства. Дизайн Ziren очень противоречив: он не гонится за новыми RISC-V, а закрепляется на старом MIPS32r2. На вид скучно, но так же стабильно, как консенсус Bitcoin. Не трогая нижний уровень, позволяя аудиту, компиляторам и оптимизации доказательств накапливаться, это и есть так называемая Долговечность Доказательства = Долговечность Bitcoin. Его путь доказательства похож на трио: STARK в основе, рекурсивное сжатие гарантирует постоянный размер, затем накладывается слой SNARK, который непосредственно реализуется на цепочке. Распределенные доказательства, ускорение GPU, превращают теорию в реальность. Не просто может работать, а может идти в ногу с человеческой скоростью. Внешние оценки также говорят: Ziren уже может работать с 30-кратным ускорением в смешанной среде CPU/GPU, в браузере также можно напрямую проверять. Конечно, он все еще на стадии бета, API, отладка, прозрачность GPU все еще нуждаются в доработке. Но дорожная карта очень ясна: Поддержка Go, универсальный verifier, интеграция BitVM2, шаг за шагом расширяя экосистему. Расширение Bitcoin — это не только шумная сцена rollup, настоящий предел определяют эти скрытые в фоновом режиме zkVM. История всегда такова: будущее определяют не приложения, которые у вас на виду, а инфраструктура, которую вы не видите. Ziren, возможно, является скрытым двигателем программируемости Bitcoin.