Sıfır Bilgi Kanıtları, ve Gerçekte Sahip Olduğumuz Çok Daha Dar Şey

Bir sıfır bilgi kanıtı, birini bir ifadenin doğru olduğuna, doğruluğunun ötesinde hiçbir şey açığa vurmadan ikna ediyor. İfade muazzam bir aralığı kapsıyor, bir parolayı bildiğinizi kanıtlamaktan bütün bir programın doğru çalıştığını kanıtlamaya kadar, ve yanlış anlamanın yaşadığı yer o aralıktır.

Sahip olduğumuz

Bir tutucunun tek bir belirli ifadeyi kanıtlamasına izin veren bir imza şeması: bir veren imzasını bir ileti kümesi üzerinde tuttuğunu, o iletilerin yalnızca seçilmiş bir alt kümesini açığa vurarak ve imzanın kendisini hiçbir zaman açığa vurmadan.

Bu gerçek bir sıfır bilgi kanıtıdır, gerçek ve kullanışlı bir ifadenin, ve aynı kimlik bilgisinin iki sunumunu birbirine bağlamayı zorlaştıran şey odur.

Şifre takımı bir internet taslağı şartnamesinden alınmış, adı verilmiş bir eğri ve özete sabitlenmiş, ve uygulamanın zincirin kendisininkiyle bayt uyumlu olduğu belirtiliyor: aynı gizli anahtar aynı açık anahtarı üretiyor, ve imzalar iki yönde de karşılıklı doğrulanıyor.

Bu sayfanın reddetmek için var olduğu abartı

Herkesin uzandığı gösterim, doğum tarihinizi açığa vurmadan on sekiz yaşından büyük olduğunuzu kanıtlamaktır.

Burada olan bu değil. Bizim yığınımızda, on sekiz yaş üstü bir kimlik bilgisi bir kimlik bilgisi türüdür: veren soruyu karara bağladı, yanıtı bir iddia olarak yazdı, ve imzaladı. Tutucu sonradan o iddiayı açığa vuruyor ve diğerlerini saklıyor.

Yüklem kelime dağarcığı kodumuzda yalnızca testlerde bir kimlik bilgisi türü olarak beliriyor, ve hiçbir zaman bir hesaplama olarak değil. Hiçbir şey yanıtı sunum anında bir doğum tarihinden türetmiyor.

Her iki tasarım da doğum tarihini gizliyor. Yalnızca biri bir şey hesaplıyor, ve bizimkini hesaplayan tür diye tarif etmek sahip olmadığımız bir yeteneği iddia etmek olurdu.

Ayrımın neden bilgiçlik değil önemli olduğu

Kimin karar verdiği. İmzalanmış bir iddiada veren karar verdi ve siz soruyu değiştiremezsiniz. Hesaplanmış bir kanıtta doğrulayıcı, verenin hiç öngörmediği bir soru sorabilir.

Neyin bozulduğu. İmzalanmış bir iddia, soru değiştiğinde yeniden verilmeyi gerektiriyor. Hesaplanmış bir kanıt, birinin yazdığı, gözden geçirdiği ve hesap verebileceği bir devre gerektiriyor.

Neye mal olduğu. İmzalanmış iddialar ucuzdur ve bugün sunuluyor. Genel kanıtlama sistemleri her boyutta pahalıdır, ki bu kategoride neredeyse hiç kimsenin onları da sunmamasının sebebi budur.

Ve denetlenmemiştir

Uygulamalar arası uyumluluk pakette belirtiliyor ve kendi iki uygulamamız arasında doğrulanıyor, ki bu bir güvenlik incelemesi değil bir eşlik kontrolüdür.

Eşlik, iki uygulamanın uyuştuğunu söylüyor. Bir denetim, uyuştukları şeyin sağlam olduğunu söylüyor. Birincisine sahibiz, ikincisine değil.