¿Cuál es el SNARK de plegado / IVC más rápido en este momento?

¿Tiene una implementación optimizada?