-
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
-
Notifications
You must be signed in to change notification settings - Fork 0
ZKForAll/talks
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published