Deep Tide Nowości TechFlow, warstwa generacji dowodu ZK Cysic wydała dokument na temat Efficient. Teraz zkVM może wykonywać programy dowolnej wielkości i generować dowody ZK potwierdzające wykonanie. Kluczem do osiągnięcia tego jest podzielenie programu na podprogramy, wygenerowanie dowodów dla każdego podprogramu, a następnie wykorzystanie dowodów rekurencyjnych w celu potwierdzenia poprawności wszystkich dowodów podprogramów.
Jolt-b poprawia przyjazność dla rekurencji i sprawia, że IOP (interaktywne dowody) są bardziej wydajne dzięki zastosowaniu alternatywnego schematu zobowiązań o nazwie Basefold. To podejście jest podobne do ulepszenia schematu Plonk przez Plonky2. Dodatkowo zespół Cysic zauważył, że Binius, moduł sprawdzający opracowany przez Irreducible, choć nie nadaje się do budowania zkVM, dobrze radzi sobie z prekompilacją. Binius optymalizuje złożoność dowodu, używając najmniejszej potęgi pola kwadratowego, ale dodaje złożoność dowodów rekurencyjnych w przypadku struktur u16 lub u32.