Tin tức TechFlow thủy triều sâu, lớp tạo bằng chứng ZK Cysic đã ban hành một tài liệu về Hiệu quả. Giờ đây zkVM có thể thực thi các chương trình ở mọi kích thước và tạo bằng chứng ZK chứng minh việc thực thi. Chìa khóa để đạt được điều này là chia chương trình thành các chương trình con, tạo bằng chứng cho từng chương trình con và sau đó sử dụng bằng chứng đệ quy để xác nhận tính đúng đắn của tất cả các bằng chứng chương trình con.

Jolt-b cải thiện tính thân thiện với đệ quy và làm cho IOP (bằng chứng tương tác) hiệu quả hơn bằng cách sử dụng một sơ đồ cam kết thay thế có tên Basefold. Cách tiếp cận này tương tự như việc cải tiến sơ đồ Plonk của Plonky2. Ngoài ra, nhóm Cysic lưu ý rằng Binius, phần phụ trợ bằng chứng được phát triển bởi Irreducible, tuy không phù hợp để xây dựng zkVM, nhưng lại hoạt động tốt trong quá trình biên dịch trước. Binius tối ưu hóa độ phức tạp của chứng minh bằng cách sử dụng trường lũy ​​thừa bậc hai nhỏ nhất, nhưng tăng thêm độ phức tạp của chứng minh đệ quy khi xử lý các cấu trúc u16 hoặc u32.