zk-SNARK o cómo garantizar la privacidad en las criptomonedas. De la teoría a la práctica.

Mostra el registre complet Registre parcial de l'ítem

• dc.contributor.author Iglesias Jurado, Juditca
• dc.date.accessioned 2018-09-21T11:48:13Z
• dc.date.available 2018-09-21T11:48:13Z
• dc.date.issued 2018-09-21
• dc.description Treball de fi de grau en informàticaca
• dc.description Tutor: Zaira Pindado Tost
• dc.description.abstract En criptografía, una prueba Zero-Knowledge (ZK) es un protocolo de seguridad que permite validar si una afirmación es cierta sin proporcionar ninguna información adicional, solamente su validez [1]. El protocolo Zero Knowledge Succinct Non- Interactive Argument of Knowledge (zk-SNARK) es un caso particular de prueba ZK no interactiva conocida como SNARK [1]. Una de sus múltiples aplicaciones se da en la tecnología blockchain para garantizar la privacidad de los usuarios de las criptomonedas y no comprometer la seguridad de ninguna de las partes. En el trabajo, se introducen los conceptos necesarios para entender los zk-SNARK desde cero, se analizan diferentes herramientas existentes para crear SNARKs y se desarrolla una demo didáctica. La demo aporta la funcionalidad de introducir circuitos definidos por el usuario. Esto permitirá usar los SNARKs para validar soluciones a problemas escogidos por el propio usuario, además de ser una herramienta útil para explicar y comprender zk-SNARK.ca
• dc.description.abstract In cryptography, a Zero-Knowledge proof (ZK proof) is a security protocol that allows to validate whether a statement is true without providing any additional information, only its validity [1]. The Zero Knowledge Succinct Non-Interactive Argument of Knowledge protocol (zk-SNARK) is a particular case of a non-interactive ZK proof known as SNARK [1]. One of its multiple applications is in the blockchain technology; it ensures the privacy of cryptocurrencies users without compromising the security of any of the parties. In this paper, the necessary concepts to understand zk-SNARK from zero are introduced, different existing tools to create SNARKs are analyzed and a didactic demo is developed. The demo provides the introduction of user-defined circuits functionality. This will allow to use SNARKs to validate solutions to problems chosen by the user, as well as being a useful tool to explain and understand zk-SNARK.
• dc.format.mimetype application/pdfca
• dc.identifier.uri http://hdl.handle.net/10230/35485
• dc.language.iso spaca
• dc.rights Atribución-NoComercial-SinDerivadas 3.0 Españaca
• dc.rights.accessRights info:eu-repo/semantics/openAccessca
• dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/es/ca
• dc.subject.keyword Criptografia
• dc.subject.keyword Zcash
• dc.subject.keyword Zero-knowledge
• dc.subject.keyword Snark
• dc.subject.keyword Libsnark
• dc.subject.other Criptografia
• dc.title zk-SNARK o cómo garantizar la privacidad en las criptomonedas. De la teoría a la práctica.ca
• dc.type info:eu-repo/semantics/bachelorThesisca