Talks

1. Verifiable Computing: Part I --- Zero Knowledge Proofs
   Online talk for "Núcleo de Blockchain & Mestrado Profissional do Departamento de Engenharia Elétrica, Universidade de Brasília", Oct. 1st, 2025.
   Christiano Braga
   Instituto de Computação
   Universidade Federal Fluminense
   

2. A Clean and Lean Circom Formalization --- Philosophy for the Real World of a Computer Scientist
   Talk at Typed Floripa
   Founder Haus, Dec. 07th, 2025
   Christiano Braga
   Instituto de Computação
   Universidade Federal Fluminense & ZKForall