Această dovadă de apartenență a setului este utilizată în rețelele P2P, când o parte deține o valoare privată, iar cealaltă parte deține un set. Ei ar trebui să transmită prin rețea unele date asociate cu valoarea și setarea, iar orice terț poate confirma că valoarea aparține setului. Nicio parte nu ar trebui să poată obține setul sau valoarea din datele difuzate.
Utilizarea funcțiilor hash a fost prima mea încercare, dar ingineria inversă a hashurilor o face nesigură. În plus, hashing fiecare valoare în M și difuzarea acesteia prin rețea necesită o lățime de bandă extraordinar de mare pentru toate părțile din rețea, mai ales când M este mare.
Cum poate fi formulat un zk-proof care se potrivește celor de mai sus, care este fezabil pentru utilizare chiar și pe un client care are o lățime de bandă redusă, fiind în același timp sigur așa cum s-a descris mai sus?
EDITAȚI | ×: Poate că nu m-am făcut clar. Din punct de vedere matematic, arată așa:
Există valoarea $m$, decorul $M$ plus o funcţie ipotetică $f$, care funcționează astfel: $f(m) = Q$ și $f(M) = Z$ în plus, există un alt număr probabil folosit $k$. Dacă și numai dacă $m â M$, $Q$ și $Z$ are o relație matematică specifică, cum ar fi $Q â¡ Z (mod k)$, sau $Q = Z$. Atingerea egalității este cel mai bun scenariu, deoarece nu există posibilități false pozitive sau negative, dar este posibil imposibil.
