ZKP (Zero-Knowledge Proofs)
-
Definición formal (la más importante)
Un protocolo ZKP para un lenguaje $L$ cumple:
- Existe un *prover* $P$ y un *verifier* $V$
Se define así:
$$ \...
Hace 1 mes.