Noticias de Deep Tide TechFlow, la capa de generación de prueba ZK Cysic emitió un documento sobre Efficient. Ahora zkVM puede ejecutar programas de cualquier tamaño y generar pruebas ZK que demuestren la ejecución. La clave para lograr esto es dividir el programa en subrutinas, generar pruebas para cada subrutina y luego usar pruebas recursivas para confirmar la exactitud de todas las pruebas de subrutina.

Jolt-b mejora la facilidad de recursión y hace que las IOP (pruebas interactivas) sean más eficientes mediante el empleo de un esquema de compromiso alternativo llamado Basefold. Este enfoque es similar a la mejora del esquema Plonky de Plonky2. Además, el equipo de Cysic observó que Binius, el backend de prueba desarrollado por Irreducible, aunque no es adecuado para construir zkVM, funciona bien en la precompilación. Binius optimiza la complejidad de la prueba utilizando el dominio de potencia cuadrático más pequeño, pero aumenta la complejidad de las pruebas recursivas cuando se trata de estructuras u16 o u32.