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