目前最快的摺疊/IVC SNARK是什麼？

它是否有優化的實現？