Hluboký příliv Novinky TechFlow, vrstva generování ZK proof Cysic vydala dokument o Efficient. Nyní může zkVM spouštět programy libovolné velikosti a generovat ZK důkazy prokazující provedení. Klíčem k dosažení tohoto cíle je rozdělit program do podprogramů, vygenerovat důkazy pro každý podprogram a poté použít rekurzivní důkazy k potvrzení správnosti všech důkazů podprogramů.

Jolt-b vylepšuje rekurzi a zefektivňuje IOP (interaktivní důkazy) využitím alternativního schématu závazku zvaného Basefold. Tento přístup je podobný vylepšení Plonky2 ve schématu Plonk. Kromě toho tým Cysic poznamenal, že Binius, backend vyvinutý společností Irreducible, i když není vhodný pro vytváření zkVM, funguje dobře v předkompilaci. Binius optimalizuje složitost důkazů použitím nejmenší mocniny kvadratického pole, ale přidává složitost rekurzivních důkazů při práci se strukturami u16 nebo u32.