Derin gelgit TechFlow haberleri, ZK geçirmez nesil Cysic katmanı Efficient hakkında bir belge yayınladı. Artık zkVM her boyuttaki programı yürütebilir ve yürütmeyi kanıtlayan ZK kanıtları oluşturabilir. Bunu başarmanın anahtarı, programı alt programlara bölmek, her bir alt program için kanıt oluşturmak ve ardından tüm alt program kanıtlarının doğruluğunu onaylamak için özyinelemeli kanıtları kullanmaktır.

Jolt-b, özyineleme dostu olmayı geliştirir ve Basefold adı verilen alternatif bir taahhüt şeması kullanarak IOP'leri (etkileşimli kanıtları) daha verimli hale getirir. Bu yaklaşım Plonky2'nin Plonk şemasını geliştirmesine benzer. Ek olarak Cysic ekibi, Irreducible tarafından geliştirilen kanıt arka ucu Binius'un zkVM oluşturmak için uygun olmasa da ön derlemede iyi performans gösterdiğini belirtti. Binius, ikinci dereceden alanın en küçük gücünü kullanarak kanıt karmaşıklığını optimize eder, ancak u16 veya u32 yapılarıyla uğraşırken yinelemeli kanıtların karmaşıklığını ekler.