#zkvm todavía tiene productos innovadores que salen En comparación con @boundless_xyz, que es un zkvm riscv genérico, todas las pruebas se basan en las pruebas de cada circuito del conjunto de instrucciones genérico. Brevis zkvm adopta - Un enfoque de pegado, que proviene originalmente de un artículo de V God - Determinar las operaciones específicas que constituyen la mayor parte de los cálculos y que son costosas (generalmente valores hash y firmas), y luego crear módulos especializados para probar estas operaciones de manera eficiente. Al combinar un sistema de pruebas ineficiente pero genérico de un conjunto de instrucciones de vm con un sistema de pruebas eficiente pero especializado, se pueden obtener lo mejor de ambos mundos. En realidad, es un poco como la tecnología de precompilación de EVM, que pertenece a la tecnología de precompilación a nivel de circuito. - Innovaciones en la cadena 1) Almacenar pruebas zk, el problema de costos siempre está presente. 2) Pruebas op-zk, es decir, solo se genera una prueba zk si se ajusta, y luego se deja que la cadena verifique la prueba. Si no se ajusta, se confirma de manera optimista. Esto debería pertenecer a una nueva categoría de opzk. El núcleo resuelve dos problemas, el problema del costo de las pruebas zk. Es una solución bastante pragmática. Descripción detallada: