ZK項目滿天飛，一個比一個吹"革命性"。真正可靠的，還得看François Garillot這樣的技術人做了什麼。

他的職業軌跡說話：博士論文做基礎理論，工業級編譯器拿出來實戰，百億級數據系統就是證明，後來參與Diem和Sui的核心架構設計，現在主要操刀Miden項目。

這不是簡歷堆砌。背後反映的是從學術到工程、從理論到產品的真實積累。他現在的方向很清晰——別讓ZK繼續停留在"天才的數學遊戲"階段，而是讓普通開發者也能順手用上。這才是ZK真正能破圈的路子。