从康奈尔实验室到加密货币协议：范力欧博士谈Cysic的ZK引擎建设

随着零知识证明迅速重塑区块链和隐私的前沿，从学术理论到现实世界协议的旅程充满挑战。本文探讨了范博士的故事——一位从康奈尔大学领先实验室走出，参与共建Cysic的ZK (零知识)引擎的学者。在这个过程中，我们剖析了严谨的研究如何与工程雄心相融合，以及将复杂的密码学理念转化为实际协议所需的条件。

在我们探索范博士的转型、技术见解以及对未来的愿景时，读者将获得对ZK引擎如何被创建的细致了解——以及它们为何对下一波去中心化系统至关重要。

Q1. 从学术界(康奈尔大学→罗格斯大学)到创办Cysic，你经历了一个巨大的转变。是什么时刻或问题让你决定离开研究/教学，围绕ZK硬件和基础设施建立一家公司？

在我从事学术和行业研究工作的过程中，我逐渐意识到零知识系统存在一个根本性的瓶颈：它们在数学上优雅，但在现实世界的应用中却过于缓慢和低效。在Algorand，我亲眼看到ZK系统缺乏能够超越原型的硬件和基础设施。正是这个缺口，而不是某一个瞬间，让我决定离开罗格斯大学，在2022年创建Cysic，致力于让可验证计算变得实用。

Q2. 您的学术研究和早期行业角色(Algorand, IBM/Bell Labs等)如何塑造了Cysic的技术愿景，尤其是将定制硬件(ASIC/CUDA)与去中心化证明网络结合的决定？

我在康奈尔大学的学术工作，受到著名计算机科学家和密码学家艾琳·施教授的指导，为我提供了坚实的密码学和可验证计算的基础。在Algorand和IBM/贝尔实验室的行业角色让我接触到了实际的限制：大多数零知识系统受限于计算能力，而通用硬件并未为证明所需的工作负载而构建。这种结合——严格的理论加上现实世界的瓶颈——塑造了Cysic的决策，即将定制硬件(ASIC/CUDA加速)与去中心化证明者网络相结合。这是使证明可靠地快速、经济和可扩展的唯一方法。

Q3. Cysic自我描述为“从硅到协议”。您能否带我们了解一下整个架构，从硬件设计到证明生成再到结算，并说明在扩展过程中您优先考虑了哪些层？

“硅到协议”意味着我们优化证明生命周期的每一层：

硬件层：为ZK工作负载定制设计的加速器，优化了速度和成本。

大佬层：去中心化的GPU和ASIC网络运行我们的ComputeFi模型。

协议层：结算、验证以及与证明市场和L2生态系统的集成。

在早期阶段，我们优先考虑硬件和证明层，因为它们是可扩展性的基础。ComputeFi——我们将硬件上链的机制——成为了一个突破性时刻，使得可验证的、去中心化的计算得以大规模实现。

Q4. 为零知识证明设计加速器硬件异常困难。在尝试优化各个证明系统的吞吐量、延迟、成本和通用性时，您遇到了哪些最大的工程惊喜或权衡？

同时优化吞吐量、延迟、成本和通用性是本质上困难的。我们最大的突破是ComputeFi，它允许我们将硬件资源直接映射到链上。这个设计选择解决了灵活性和性能之间的许多权衡，并形成了我们对去中心化、可验证计算的长期愿景的基础。

Q5. Cysic 正在将自己定位为一种 ZK 去中心化物理基础设施 (计算资源市场)。您认为去中心化的 ZK 计算如何改变 ZK rollups 和 L2 的经济学和用户体验？

今天的DePIN市场在很大程度上依赖于像Nvidia这样的主要GPU制造商的硬件。实际上，Nvidia的GPU运行着我们今天所看到的DePIN基础设施的约80%。这导致了市场的垄断，市场受到Nvidia的价格、决策和可升级性的严重影响。较小的开发者也受到今天高昂的GPU成本的负面影响，因为他们无法享受资金更充裕的开发者所享有的规模经济。

去中心化计算能力是解决方案，因为用户不再需要购买和拥有昂贵的硬件；相反，他们可以按需访问高性能计算能力。这使得资金较少的小型开发者避免购买和维护昂贵的物理硬件，只在需要进行基准测试或测试等操作时购买访问权限。

