#zkvm todavía tiene productos innovadores en desarrollo En comparación con @boundless_xyz, que es un zkvm riscb genérico, todas las pruebas se basan en el conjunto de instrucciones genérico de cada circuito. Brevis zkvm utiliza - Un enfoque de pegamento, que proviene originalmente de un blog de Vitalik. - 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 categoría de 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 costo de las pruebas zk. Es una solución bastante pragmática. Introducción detallada: