從康奈爾實驗室到加密貨幣協議：範力歐博士談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和可驗證計算生態系統中可擴展、具有成本效益的硬件加速的首選解決方案。我們的長期目標是作爲人工智能和加密領域創新的基礎設施支柱。今天的主要風險是市場波動和技術變革的快速步伐，這強化了在朝着更廣泛願景建設的同時保持適應性的必要性。