研究人員預計到2030年，將產生超過900億條零知識證明，以支持Web3交易和去中心化應用（dApps）。然而，硬件和運營成本構成了對小/中型參與者的限制性進入壁壘。
那麼如何解決這個問題？接下來我們瞭解一下Kalypso，MarlinProtocol 上的一個低成本、安全且高效的ZK證明市場。
Web3利用ZK證明技術來解決多種問題，包括擴展解決方案、支付網關、數字身份等等。Aligned.co的研究人員預測，到2030年，ZK 證明將佔據以太坊區塊的90%，而目前僅爲25%，這並非空穴來風。以下是他們對 2030 年預測的細節：
ZK證明的主要特色在於它能夠在不泄露信息內容的情況下證明信息的真實性。由於 ZK證明的生成是一個能源和計算密集型的過程，因此需要專門的機器，運營費用也會隨之增加。
研究人員預估，硬件和安裝的前期投資爲 2 萬美元以上，運營成本爲 5 萬美元以上。這個配置只是平均功能強大的機器，而不是行業裏最好的機器。
雖然它們對大公司的影響可能沒那麼大，但這些成本也會阻礙ZK證明在中小型項目運營中的應用。除了上述成本外，還需要執行每個步驟的技術知識，確保流程的正確執行。簡而言之，這並不便宜或容易。出於這些原因，MarlinProtocol 開發了Kalypso，這是一個無需許可的證明者市場，允許任何人將 ZK 證明的生成外包給專門的去中心化網絡硬件提供商。
Kalypso 的主要優點包括：
✅ 更流暢的用戶體驗：專門的證明者網絡Prover可以爲用戶提供更快、無縫的與應用程序的交互，同時減少等待時間；
✅ 更高的資源利用率：通過將硬件提供商的資源彙集在一起，可以實現更高的效率和收入，將固定成本在多個客戶和市場之間攤銷。
✅ 抗審查性：通過去中心化Prover基礎設施，消除了潛在的單點故障，限制了做惡或不適當操作帶來的影響。
爲了確保硬件提供商能夠忠誠運行，他們需要質押 $POND 代幣。如果運營商無法在確定的期限內正確完成任務，這些代幣將可能受到罰沒；
此外，Kalypso 的架構支持實現了模塊化和可組合性，這意味着 Kalypso 可以接入任何 ZK 應用程序，甚至可以被那些擁有自己證明網絡的協議用於證明生成，比如Rollups。
然而，它是如何運作的？
ZK證明先要在 Marlin 上生成以與 ZKApp 交互的證明請求，選擇適當的市場（可以無需許可地添加），然後提交請求，該請求將在鏈上傳輸到 Kalypso 協議。
Kalypso 匹配引擎 (KME) 檢測請求並將其添加到訂單簿中進行匹配。再根據客戶提交的具體信息找到適當的匹配項後，任務將生成併發送到鏈上。
與此同時，求解器Solver客戶端檢索任務，將其路由到證明生成客戶端，並監督整個證明生成過程。如果證明有效並在約定的時間內生成，Prover證明者將獲得獎勵，否則將受到懲罰。
KME 採用二維匹配引擎算法（時間和價格），使用戶能夠根據對成本更敏感還是對時間更敏感來優先考慮其中一個，從而增強用戶的靈活性。Kalypso 的證明者市場可以通過使其更易於訪問、更具成本效益和更可靠來創新 ZK空間。
此外，Kalypso 創造了一種雙贏的局面，證明者可以將資源分散到不同的市場併產生更多收入，而用戶則可以通過證明者之間的競爭獲得儘可能最優的價格。
鑑於 DeFi 領域對 ZK 證明的需求不斷增長，Marlin 的未來前景可期，可以利用它擴展和改進其證明者網絡，併成爲該領域的領導者。
探索 Marlin 的解決方案➡️ https://www.marlin.org/
加入 Discord➡️ https://discord.com/invite/pdQZyyy
在 Marlin 上構建➡️ https://docs.marlin.org/category/tutorials
