TechFlow, Cysic, couche de génération de preuves ZK, a publié sur la plateforme X que l'équipe Cysic, en collaboration avec zhangzhenfei de la Fondation Ethereum, a finalisé le document Jolt-b, améliorant la convivialité récursive du schéma zkVM Jolt développé par @a16z, le rendant ainsi plus efficace. Désormais, le zkVM peut exécuter des programmes de taille arbitraire et produire des preuves ZK attestant de cette exécution. La clé pour y parvenir consiste à décomposer un programme en sous-programmes, générer une preuve pour chaque sous-programme, puis utiliser une preuve récursive pour vérifier la validité de toutes les preuves des sous-programmes.
Jolt-b améliore la convivialité récursive en adoptant un schéma d'engagement alternatif appelé Basefold, rendant ainsi l'IOP (preuve interactive) plus efficace. Cette approche est similaire à l'amélioration apportée par Plonky2 au schéma Plonk. En outre, l'équipe Cysic indique que Binius, le backend de preuve développé par Irreducible, bien qu'impropre à la construction d'un zkVM, se comporte bien dans les précompilations. Binius optimise la complexité de preuve en utilisant des corps finis de taille égale à une puissance minimale de deux, mais augmente la complexité des preuves récursives lors du traitement de structures u16 ou u32.
