Am citit despre protocoalele sigma, în special despre OR-Proof.
Multe exemple iau în considerare doar două afirmații și oferă o modalitate de a spune că una dintre afirmații este validă, dar nu care. De exemplu această întrebare dovada de cunoștințe zero a enunțurilor disjunctive (demonstrații SAU), sau protocolul 3 din acest articol Dovezi de cunoștințe zero cu protocoale Sigma, secțiunea 4 a acestei lucrări Pe Σ-protocoale iar acest 2.4 pe aceste diapozitive Σ-protocoale.
Aș dori să extind acest lucru la 1 din $N$ afirmații (în loc de 1 din 2 din toate exemplele pe care le-am găsit). Multe lucrări se referă Dovezi de cunoaștere parțială și simplificate
Proiectarea protocoalelor de ascundere a martorilor. Am încercat să-l înțeleg complet pentru a implementa un 1 din $N$ sau-protocol dar fara noroc. Partajarea secretă este introdusă, după cum am înțeles, pentru a o face $t$ din $N$, introducând acțiuni, făcându-mi ceva mai complicat.
Pentru protocolul 1 din 2, o singură provocare este trimisă verificatorului făcută din însumarea provocării „corecte” și a unei provocări „aleatorie”. Aici cred că trebuie să aibă loc extinderea la provocări mai „aleatoare”.
Este posibil să extindeți protocolul la 1 din $N$ fără a folosi partea de partajare secretă?