#可验证计算 - RiscZero CEO 播客访谈 AI быстро развивается, повышая производительность, но также снижает затраты на подделку/мошенничество. Больше RWA на блокчейне, но подвергаются ли активы на блокчейне программной верификации и аудиту? Если нет гарантии верификации, эти активы RWA подвергаются большому риску. Я помню, что в 23-24 годах была волна zk-аудитов активов CEX, но в будущем, с увеличением количества RWA на блокчейне, потребуется больше верификации активов и аудита. В будущем проверяемость интернета и прозрачность программ будут ключевыми характеристиками. Потенциал сочетания блокчейна и AI огромен, а проверяемые вычисления являются основой инфраструктуры. В проверяемых вычислениях проекты 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, безопасности цепочки поставок и других сценариев. Полный текст интервью: длинный текст с изображениями.