About François Garillot

I’m François Garillot, a lead engineer at Miden since 2025. I work at the intersection of cryptography, zero-knowledge proofs, and distributed systems, with a current focus on practical blockchain infrastructure.

Recent Endeavors

• Miden: Leading engineering work on zero-knowledge systems and infrastructure.
• Zero-Knowledge Proofs: Advancing practical proving systems and their applications in blockchain technology.
• Distributed Systems: Working on high-assurance systems shaped by research, performance work, and formal methods.

Background

With a rich background in programming languages and formal methods, I’ve contributed to projects ranging from consensus algorithm proofs to stream processing with Apache Spark.

Connect

For collaborations or inquiries, reach me at francois@garillot.net.