About me

I’m François Garillot, a research engineer at the forefront of cryptography and distributed systems. My current focus is on advancing zero-knowledge proofs and their applications in blockchain technology.

Recent Endeavors

• Lurk Lab: Developing Lurk, a Lisp-based language for recursive zkSNARKs.
• Proofcoin: Exploring new paradigms for blockchain security and flexibility through proof aggregation.
• Zero-Knowledge Proofs: Advocating for efficient onchain proof verification and hybrid computation models.

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.