Zero-knowledge proof nedir?

Zero-knowledge proof (sıfır bilgi kanıtı), bir iddianın doğruluğunu, onu destekleyen gizli bilgiyi açıklamadan kanıtlamayı sağlayan kriptografik yöntemdir. İddia ve bazı girdiler açık olabilir; gizli kalan, ispatın korumayı amaçladığı bilgidir.

Kanıtı üreten taraf bir koşulu sağladığını gösterir. Doğrulayan taraf, gizli bilgiyi almak yerine kanıtı denetler. Güvence kullanılan protokolün kurallarına ve varsayımlarına bağlıdır; bilgisayara verilen her iddianın gerçek dünyada doğru olduğunu kendiliğinden kanıtlamaz.

Örnek

Bir kişinin açıkça yayımlanmış Sudoku bulmacasının geçerli çözümünü bildiğini düşünün. Uygun bir ispat sistemi, satır, sütun ve kutu kurallarının sağlandığını çözümün rakamlarını açıklamadan gösterebilir. Doğrulayan kişi çözümü öğrenmeden iddiayı kontrol eder. Örnek, gerçek bir uygulamada işlem yaptığımızı değil yöntemin amacını anlatır.

ZK rollup adı her işlemin gizli olduğu anlamına gelmez. Geçerlilik kanıtı, zincirdeki durum değişiminin kurallara uyduğunu göstermek için kullanılabilir; adresler ve işlem verileri yine açık olabilir. Gizlilik için hangi bilgilerin saklandığı ayrıca incelenmelidir.

Kanıt türünün ağ seçimini nasıl etkilediği, rollup güvenlik rehberinde veri erişimi ve çıkış koşullarıyla birlikte ele alınıyor.