Various Directors, 2006-2008
legacy: agosto 2008
La saga continua con loz cylones, cada vez más cerca de la tierra. Siguen los problemas existenciales con los Cylones con cara de humano, peleas internas, traiciones, engaños y su búsqueda de la felicidad. En enero de 2009 continua la cuarta parte y termina.
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 3 semanas.
Entradas
No hay comentarios.:
Publicar un comentario