Deep tide TechFlow news, ZK proof generation layer Cysic a emis un document privind eficient. Acum zkVM poate executa programe de orice dimensiune și poate genera dovezi ZK care demonstrează execuția. Cheia pentru a realiza acest lucru este de a împărți programul în subrutine, de a genera dovezi pentru fiecare subrutine și apoi de a folosi dovezi recursive pentru a confirma corectitudinea tuturor probelor de subrutine.

Jolt-b îmbunătățește ușurința recursiunii și face IOP-urile (dovezi interactive) mai eficiente prin utilizarea unei scheme alternative de angajament numită Basefold. Această abordare este similară cu îmbunătățirea de către Plonky2 a schemei Plonk. În plus, echipa Cysic a remarcat că Binius, backend-ul de probă dezvoltat de Irreductible, deși nu este potrivit pentru construirea zkVM, funcționează bine în pre-compilare. Binius optimizează complexitatea dovezilor utilizând cel mai mic domeniu al puterii pătratice, dar adaugă complexitatea demonstrațiilor recursive atunci când se ocupă de structuri u16 sau u32.