Dziļās paisuma TechFlow ziņas, ZK pierādījums paaudzes slānis Cysic izdeva dokumentu par efektīvu. Tagad zkVM var izpildīt jebkura izmēra programmas un ģenerēt ZK pierādījumus, kas pierāda izpildi. Galvenais, lai to panāktu, ir sadalīt programmu apakšprogrammās, ģenerēt katrai apakšprogrammai pierādījumus un pēc tam izmantot rekursīvos pierādījumus, lai apstiprinātu visu apakšprogrammu pierādījumu pareizību.

Jolt-b uzlabo rekursiju draudzīgumu un padara IOP (interaktīvos pierādījumus) efektīvākus, izmantojot alternatīvu saistību shēmu, ko sauc par Basefold. Šī pieeja ir līdzīga Plonky2 Plonk shēmas uzlabojumam. Turklāt Cysic komanda atzīmēja, ka uzņēmuma Irreducible izstrādātā pārbaudes aizmugursistēma Binius, kas nav piemērota zkVM veidošanai, labi darbojas pirmskompilācijas laikā. Binius optimizē pierādījumu sarežģītību, izmantojot mazāko kvadrātiskā domēna pakāpju, bet palielina rekursīvo pierādījumu sarežģītību, strādājot ar u16 vai u32 struktūrām.