BlockchainAvanzado#Privacy#Scaling
Pruebas de Conocimiento Cero (ZKP)
P
Definition
Prueba criptografica de que una declaracion o computacion definida cumple un protocolo sin divulgar el testigo mas alla de lo que revela ese protocolo. No es, por si sola, garantia de privacidad o rendimiento para aplicacion.
Revisado con fuentes
- Ethereum.org: ZK-rollups abre en una pestana nueva
Respalda: Explains that ZK-rollups submit validity proofs for offchain execution and identifies data availability and sequencer design as separate considerations.
- Ethereum.org: Data availability abre en una pestana nueva
Respalda: Explains why availability of state data remains necessary for users to interact with and recover from a rollup.
Diagrama del Concepto
Key Takeaways
1
ZKP verifica declaracion definida; propiedades de privacidad dependen de circuito y entradas publicas
2
ZK-rollups usan pruebas de validez para transiciones de estado declaradas, no promesa universal de velocidad o coste
3
Disponibilidad de datos sigue siendo necesaria para revisar estado y recuperarse de fondos o transacciones
4
Revisar protocolo, verificador, datos publicos y diseno de salida en vez de inferir privacidad por termino ZK
Practical Example
Antes de usar ZK-rollup, persona usuaria revisa documentacion de protocolo para transicion de estado exacta probada, datos publicados para reconstruccion, ruta de retiro si secuenciador falla y campos de transaccion que siguen publicos. Prueba de validez sola no responde esas preguntas.
Has terminado de aprender?
Related Terms
AI
TEE (Entorno de Ejecucion Confiable)Entorno de ejecucion aislado respaldado por hardware que puede proteger codigo y datos especificados bajo modelo explicito de amenazas de plataforma. Su garantia depende de implementacion, politica de attestation, software medido, liberacion de claves, configuracion y superficie de ataque restante de hardware y software.
Blockchain
Prueba de Humanidad (PoP)Familia de mecanismos que intenta limitar participacion duplicada en sistema definido. Puede aportar evidencia bajo supuestos declarados; no prueba identidad humana unica, elimina ataques Sybil ni garantiza privacidad, inclusion o distribucion justa.
Blockchain
Capa 2 (L2)Capa de protocolo que ejecuta transacciones fuera de L1 mientras usa esa L1 para alguna combinacion de disponibilidad de datos, pruebas, resolucion de disputas o liquidacion. Tarifas, finalidad, puentes y rutas de retiro dependen de diseno L2 concreto.
Blockchain
Sharding (Fragmentacion)Familia de disenos de escalado que divide datos o trabajo de ejecucion entre subconjuntos de una red; significado exacto depende del protocolo.
Related Deep Dives
Master the hub of Blockchain
Explore all our strategic guides about Blockchain to take your operations to the next level.
View all articles