#zkvm по-прежнему появляются инновационные продукты В отличие от @boundless_xyz, которые представляют собой универсальный risc-b zkvm, все доказательства основаны на доказательствах каждого цепного устройства общего набора команд. Brevis zkvm использует - Схему склеивания, которая впервые появилась в блоге Виталия Бутерина - Определение тех затратных специфических операций, которые составляют большую часть вычислений (обычно это хеши и подписи), а затем создание специализированных модулей для эффективного доказательства этих операций. Объединяя неэффективную, но универсальную систему доказательств vm с эффективной, но специализированной системой доказательств, можно получить лучшее из обоих миров. На самом деле это немного похоже на технологию предварительной компиляции evm, которая относится к технологии предварительной компиляции на уровне цепи. - Инновации в области цепей 1) Чистые zk-доказательства, проблема стоимости всегда остается. 2) op-zk-доказательства, то есть zk-доказательства генерируются только в случае изменений, а затем цепь проверяет доказательства. Если изменений нет, то подтверждение оптимистичное. Это должно относиться к новому классу opzk. Основная задача - решить две проблемы: проблему стоимости zk-доказательств. Довольно практичное решение. Подробное описание:

Только исправлено = 》 Только оспорено Исправление опечатки

Только что поговорил с @brevis_zk, основателем, они используют набор команд RISC-V, в сочетании с предкомпилированными схемами.

Кажется, что эта компания имеет наибольшие шансы на масштабирование, потому что она сделала много дизайна с учетом затрат на свои решения.