ZK'yı şöyle açıklayalım: 📚 ZK, Sıfır Bilgi anlamına gelir ve iki süper gücü açar: Gizlilik ve Ölçek. ZK, hem ZK-STARK'ların ortak mucidi olarak hem de 2 ZK projesinin kurucu ortağı olarak kalbime yakın; @Zcash (gizlilik odaklı) ve @StarkWareLtd (ölçek ve şimdi gizlilik odaklı)

@Zcash @StarkWareLtd ZK nasıl çalışır? İki tür varlık vardır: Kanıtlayıcı ve Doğrulayıcı Ağır işi Kanıtlayıcı yapar: - Tüm tx'lerden gelen verilerin kaydedilmesi - Verilerin işlenmesi - Sistemin durumunu güncellemek (yani tüm txs sonrası bakiye) - Durum güncellemesi ve ispat oluşturma

@Zcash @StarkWareLtd Kanıtçıdan tipik bir ifade şöyle der: "Ben, Kanıtlayıcı, A durumundan başladım, 1.000.000 tx işledim ve bunlara dayanarak B durumu". Ispat, tüm ifadenin bütünlüğünü kanıtlamak için kontrol edilebilen sayılar ve hash dizisidir.

@Zcash @StarkWareLtd Doğrulayıcı (genellikle zincir üzerinde durur) kanıtı kontrol eder, matematik ve kriptografi kullanarak ifadenin doğru olup olmadığını kontrol eder, sonra kabul edilir. Yıllar içinde kanıtladığımız teoremler, Doğrulayıcı'nın her zaman doğru ifadeleri kabul ettiğini ve yanlış ifadeleri asla kabul etmediğini söylüyor.

@Zcash @StarkWareLtd Kötü niyetli bir Doğrulamacı, yanlış bir ifadeyi kabul etmeye ikna etmeye çalışabilecek bir Doğrulamacı, kriptografik bir hash fonksiyonunda çarpışma bulmakla benzer bir iş yapmak zorundadır ki bu, Güneşimiz soğumadan önce yapılamaz.

@Zcash @StarkWareLtd ZK neden Gizlilik için iyidir? Doğrulayıcı, ifadenin doğruluğunu doğrulamak için veriyi işlemez. Bu yüzden veriler geçerli olduğu doğrulanabilir ve Doğrulayıcıdan gizli tutulabilir.

@Zcash @StarkWareLtd ZK neden ölçek için iyi? Doğrulayıcı, Prover'ın yaptığı hesaplamayı yeniden yapmak zorunda değil. Kanıtlayıcı 1 milyon txs işlemiş yapabilir, ancak Doğrulayıcı tüm bu sonuçların doğruluğunu doğrulamak için bunu tekrarlamasına gerek kalmaz. Kanıtı kontrol etmek geçerliliklerini kesin hale getirmek için yeterli olacaktır.