Care este cel mai rapid folding / IVC SNARK în prezent?

Are o implementare optimizată?