Sıfır bilgi ispatları ve zkSNARK nedir?

Sıfır bilgi ispatları nedir? zkSNARK ve zkSTARK nedir? Nerede kullanımaktadırlar? Faydaları nelerdir? Performans problemleri ve çözümleri nasıldır? Gelecekte bu teknoloji için neler beklenmektedir? Güvenlik açıklıkları var mıdır?