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 2 semanas.

No hay comentarios.:
Publicar un comentario