TechFlow đưa tin, lớp tạo bằng chứng ZK – Cysic đã đăng bài trên nền tảng X cho biết, nhóm Cysic cùng với Zhangzhenfei thuộc Quỹ Ethereum đã hợp tác hoàn thành bài báo Jolt-b, cải tiến tính thân thiện với đệ quy của giải pháp zkVM Jolt do @a16z phát triển, giúp hệ thống hiệu quả hơn. Giờ đây zkVM có thể thực thi các chương trình với kích thước tùy ý và tạo ra bằng chứng ZK về việc thực thi. Chìa khóa để đạt được điều này là chia nhỏ chương trình thành các tiểu chương trình, tạo bằng chứng cho từng tiểu chương trình, 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 tiểu chương trình.
Jolt-b nâng cao khả năng thân thiện với đệ quy bằng cách áp dụng một phương án cam kết thay thế gọi là Basefold, đồng thời làm cho IOP (bằng chứng tương tác) hiệu quả hơn. Phương pháp này tương tự như cách Plonky2 cải tiến giao thức Plonk. Ngoài ra, nhóm Cysic chỉ ra rằng backend tạo bằng chứng Binius do Irreducible phát triển tuy không phù hợp để xây dựng zkVM nhưng lại hoạt động tốt trong lĩnh vực tiền biên dịch. Binius tối ưu hóa độ phức tạp bằng chứng bằng cách sử dụng trường lũy thừa bậc hai nhỏ nhất, tuy nhiên lại làm tăng độ phức tạp của bằng chứng đệ quy khi xử lý các cấu trúc u16 hoặc u32.
