ZK项目满天飞，一个比一个吹"革命性"。真正靠谱的，还得看François Garillot这样的技术人做了什么。

他的职业轨迹说话：博士论文做基础理论，工业级编译器拿出来实战，百亿级数据系统就是证明，后来参与Diem和Sui的核心架构设计，现在主要操刀Miden项目。

这不是简历堆砌。背后反映的是从学术到工程、从理论到产品的真实积累。他现在的方向很清晰——别让ZK继续停留在"天才的数学游戏"阶段，而是让普通开发者也能顺手用上。这才是ZK真正能破圈的路子。