Bobbin @bobbinth @0xMiden 核心開發者，CEO。之前大家普遍瞭解的是他在polygon @0xPolygon 做miden的經歷，他是非常典型的自學成長的ZK開發者，非常善於在實踐中學習zk技術（理論）。併成功募集了2500萬美金，做了一條基於隱私技術的L2。下面看看bobbin的成長經歷。 Bobbin 的 Web3 之旅大約從 2018 年開始，那時他還不是全職區塊鏈從業者，而是作為獨立研究者和開源貢獻者活躍。 他對零知識證明的興趣源於對“計算完整性”（computational integrity）的痴迷，特別是 SNARKs 和 STARKs 等通用證明系統。 Bobbin回憶道：“我一接觸到零知識證明，就立刻意識到這對區塊鏈至關重要——它能讓你驗證計算，而無需其他人重新運行整個過程“ 。 他的第一個里程碑是 genSTARK（2018-2019 年左右），這是他發佈的首個開源 STARK 證明器（prover）。genSTARK 是一個實驗性工具，用於生成和驗證 STARK 證明，解決了當時 ZK 領域的一個痛點：缺乏高效的開源實現。Bobbin 當時是獨立開發者，沒有大公司背景，他通過自學 Rust 編程語言來構建它。 他的這項工作讓他在 ZK 社區嶄露頭角，被視為“第一個實用 STARK 證明器”的先驅。緊接著，他開發了 Distaff VM（2020 年初）。這是一個基於 STARK 的虛擬機原型（我最早就是通過這個zkvm學習了zkvm的實現原理），靈感來源於 RISC-V 架構，旨在支持通用計算的 ZK 證明。Distaff 是 Miden VM 的前身，Bobbin 在開發過程中進行了多次迭代和用戶測試，甚至親自編寫了 AirScript（一種簡單彙編語言）和 AirAssembly 來簡化 VM 的編程。 2020 年底，Bobbin 加入 Meta（ Facebook）的 Novi 項目，作為核心 ZK 研究員。Novi 是 Meta 的數字錢包和區塊鏈實驗部門，旨在探索 Libra（後 Diem）生態的隱私技術。這裡是他“高光起點”——他領導了 Winterfell 的開發，這是一個高性能的通用 STARK 證明器和驗證器。它支持並行證明生成，性能比早期 STARK 實現快數倍。Bobbin 在團隊中負責架構設計和優化，處理從電路編譯到證明聚合的整個流程。這段經歷讓他掌握了企業級 ZK 部署。 在之後就是前面分享過被polygon收購，實現miden的經歷了。