Zero-Bilgileri

Genel Bakış

Sıfır bilgi kanıtı, bir doğrulamanın bir şifre, geçerli bir hesaplama veya başka bir tanık olduğunu bildiğini ikna eder, ancak ek yararlı bilgiler açığa çıkarmıyor. Seslendirme yanlış iddiaları ve doğrulama transkriptlerinin ortaya çıktığını sınırlamaktadır.

Teknik temeller

Bir kanıt sistemi, dürüst ifadeler için tamamen değere sahiptir, yanlış olanlara karşı ses ve bir simülatörü sıfır bilgi oluşturur. Sigma protokolleri taahhüt, rastgele meydan okuma ve yanıt kullanıyor, özel seslendirme ile tanık çıkarma yanıtlarından tanık çıkarma izin veriyor. Fiat-Shamir dönüşümü, idealize rastgele-oracle modelinde etkileşimi kaldırmak için bir hashten zorluklar taşır. Genel sistemler, arithmetic devreleri, sıra dışı kimlikler olarak kodlanabilir. Succinct argümanları taahhütleri ve cebirsel kontrolleri kullanır, böylece doğrulama, hesaplamayı yeniden yürütmekten çok daha ucuzdur.

Nasıl çalışır

Etkileşimli protokollerin taahhütleri, rastgele zorluklar ve cevaplar; Tekrarlama olasılığı azaltır. Etkileşimsiz sistemler, birrithmetic kısıtlamalara ilişkin açıklamaları derler ve herkesin doğrulayabileceği kanıtları üretmek için kamu parametreleri veya şeffaf kriptografik varsayımları kullanırlar.

Ölçme ve Araştırma Yöntemleri

SNARKs küçük kanıtlar ve hızlı doğrulama sağlayabilir, ancak yapılandırılmış referans dizeleri kullanabilir; STARKs şeffaf rastgeleliği kullanır ve daha büyük kanıtlarla ilgili varsayımlara sahiptir. Mühendislik, özel girişlere karşı kesin ifade ve halkın tanımlanmasıyla başlar, sonra gerekirse kısıtlamalar ve parametreleri üretir. Testler, yanlış tanıklar, sınır değerleri ve iddianame encodingleri içerir. Sürekli ilkeller, alan destekli hashesler ve rastgeleliği korumak uygulamaları denetlemek. Performans raporları devre büyüklüğü, hafızayı ve zamanı kanıtlayan, doğrulama maliyeti, kanıt büyüklüğü ve güvenlik seviyesi.

Anahtar fikirler

• Sıfır bilgi, her çevre işlemin anonimliği değil, bilgi sızıntısını endişelendirir.
• Ses ve mahremiyet protokol varsayımlarına ve uygulanmasına bağlıdır.
• Bir kanıt, amaçlanan politikadan farklı olabilecek encoded ifadesi doğrulamaktadır.

Mevcut araştırma sınırları

Araştırma, uzun hesaplamaları veya birçok kanıtları doğrulayan tekrarlayıcı kanıtları, göz ardı eden argümanları ve sanal makineleri geliştirir. Gizlilik uygulamaları, kimlikleri ile seçici açıklamayı birleştirirken, rollups işlem doğrulamasını hızlandırır. Post-quantum güvenliği, taahhüt varsayımlarına bağlıdır, sadece sıfır bilgi mülküne değil. Açık endişeler güvenilir başlangıç yönetimi, devre altkonstraint ve metadata sızıntı içerir. Formal doğrulama, kısıtlamaların bir spesifikasyonla eşleştirebileceğini gösterebilir, ancak politika yazarları, özelliklere ait olan yasal ve insan niyetini dar bir makine kontrol edilebilirden ziyade elde etmelidir.

Neden önemli?

Bu kanıtlar, gizlilikten korunmak, doğrulanabilir dış kaynaklı hesaplama ve ölçeklenebilir blok zincir sistemleri sağlar. Temel verilere erişimden bir sonuca güvenmektedirler.

Limitler ve açık sorular

Proving, önemli bir hesaplama ve hafıza gerektirir, güvenilir kurulum, risk ve devre böceklerin yanlış durumu düzeltebilir. Side kanalları, metadata ve zayıf rastgelelik, soyut güvenlik kanıtları dışında kalır.