-
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
-
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