Giải pháp gập / IVC SNARK nhanh nhất hiện nay là gì?

Nó có một triển khai tối ưu hóa không?