Berita TechFlow yang dalam, lapisan generasi bukti ZK Cysic mengeluarkan dokumen tentang Efisien. Sekarang zkVM dapat menjalankan program dengan ukuran berapa pun dan menghasilkan bukti ZK yang membuktikan eksekusinya. Kunci untuk mencapai hal ini adalah dengan membagi program menjadi subrutin, menghasilkan bukti untuk setiap subrutin, dan kemudian menggunakan bukti rekursif untuk memastikan kebenaran semua bukti subrutin.
Jolt-b meningkatkan keramahan rekursi dan membuat IOP (bukti interaktif) lebih efisien dengan menggunakan skema komitmen alternatif yang disebut Basefold. Pendekatan ini mirip dengan penyempurnaan skema Plonk oleh Plonky2. Selain itu, tim Cysic mencatat bahwa Binius, backend bukti yang dikembangkan oleh Irreducible, meskipun tidak cocok untuk membangun zkVM, memiliki kinerja yang baik dalam pra-kompilasi. Binius mengoptimalkan kompleksitas pembuktian dengan menggunakan bidang pangkat kuadrat terkecil, tetapi menambahkan kompleksitas pembuktian rekursif ketika menangani struktur u16 atau u32.