​🚨 Atenção

​Este evento será híbrido: online e presencial em São Paulo!

​Endereço: Nubank - R. Capote Valente, 39 - térreo - Pinheiros, São Paulo - SP, 05409-000

​Data: 31/07/2024, 19 hrs

​​​​[Sobre o convidado]

​Graduado em engenharia de computação pela Unicamp, fez mestrado e doutorado na área de criptografia também pela Unicamp. Trabalhou na empresa nacional Kryptus, e depois mudou para a Holanda para trabalhar com provas de conhecimento zero (zero knowledge proofs - ZKP) no banco ING. Depois mudou para a IOG, onde desenvolveu circuitos para um sistema como o zcash, estendendo a construção para permitir o uso de multiassets, sendo necessário implementar árvores Merkle, funções de hash como Blake2 e Poseidon, etc. Trabalhou posteriormente na Aleo, desenvolvendo o trusted setup para o compilador deles. Na Protocol Labs, desenvolveu o circuito universal para a linguagem Lurk, assim como diversas otimizações. Atualmente trabalha na consultoria Inversed Tech, onde também trabalha com tecnologias como Homomorphic Encryption e Multiparty Computation, realizando auditorias, pesquisa e desenvolvimento de sistemas criptográficos necessários para projetar sistemas com fortes garantias de privacidade.

​​​​[Descrição do meetup]

​Nesta apresentação será dado um panorama geral sobre ZKPs, mostrando casos de uso e a evolução desde seu surgimento, discutindo os aspectos relacionados a maturidade da tecnologia, apresentando ferramentas, aplicações e linguagens de programação que constroem ZKPs automaticamente, além de mostrar o andamento do processo de padronização que está ocorrendo desde 2018.

​19:00 - 19:10 - Recepção, Boas Vindas

​19:10h - 20:30h - Palestra

​20:30h - 21:00 - Perguntas e debates + Networking