«zero-knowledge» etiketlenmiş sorular

Greg Kuperberg'in bana sorduğu bir soru, çeşitli bilgi kanıtlarını kabul eden dillerin karmaşıklık sınıflarını tanımlayan ve inceleyen herhangi bir makale olup olmadığını merak ediyorum . SZK ve NISZK gibi sınıflar , tamamen sıfır bilgiyi unutmuş ve onları tam vaat sorunları açısından tanımlamış olsak bile, karmaşıklık açısından son derece doğaldır. Bunun …

16 complexity-classes  cr.crypto-security  zero-knowledge 

In HAC (10.4.2) bölüm 10 , biz kare kökler faktör zor bir kompozit modulo çıkarma (farz) kullanırken zorluk sıfır bilgi kanıta dayalı iyi bilinen Feige-Fiat-Shamir kimlik protokolünü görüyoruz. Şemayı kendi sözlerimle vereceğim (ve umarım doğru olur). Daha basit bir şema ile başlayalım: , faktoringin çekilemez olduğu kadar büyük boyutta bir …

12 cr.crypto-security  proofs  zero-knowledge 

Goldreich ve ark., Üç renklendirmenin sıfır bilgi kanıtına sahip olduğuna dair kanıt, her turda grafiğin tüm renklendirilmesi için bit taahhüdü kullanır [1]. Bir grafiktir varsa nnn köşeleri ve eee kenarları, güvenli bir karma sahiptir bbb bit ve hata olasılığı aramak ppp , toplam iletişim maliyeti O(benlog(1/p))Ö(bengünlük⁡(1/p))O(ben \log(1/p)) fazla O(1)Ö(1)O(1) mermi. …

11 communication-complexity  zero-knowledge 

Bir kanıtlayıcının, bazı HORN-SAT ifadelerinin tatmin edilebilir olduğunu doğrulayıcıyı ikna etmesinin bir yolu var mı? Elbette bu saçma görünebilir, çünkü HORN-SAT için doğrusal zaman algoritmaları vardır. Öte yandan, HORN-SAT P-complete'tır, yani P = L olmadığı sürece log-space algoritmalarına sahip değildir. Buna göre, doğrulayıcının hesaplama yeteneklerini L ile sınırlayın. Şimdi doğrulayıcı …

10 cc.complexity-theory  interactive-proofs  zero-knowledge