Qual é o SNARK de dobra / IVC mais rápido atualmente?

Tem uma implementação otimizada?