Запитання з тегом «zero-knowledge»

На запитання Грег Куперберг запитав мене, мені цікаво, чи існують документи, які визначають і вивчають класи складності мов, які допускають різні види доказів знань . Такі класи, як SZK та NISZK , надзвичайно природні з точки зору складності, навіть якщо ми повністю забули про нульові знання та просто визначили їх …

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

У главі 10 HAC (10.4.2) ми бачимо відомий протокол ідентифікації Feige-Fiat-Shamir, заснований на доказі нульових знань, використовуючи (імовірну) складність вилучення квадратних корінців за модулем композиту, який важко врахувати. Я наведу схему власними словами (і, сподіваюся, правильно). Почнемо з більш простої схеми: нехай є цілим числом Блума (тому n = p …

12 cr.crypto-security  proofs  zero-knowledge 

Доказ Goldreich та ін. Про те, що три кольоровості мають нульові докази знань, використовує бітове зобов'язання для цілого колорування графіка в кожному раунді [1]. Якщо графік має вершин і ребер, захищений хеш має бітів, і ми шукаємо ймовірність помилки , загальна вартість зв'язку становитьe b pнnnеeeбbbppp O ( b e …

11 communication-complexity  zero-knowledge 

Чи є спосіб, щоб довідник переконав перевіряючого, що деякий вираз HORN-SAT є задоволеним? Звичайно, це може здатися дурним, оскільки існують лінійні алгоритми часу для HORN-SAT. З іншого боку, HORN-SAT є P-повним, а це означає, що він не має алгоритмів простору журналу, якщо P = L. Відповідно, обмежте обчислювальні можливості перевіряючого …

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