Nouvelles TechFlow à marée profonde, la couche de génération de preuves ZK Cysic a publié un document sur l'efficacité. Désormais, zkVM peut exécuter des programmes de n'importe quelle taille et générer des preuves ZK prouvant l'exécution. La clé pour y parvenir est de diviser le programme en sous-programmes, de générer des preuves pour chaque sous-programme, puis d'utiliser des preuves récursives pour confirmer l'exactitude de toutes les preuves de sous-programmes.

Jolt-b améliore la convivialité de la récursivité et rend les IOP (preuves interactives) plus efficaces en utilisant un schéma d'engagement alternatif appelé Basefold. Cette approche est similaire à l'amélioration du schéma Plonk par Plonky2. De plus, l'équipe Cysic a noté que Binius, le backend de preuve développé par Irreductible, bien qu'il ne soit pas adapté à la construction de zkVM, fonctionne bien en pré-compilation. Binius optimise la complexité des preuves en utilisant la plus petite puissance de champ quadratique, mais ajoute la complexité des preuves récursives lorsqu'il s'agit de structures u16 ou u32.