Page Not Found
Page not found. Your pixels are in another canvas.
Page Archive
About François Garillot
François Garillot is a lead engineer at Miden, where he has worked since 2025 on zero-knowledge systems, cryptography, and distributed infrastructure.
Publications
Selected publications by François Garillot across cryptography, distributed systems, formal methods, and programming languages.
Talks and presentations (selected)
Selected talks by François Garillot on zero-knowledge proofs, distributed systems, blockchains, and programming languages.
Blog posts
Blog posts by François Garillot on cryptography, Rust, distributed systems, formal methods, and performance engineering.