以下是其核心概念: → x402 作為邊緣計算平臺: x402 重新啟用了 HTTP 402 狀態碼,允許代理或 API 使用穩定幣按調用次數付費,無需預先配置密鑰或人工引導。它專為機器原生實時計費而設計。但這隻有在服務能夠以可驗證的方式證明其收費的計算量與實際運行的計算量一致時才能有效運作。 → EigenCloud 作為可驗證的執行平臺: EigenCloud 是一個可重新質押驗證的雲平臺。您可以在 EigenCloud 上運行鏈下計算,並通過 @eigenlayer 提供的 AVS(自動驗證服務)來驗證結果或強制執行經濟懲罰。如果推理或作業在 EigenCloud 上運行,您可以要求在 x402 釋放資金之前提供可驗證的輸出或可罰沒的承諾。 → Brevis 作為零知識證明協處理器: @brevis_zk 已經實現了鏈下計算、鏈上證明的模式,並採用了提議挑戰式設計。這使其成為將任意活動或歷史狀態轉化為可供支付流程使用的有效性證明的理想示例。 在實踐中,EigenCloud 將運行任務,Brevis 將生成或證明已運行的操作或使用的數據,然後將結果作為結算條件輸入到 x402 支付邊緣。 → Cysic 用於證明吞吐量: 為了使該模型能夠處理多個代理調用,需要快速證明。@cysic_xyz 是一個硬件加速的網絡化零知識證明。因此,雖然 Brevis 可以保留邏輯和證明示例,但 Cysic 是實現足夠快的證明生成速度而不阻塞支付級協議的參考標準。 流程: 1. 代理調用受 x402 保護的 API。 2. API 將工作委託給 EigenCloud,該工作在可驗證的服務中運行。 3. 該服務發出一個結果以及一個可驗證或可質疑的承諾。 4. Brevis 協處理器將該承諾轉換為零知識證明,證明該工作確實使用相同的輸入完成。 5. 證明生成通過 Cysic 加速,確保往返過程實時完成。 6. x402 在最終確定或流式傳輸付款之前,會檢查證明和 EigenCloud 的驗證信號。 以上就是全部內容。感謝閱讀!
本文為機器翻譯
展示原文

ℝ𝕦𝕓𝕚𝕜𝕤
@RubiksWeb3hub
11-05
I took some days off ZK stuff. Although I have been researching stuff behind the scene. For example, like how ZK proofs could work with EigenCloud verification layer to enable seamless activities for the x402 payment structure.
Brevis is my primary example, then Cysic. x.com/RubiksWeb3hub/…

來自推特
免責聲明:以上內容僅為作者觀點,不代表Followin的任何立場,不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享





