17/05/2025 –, Alan Turing
Idioma: Português brasileiro
Nesta atividade, vamos fazer uma introdução ao mundo das Provas de Conhecimento Zero (Zero-Knowledge Proofs, ZKP). Vamos explorar o que são, como funcionam e por que estão revolucionando a privacidade e a segurança no ecossistema blockchain.
Como podemos convencer nosso interlocutor de que conhecemos uma informação sem revelá-la? É possível provar que somos maiores de idade sem expor nosso documento completo e outros dados sensíveis?
A resposta é SIM! Graças às ZKP, podemos alcançar esse nível de segurança e privacidade sem comprometer a integridade dos sistemas.
Por meio de exemplos concretos e aplicações do mundo real, veremos como esta tecnologia abre novas possibilidades em identidade digital, transações privadas e escalabilidade, permitindo sistemas mais seguros e eficientes sem abrir mão da confidencialidade.
As Provas de Conhecimento Zero (Zero-Knowledge Proofs, ZKP) surgem como uma solução inovadora para proteger informações sem comprometer a segurança. Essas provas criptográficas permitem verificar a autenticidade de um dado sem revelar seu conteúdo, abrindo novas possibilidades em áreas como identidade digital, transações privadas e escalabilidade blockchain.
Nesta palestra, exploraremos de forma acessível o que são as ZKP, como funcionam e por que estão revolucionando a segurança digital. Abordaremos a questão principal: como podemos convencer alguém de que sabemos algo sem revelar detalhes? Por exemplo, é possível provar que somos maiores de idade sem mostrar nosso documento completo?
Vamos ver como esta tecnologia vem evoluindo, o que é um SNARK e o que é um ZK-SNARK. Discutiremos suas limitações e os desafios que sua implementação enfrenta.
Compartilharemos exemplos práticos e casos de uso concretos, desde a proteção de identidade em plataformas descentralizadas até a validação de transações na blockchain sem expor dados sensíveis. Exploraremos como essas provas estão sendo implementadas em projetos de blockchain e cibersegurança, permitindo a construção de sistemas mais seguros e eficientes.
As Zero-Knowledge Proofs não são apenas um avanço técnico, mas uma mudança de paradigma na forma como interagimos em ambientes digitais. Elas nos permitem recuperar o controle sobre nossas informações sem depender de intermediários e sem comprometer a segurança.
ComputerScientist 💾 (UBA) / SyntheticBiologist 🧬 (BU) // Teamwork lover & Pokémon trainer // I know we can change the world
Nascido em São Paulo, filho de argentinos, Carlo é doutor em matemática pela Universidade de Buenos Aires. Em sua carreira acadêmica, foi bolsista do Conicet, docente universitário e pesquisador na Universidade de Sevilha.
Há alguns anos, trabalha na Eryx como criptógrafo aplicado, especializado em ZKPs.
A Eryx é uma cooperativa de tecnologia localizada em Buenos Aires, Argentina. Seus trabalhadores são seus donos e a organização é 100% horizontal.