Jaký je nejrychlejší folding / IVC SNARK v současnosti?

Má optimalizovanou implementaci?