現在、最も高速なフォールディング / IVC SNARK は何ですか？

最適化された実装はありますか？