Dos formas de obtener privacidad en la cadena: añadirla a una cadena existente con MPC/FHE - caro, ya que la verificación aún depende de la reejecución - o construir con ZK en el núcleo, donde la verificación omite la reejecución y la privacidad es más barata por diseño (como @0xMiden)