#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 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 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 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) 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 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:

Solo se ha ajustado = 》 Solo se ha desafiado Corrección de error tipográfico

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 para escalar, porque ha hecho muchos diseños en el lado de costos de su propuesta.