Workshop: Verificação Formal na Web3
Dê um passo além no desenvolvimento Web3 com um workshop técnico, prático e orientado à verificação formal de aplicações críticas.
Este workshop foi desenhado para quem quer sair da teoria e entender, na prática, como validar matematicamente protocolos e aplicações Web3 utilizando Lean.
Durante a experiência, você vai:
Aprender os fundamentos da verificação formal
Explorar táticas práticas e construção de provas em Lean
Entender como validar propriedades matemáticas em protocolos criptográficos
Implementar provas de corretude para RSA, Diffie-Hellman e One-Time Pad
Compreender aplicações práticas em smart contracts, circuitos ZK e protocolos de consenso
Ao final, você terá uma visão clara e prática de como utilizar verificação formal para aumentar a segurança e confiabilidade de aplicações Web3 e sistemas criptográficos.
💻 Requisitos
Lean com Mathlib (link do repositório)
📚 Código e slides:
Formal Verification for Web3 Repository
👀 Informações do Workshop
Instrutor: Christiano Braga
Nível: Avançado
Data: 27 de junho de 2026
Horário: 13h às 15h
Formato: Presencial
⚠️ Importante
É necessário levar seu notebook para acompanhar as atividades práticas
Vagas limitadas (turma reduzida para melhor aproveitamento)
Se você está começando na Web3 e quer construir de verdade, este é o ponto de partida.
Garanta sua vaga.
Sobre o evento
O Web3Experts Brazil é um dos principais encontros técnicos de desenvolvimento Web3 do país, reunindo desenvolvedores, engenheiros e especialistas em uma imersão prática de 3 dias.
Com trilhas para diferentes níveis e foco em tecnologias avançadas, o evento conecta aprendizado, construção e oportunidades reais no ecossistema.
📅 26 a 28 de junho de 2026
📍 São Paulo — Oracle
Saiba mais:
🌐 https://www.web3experts.com.br/