#zkvm todavía tiene productos innovadores en desarrollo En comparación con zkvm de tipo riscv general como @boundless_xyz, todas las pruebas se basan en las pruebas de cada circuito del conjunto de instrucciones general. Brevis zkvm utiliza - Un enfoque de pegamento, que proviene originalmente de un blog de Vitalik. - Identificar 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 general del conjunto de instrucciones de la máquina virtual con un sistema de pruebas eficiente pero especializado, se pueden obtener lo mejor de ambos mundos. En realidad, es un poco similar a la técnica de precompilación de EVM, que pertenece a la categoría de técnicas de precompilación a nivel de circuito. - Innovaciones en la cadena 1) Pruebas zk puras, 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 permite 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 un enfoque bastante pragmático. Descripción detallada:

Solo se ha ajustado = 》 Solo se ha desafiado Corrección de errores tipográficos

Acabo de hablar con @brevis_zk, el fundador, sobre su conjunto de instrucciones que también es RISC-V, combinado con circuitos precompilados.

Siento que esta empresa es la más probable de escalar, porque ha hecho muchos diseños en el lado de costos de su propuesta.