深潮 TechFlow 消息，ZK 證明生成層 Cysic 在 X 平臺發文稱，Cysic 團隊與以太坊基金會的 zhangzhenfei 合作完成了 Jolt-b 論文，改進了 @a16z 開發的 zkVM 方案 Jolt 的遞歸友好性，使其更加高效。現在 zkVM 可以執行任意大小的程序，並生成證明執行的 ZK 證明。實現這一點的關鍵在於將程序拆分爲子程序，爲每個子程序生成證明，然後使用遞歸證明確認所有子程序證明的正確性。

Jolt-b 通過採用一種稱爲 Basefold 的替代承諾方案，提高了遞歸友好性，並使 IOP（交互式證明）更加高效。這種方法類似於 Plonky2 對 Plonk 方案的增強。此外，Cysic 團隊指出，Irreducible 開發的證明後端 Binius 雖然不適合構建 zkVM，但在預編譯方面表現良好。Binius 通過使用最小的二次冪域來優化證明覆雜度，但在處理 u16 或 u32 結構時增加了遞歸證明的複雜性。