Notizie TechFlow sulla marea profonda, lo strato di generazione della prova ZK Cysic ha pubblicato un documento sull'Efficient. Ora zkVM può eseguire programmi di qualsiasi dimensione e generare prove ZK che ne comprovino l'esecuzione. La chiave per raggiungere questo obiettivo è dividere il programma in subroutine, generare prove per ciascuna subroutine e quindi utilizzare prove ricorsive per confermare la correttezza di tutte le prove di subroutine.

Jolt-b migliora la facilità di ricorsione e rende gli IOP (prove interattive) più efficienti impiegando uno schema di impegno alternativo chiamato Basefold. Questo approccio è simile al miglioramento dello schema Plonk da parte di Plonky2. Inoltre, il team Cysic ha notato che Binius, il backend di prova sviluppato da Irreducible, sebbene non adatto alla creazione di zkVM, funziona bene in pre-compilazione. Binius ottimizza la complessità della dimostrazione utilizzando il dominio di potenza quadratica più piccolo, ma aumenta la complessità delle dimostrazioni ricorsive quando si ha a che fare con strutture u16 o u32.