Dos formas de conseguir privacidad en la cadena de seguridad. Añadir privacidad a una cadena existente: posible con MPC o FHE, pero vas en contra de cómo se construyó la cadena. Las cadenas existentes se verifican mediante la reejecución, así que se vuelve caro rápidamente. Construye una nueva cadena con ZK como núcleo: la verificación no requiere reejecución, así que la privacidad es más barata por diseño, como en Miden.