zk-SNARK es la tecnología de privacidad detrás de Horizen.
La premisa básica de la tecnololgía es la habilidad de saber que una transacción es verdadera sin demostrar los detalles de la transacción.
Si te interesa saber más, aquí se encuentra un artículo (texto en ingles):https://cryptodigestnews.com/digital-identity-privacy-and-zero-knowledge-proofs-zk-snarks-3d092b509990