Estudio e implementación de una prueba de conocimiento nulo

Abstract

En este trabajo se propone estudiar un ambito incipiente de la criptograf ía. En concreto, se busca entender el funcionamiento de las pruebas de conocimiento nulo, en particular, las pruebas SNARK. Esto es, que métodos criptográficos se utilizan para demostrar que se posee una informacion verídica sin desvelarla y sin interaccion, de una manera rápida y segura. Ademas, se estudiar a cada una de las transformaciones a realizar antes de poder hacer una prueba SNARK. En particular, la prueba que se estudiara es la llamada Marlin donde se observaran los pasos que se realizan. Una vez expuesta la base teorica, se llevará a a cabo una serie de mejoras en el rendimiento del algoritmo de Marlin. Para poder extraer unos buenos resultados se haran pruebas en diferentes circuitos y se analizar ́ an cómo de exitosas se consideran las modificaciones realizadas.En aquest treball, es proposa estudiar un ambit incipient de la criptografia. En concret, es vol entendre el funcionament de les proves de coneixement nul, en particular, les proves SNARK. Es a dir, quins m ́ etodes criptogràfics es fan servir per demostrar que es posseeix una informacio verídica sense desvetllar-la i sense interaccio, d’una manera r ́ apida i segura. A mes, s’estudiarà a cadascuna de les transformacions a fer abans de poder dur a terme una prova SNARK. En concret, la prova que s’estudiara` es l’anomenada Marlin on s’observaran els passos que es fan. Un cop exposada la base teorica, es realitzaran una sèrie de millores en el rendiment de l’algorisme de Marlin. Per poder extreure uns bons resultats es duran a terme proves en diferents circuits i s’analitzaran com d’exitoses es consideren les modificacions fetes.