Источник: аккаунт Hyperstructured.greg X
Автор: Hyperstructured.greg
Составитель: Алекс Лю, Foresight News
Инфраструктурная компания ZK RISC Zero, которая привлекла финансирование в размере 40 миллионов долларов США, сегодня официально запустила zkVM 1.0, готовую к производству версию своей универсальной zkVM. На треке zkVM уже есть плееры, которые можно запустить в производство, но большинство людей часто слышат в ушах «zkEVM», но они не понимают, что такое слово «zkVM». В этой статье представлены преимущества набора команд, выбранного большинством zkVM. Дополнительные сведения о zkVM можно узнать из этой статьи.
zkVM более универсален, чем zkEVM, открывает возможность написания программ на универсальном языке и написания кода вне библиотеки Solidity, и сегодня он стал популярным направлением. Лучшие проекты на треке — RISC Zero, Succint, Lita и jult, созданные a16z, — все основаны на наборе команд RISC-V. Каковы его преимущества? Почему будущее zkVM будет основано на архитектуре RISC-V? Почему @rv_inc создает инструменты, позволяющие формальную проверку на уровне RISC-V?
Набор команд RISC-V в основном имеет следующие преимущества:
Открытая и расширяемая архитектура:
RISC-V — это открытая стандартная архитектура набора команд (ISA), которая бесплатна для любого типа использования и легко адаптируется и настраивается. Это позволяет разработчикам zkVM адаптировать архитектуру специально для проверочных операций, оптимизируя производительность и эффективность. Почему Linux занимает наибольшую долю серверных систем? Слово «бесплатно» действительно важно!
Модульность и гибкость:
Модульная природа RISC-V позволяет разработчикам zkVM реализовывать только те функции, которые им необходимы, избегая ненужных сложностей и накладных расходов. Преимущества модульности слишком подчеркивались в этом цикле и не будут здесь повторяться.
Стандартизация и поддержка экосистемы:
RISC-V имеет быстрорастущую экосистему с обширной поддержкой набора инструментов, включая компиляторы и отладчики, например @rv_inc, который создает формальные инструменты проверки для RISC-V ISA. Быстро развивающаяся экология означает огромное пространство для инноваций, которые иногда могут привести к синергетическому эффекту, убивая двух зайцев одним выстрелом.
Эффективное создание и проверка доказательств:
Простота конструкции RISC-V позволяет более эффективно выполнять сложные алгоритмы, связанные с доказательствами с нулевым разглашением. Используя архитектуру набора команд RISC-V, «zkVM» может добиться более высокой производительности с точки зрения скорости и использования ресурсов, которые имеют решающее значение для агрегирования доказательств.
Безопасность и формальная проверка:
Ясная и четко определенная архитектура RISC-V упрощает применение формальных методов проверки, которые имеют решающее значение для обеспечения безопасности и корректности zkVM. Используя RISC-V, разработчики смогут использовать формальные инструменты и методы проверки для создания более безопасных zkVM.
Межплатформенная совместимость:
Совместимость между RISC-V и различными аппаратными платформами, включая Такая гибкость является ключом к широкому распространению конвергентных решений, поскольку она обеспечивает плавную интеграцию в разрозненные системы.
Универсальность языка:
RISC-V не имеет встроенной концепции адресов кошельков или других структур блокчейна. Набор команд в основном состоит из операторов, которые перемещают данные между ячейками памяти и выполняют математические операции с данными. В то же время, по сравнению с EVM, базовый эмулятор RISC-V позволяет программистам писать программы для zkVM на таких языках, как Rust, C/C++ и Go. Это означает, что программисты zkVM могут использовать связанные библиотеки, разработанные другими участниками экосистемы языка. Такие как библиотека Rust, разработанная для Solana и так далее.
Поскольку концепция «универсальных вычислений» становится все более популярной, какую искру привнесет zkVM в нынешнюю жестокую конкуренцию виртуальных машин (MoveVM, SVM, EVM, zkEVM...)? Сможет ли он добиться широкого распространения и прочно закрепиться? Дебютировал первый игрок RISC Zero, а остальные проверит время.
