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的经历了。