Zero-Knowledge (ZK) Proofs

ZK (Zero-Knowledge Proof) Kriptografik yöntem Bilgiyi açıklamadan onaylamayı onaylamak.

Operasyona katılanlar 2 taraf:

• Prover Çünkü o, bir ilim sahibidir.
• Verifier - Kontrol ediyor.

Örnek: Kredi#

Borç veren borçluya ödeme yeteneğini göstermek istiyor, ama borçlu kalmak istiyor. Bilinçsiz.

→ ZK kanıtı ödeme yeteneğini garanti eder Kimliğini açıklamadan ve güvence.

Tarihi#

1985 Silvio Micali, Avi Vigderson, Oded Goldreich tarafından yayımlandı İnteraktif kanıt sistemleri bilgisinin karmaşıklığı.

İşinde:

• Bir terim eklendi Sıfır açıklama kanıtı;
• Kripto teknolojisi tanımlanmıştır;
• Kanıtlar Özel verileri açmazAma iletişim kurmak zorundadır.

Sınıflar#

zk-SNARKs

Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

• Kanıtlar Bilgiyi açıklamadan;
• Gizli Anahtar İstiyorYaratılan Önceden;
• Uygulama örneği: Zcash zk-SNARKs 'te ilk yaygın erişilebilir gizlilik tokeni;
• Zcash → çevirirken onay geliyor tarafları ve tutarları açıklamadan.

zk-STARKs

Zero-Knowledge Scalable Transparent Arguments of Knowledge.

• Açık rastgele incelenenler kanıtlar;
• İlk ayarlama gerektirmez;
• Gizli verileri açığa vurmaz üçüncü taraf;
• Aynı zamanda Artur-Merlin protokolleriyle.

Karşılaştırma

ZK Özellikleri#

1. Kesinlik (Completeness) true doğrulama → verifier ikna edilebilir;
2. Gerçekliği (Soundness) false iddia → verifier ikna edilemez;
3. Tam gizlilik (Sıfır-bilgi) doğrulayıcı gerçekten başka bir şey bilmiyor.

Kullanımı#

ZK'ye TON#

Projeler

• ZK on TON belgeleri ve dersleri;
• Tonnel Network özel işlemler (TON'da bir kasırga), GitHub.

Kaynakları#

• Wikipedia ' da ZK-STARK;
• What are zk-SNARKs (Zcash);
• ZK , TON (tonblockchain.ru) blok zincirinde;
• Binance Academy: zk-SNARKs vs zk-STARKs.

Benzer makaleler#

• TON Cryptography
• TON Security Layer
• Smart Contracts
• Audit in TON
• TON Ecosystem
• The Open Network