Q6. 产品市场契合通常会迫使转型。Cysic 的产品路线图和市场进入策略从最早的原型到当前的测试网络阶段发生了怎样的变化，是什么用户/合作伙伴反馈推动了这些变化？

我们的路线图遵循一种有意识的、顺序的扩展。证明市场是我们的基础层。从那里，我们通过AI验证、推理和ZK机器学习扩展到更广泛的计算市场。这个演变是根据合作伙伴和客户的反馈而推动的，他们请求为AI和ZK工作负载提供统一的基础设施。因此，我们现在提供支持这一更广泛计算任务类别的服务器和服务。

Q7. 社区和运营商经济对于 DePINs 至关重要。您是如何设计激励、工具和入驻流程，以便让从爱好者 GPU 到 ASICs(的多样化硬件提供商能够可持续参与的？

确保长期可持续性的机制包括削减：如果提供者或验证者无法及时响应，他们的)tokens将被没收并分配给其他人。这确保了验证者能够及时完成任务，从而防止了长时间的延误。

对于矿工，我们对随着时间推移被销毁的BTC收取维护费。这些机制确保了生存性，阻止了不良表现，并奖励在硬件范围内长期可靠的参与。

Q8. 你能分享一些关于扩展Cysic生态系统、合作伙伴关系、集成、开发者工具或孵化器/验证者关系的经验教训，这些经验教训在实质上加速了采用吗？

最重要的教训是适应性。加密货币领域变化不断，僵化的路线图很少能够经受市场现实的考验。虽然社区建设和强大的生态系统合作伙伴关系至关重要，但适应性是决定性因素——能够快速完善工具、集成和合作伙伴关系，使我们能够在开发者和网络需求出现时及时响应。

Q9. 在治理和代币方面$CYS 如果你能谈谈(：你认为什么治理模型和经济杠杆对于平衡去中心化、安全性和长期协议资金是必不可少的？

我们依赖的核心经济杠杆是削减、为证明者和验证者提供动态奖励，以及与维护成本相关的费用销毁机制。这些措施确保了网络各方的激励一致，确保安全性和活跃性得到维护，同时为协议创建了可持续的长期资金循环。

Q10. 安全和信任是ZK基础设施的核心。您如何处理风险管理，例如，硬件漏洞、恶意证明者或供应链攻击？您优先考虑哪些防御层？

我们的方法侧重于分层防御：硬件级验证、通过削减实现的证明者级正确性保证，以及协议级的活性和行为检查。通过将去中心化的证明者冗余与对不当行为的经济惩罚相结合，我们降低了单点故障风险，并确保恶意活动要么被防止，要么在经济上受到抑制。

Q11. 回顾您从教授转变为首席执行官的过程，您认为哪些软技能或意想不到的管理挑战最难学习，您会给其他考虑创办深科技初创公司的学者什么建议？

作为教授和创业公司的创始人是两种完全不同的角色。作为教授，我必须准确，谨慎地表达我的观点，并做好充分的准备；每一份工作都必须在发布之前进行打磨。

在初创公司中，情况几乎是相反的。我不得不学习关注宏观愿景，从高层次的角度进行操作。不再等待完美的结果，而是要逐步展示进展，并对每一个改进充满信心。这种心态与学术训练直接相悖，在学术训练中，你被期望在一切得到证明之前，避免做出先发声明。

我对考虑深科技初创公司的学者的主要建议是，不要仅仅专注于技术。99%的初创公司不能仅靠技术获胜。你需要公关、营销、合作伙伴关系和社区。作为创始人，你必须管理所有这些，并保持对大局的关注。

Q12. 五年后，Cysic 在技术上、生态系统中以及更广泛的 ZK 领域中的成功是什么样子？您现在关注的主要技术或市场风险是什么？

成功意味着成为整个ZK和可验证计算生态系统中可扩展、具有成本效益的硬件加速的首选解决方案。我们的长期目标是作为人工智能和加密领域创新的基础设施支柱。今天的主要风险是市场波动和技术变革的快速步伐，这强化了在朝着更广泛愿景建设的同时保持适应性的必要性。