#可验证计算 - RiscZero CEO 播客访谈 AI быстро развивает производительность, но также снижает затраты на подделку/мошенничество. Больше RWA на блокчейне, но подвергаются ли активы на блокчейне программной верификации и аудиту? Если нет гарантии верификации, эти активы RWA подвергаются большому риску. Я помню, что в 23-24 годах была волна zk-аудита активов CEX, но в будущем, с увеличением количества RWA на блокчейне, потребуется больше верификации активов и аудита. В будущем проверяемость интернета и прозрачность программ будут ключевыми характеристиками. Потенциал сочетания блокчейна с AI/RWA огромен, а проверяемые вычисления являются одной из основных инфраструктур в этом контексте. В проверяемых вычислениях проекты zk @RiscZero и @boundless_xyz реализуют проверяемые вычисления через RISC-V и ZK VM. С 2003 года я слежу за RiscZero, от zkvm до конкретного zk L1, он постоянно развивается. Ниже я делюсь ранее записанным интервью с их основателем @zeroknowledgefm, чтобы глубже понять выбор технологий, бизнес-идеи и т.д. Это интервью было записано до публикации @boundless_xyz, но предыдущее интервью уже раскрыло планы по L1. Если у вас хорошее понимание английского? Слушайте оригинал: Резюме интервью: Основная технология Risc0 ZK VM и RISC-V: Risc0 построил ZK VM, который выполняет код RISC-V и поддерживает программы, скомпилированные на C, C++, Rust и других языках, подобно виртуальному микроконтроллеру, с нулевыми знаниями (скрывающими входные данные и программу). Выбор RISC-V: из-за его открытости, отсутствия ограничений по интеллектуальной собственности, простоты и эффективности, а также наличия тестов на соответствие и формальных моделей, он подходит для реализации в ZK-цепях. Конфиденциальность и масштабируемость: поддержка нулевых знаний как для выполнения программ, так и для самих программ, первоначально сосредоточена на масштабируемости для поддержки сложной экосистемы приложений, конфиденциальность (например, ZK-идентичность) является направлением на будущее. Память и недетерминированность: память представлена 32-битными числами, начальное состояние кодируется через структуру Меркла; поддержка недетерминированных запросов данных, гость (ZK VM) запрашивает данные у хоста и проверяет, сохраняя конфиденциальность. Техническая реализация и ускорение применения STARKs: Использование STARKs для доказательства повторяющихся структур (например, временные шаги процессора), подходит для временной модели выполнения VM. Поддержка рекурсии: в разработке, поддержка выполнения Rust-валидатора внутри ZK VM, проверка доказательства, реализация инкрементальных доказательств (например, от генезис-блока до N+1 блока). Аппаратное ускорение: в настоящее время на M1 Pro достигает 30 000 циклов/сек, ожидается, что GPU-ускорение (Metal/CUDA) составит 1 000 000 циклов/сек, GPU 3090 около 10 000 000 циклов/сек. Поддержка ускоряющих цепей, таких как SHA-256, в будущем планируется добавить ускорители для конечных полей и больших целых чисел. Параллелизация: процесс доказательства может быть параллелен, подходит для GPU-ускорения, снижает задержку, поддерживает масштабные вычисления (например, выполнение компилятора). Видение и применение Cloud 2.0: Цель - построить децентрализованное общественное облако, поддерживающее DeFi, игры, NFT и сложные приложения (например, SQL базы данных, социальные сети), достигая "низких до непомерных транзакционных затрат". L1 блокчейн: Разработка L1, использование ZK для оптимизации механизма консенсуса ("доказательство транзакций"), использование объема вычислений, а не количества транзакций для определения самой длинной цепи, поддержка десятков миллиардов транзакций в секунду. Примеры использования: включая безопасность цепочки поставок (доказательство, что бинарные данные происходят из проверенного исходного кода), отслеживание физических активов и т.д. Экосистема и будущее соединение экосистем: Планируется интеграция с другими блокчейнами (например, Ethereum) через мосты или валидаторы, поддержка проверки доказательств Risc0 на Ethereum или выполнения EVM. Дорожная карта: текущая версия открыта, следующая версия (включающая рекурсию и GPU-ускорение) скоро будет открыта. Планируется запустить DevNet в конце 2022 года или начале 2023 года, с публикацией тестовой регистрации через Twitter и т.д. Существует ли Risc0 как L1, будет ли он подключаться к другим сетям или сетевым кластерам? Например, к таким как @VitalikButerin eth, @gavinwood @Polkadot, Cosmos и т.д.? Брайан заявил, что почти наверняка будет подключение. Рассматривайте технологии Risc0 как широко применимые инструменты. Хотя у него есть собственное видение L1, он также надеется, что эта технология будет служить другим экосистемам. Вызовы и размышления о простоте программирования: Снижение порога для разработчиков через существующие языки и инструменты, без необходимости изучать новый язык или арифметические цепи. Перспективы аппаратного ускорения: В краткосрочной перспективе доминируют GPU, из-за незрелости математики и длительного цикла разработки ASIC; FPGA и ASIC могут быть применены в определенных SNARK-цепях. Конкуренция и позиционирование: В отличие от других проектов ZK VM/EVM, Risc0 подчеркивает универсальность и масштабируемость на уровне облака, учитывая экосистему Ethereum и другие сети. Risc0 использует RISC-V и STARKs для построения ZK VM, решая проблемы масштабируемости распределенных систем, цель - децентрализованное общественное облако, поддерживающее масштабные вычисления с защитой конфиденциальности. Текущая открытая версия уже доступна, поддержка GPU-ускорения и рекурсии скоро будет выпущена, планируется построить L1 и интегрироваться с другими экосистемами, подходящими для DeFi, безопасности цепочки поставок и других сценариев. Полное содержание интервью: длинный текст с изображениями.