Deep Tide TechFlow News, ZK Proof Generation Layer Cysic hat ein Dokument über die Efficient herausgegeben. Jetzt kann zkVM Programme jeder Größe ausführen und ZK-Beweise generieren, die die Ausführung belegen. Der Schlüssel dazu besteht darin, das Programm in Unterroutinen aufzuteilen, Beweise für jede Unterroutine zu generieren und dann rekursive Beweise zu verwenden, um die Richtigkeit aller Unterroutinenbeweise zu bestätigen.

Jolt-b verbessert die Rekursionsfreundlichkeit und macht IOPs (interaktive Beweise) effizienter, indem es ein alternatives Commitment-Schema namens Basefold verwendet. Dieser Ansatz ähnelt der Erweiterung des Plonk-Schemas durch Plonky2. Darüber hinaus stellte das Cysic-Team fest, dass Binius, das von Irreducible entwickelte Proof-Backend, zwar nicht für die Erstellung von zkVM geeignet ist, bei der Vorkompilierung jedoch eine gute Leistung erbringt. Binius optimiert die Beweiskomplexität durch die Verwendung des kleinsten quadratischen Potenzbereichs, fügt jedoch die Komplexität rekursiver Beweise hinzu, wenn es um u16- oder u32-Strukturen geht.