#可验证计算 - Інтерв'ю з генеральним директором RiscZero Стрімкий розвиток штучного інтелекту підвищив продуктивність, але також знизив вартість підробок/шахрайства. Більше RWA на ланцюжку, але чи програмно перевірені та перевірені активи в ланцюжку, якщо немає гарантії верифікації, ці активи RWA стикаються з великими ризиками, я пам'ятаю, що була хвиля аудиту активів CEX zk через 23-24 роки, але в майбутньому потрібно більше 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) запитує дані у хоста та проводить верифікацію для збереження конфіденційності. Технологія впровадження та прискорення застосування СТАРКів: Використовуйте STARK для доведення структур повторення, таких як такти процесора, які відповідають моделі виконання синхронізації віртуальної машини. Рекурсивна підтримка: У розробці валідатор Rust може бути запущений у віртуальній машині ZK для перевірки доказів та реалізації інкрементних доказів (наприклад, від генезисних блоків до N+1 блоків). Апаратне прискорення: наразі до 30 000 циклів/сек на M1 Pro, 1 мільйон циклів/сек для Metal/CUDA та близько 10 мільйонів циклів/сек для графічного процесора 3090. Підтримуються схеми прискорювачів, такі як SHA-256, а в майбутньому планується додати скінченну область і великі цілочисельні аналогові прискорювачі. Розпаралелювання: Proof процеси можуть бути розпаралелені, підходять для прискорення графічного процесора, зменшують затримку та підтримують великомасштабні обчислення (наприклад, запуск компілятора). Vision & Application Cloud 2.0: Мета полягає в тому, щоб побудувати децентралізовану публічну хмару, яка підтримує DeFi, ігри, NFT і складні програми (такі як бази даних SQL, соціальні мережі) і досягає «транзакційних витрат настільки низьких, що вимірювання не потрібне». Блокчейн L1: Розробіть L1 і використовуйте ZK для оптимізації механізму консенсусу («Proof of Transaction»), який використовує кількість обчислень, а не кількість транзакцій, для визначення найдовшого ланцюга, підтримуючи мільярди транзакцій в секунду. Випадки використання: Вони включають безпеку ланцюга поставок (доводить, що двійкові файли походять із перевіреного вихідного коду), відстеження фізичних активів тощо. Зв'язок екології та екології майбутнього: Планується інтеграція з іншими блокчейнами, такими як Ethereum, через мости або валідатори для підтримки перевірки доказів Risc0 або запуску EVM на Ethereum. Дорожня карта: Поточна версія має відкритий вихідний код, а наступна версія (включаючи рекурсивне та прискорення графічного процесора) скоро буде з відкритим вихідним кодом. DevNet планується запустити наприкінці 2022 або на початку 2023 року, а бета-реєстрація буде випущена через Twitter та інші. Risc0 існує як L1, чи буде він підключатися до інших мереж або мережевих кластерів? Щось на кшталт @VitalikButerin's eth, @gavinwood's @Polkadot, Cosmos? Брайан каже, що це майже напевно з'єднається. Технологія Risc0 вважається широко застосовним інструментом. Хоча компанія має власне бачення L1, вона також хоче, щоб ця технологія служила іншим екосистемам. Виклики та роздуми про легкість програмування: Знизьте вхідний бар'єр для розробників з існуючими мовами та наборами інструментів без необхідності вивчати нові мови або арифметичні схеми. Перспективи апаратного прискорення: У короткостроковій перспективі графічні процесори домінують через незрілу математику та тривалі цикли розробки ASIC. FPGA та ASIC можуть використовуватися в специфічних схемах SNARK. Конкуренція та позиціонування: На відміну від інших ZK VM/EVM проєктів, Risc0 робить акцент на універсальності та масштабуванні на рівні хмари з урахуванням екосистеми Ethereum та інших мереж. Risc0 використовує RISC-V і STARK для створення віртуальних машин ZK для вирішення проблеми масштабованості розподілених систем з метою децентралізації загальнодоступної хмари та підтримки великомасштабних обчислень, що зберігають конфіденційність. Доступна поточна версія з відкритим вихідним кодом, незабаром буде доступне прискорення GPU та підтримка рекурсії, а також планується збірка L1 та інтеграція з іншими екосистемами, придатними для DeFi, безпеки ланцюга поставок та інших сценаріїв Повне інтерв'ю: Довге текстове зображення