Aluno: Bento Bruno Pereira
Supervisor: Profº. Drº. Marcos A. Simplicio Jr.
Tema: Zero-knowledge succint arguments of knowledge e aplicações em blockchain
Realizar um trabalho expositivo com o objetivo de introduzir a tecnologia de Zero-knowledge succint arguments of knowledge (zkSNARKs). Essa tecnologia criptográfica permite a demonstração do conhecimento de informações sem revelar mais nada além desse fato de forma eficiente computacionalmente, abrindo a possibilidade de protocolos anonimizáveis com apenas um round de contato. Isso é útil como uma forma de escalabilidade na emergente área de computação em blockchain, onde o anonimato é um dos objetivos centrais e os limites computacionais são consideravalmente mais restritos que em sistemas tradicionais. O trabalho definirá os conceitos essencias para a compreensão do que é e como funcionam os zkSNARKs e como é possível montar um destes esquemas criptográficos, finalizando com uma aplicação prática utilizando bibliotecas já existentes que implementam a tecnologia.
Em construção...
bento.pereira at usp.br
Instituto de Matemática e Estatística
Universidade de São Paulo