今日
快訊
市場
Alpha
熱門風向標
專題
賺取
帳戶
語言
亮色模式
下載應用程式
登入
ℝ𝕦𝕓𝕚𝕜𝕤
關注
I decode protocol economies for the curious, write deep technical threads, and build sustainable models for founders. Business: https://t.co/HMwLHXnQn8
動態
ℝ𝕦𝕓𝕚𝕜𝕤
11-20
我閱讀了 @brevis_zk 的白皮書。Brevis 的目標是通過構建一個證明網絡來擴展零知識證明。該網絡將包含獨立的證明者,他們將競爭為眾多不同的用戶生成零知識證明。 簡而言之: → 用戶提交需要證明的工作負載。 → twitter.com/RubiksWeb3hub/stat...
ZK
3.89%
ℝ𝕦𝕓𝕚𝕜𝕤
11-07
以下是其核心概念: → 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,工作在 EigenCloud 的可驗證服務中運行。 3. 該服務發出一個結果以及一個可驗證或可質疑的承諾。 4. Brevis 協處理器將該承諾轉換為零知識證明,證明這項工作確實使用相同的輸入完成。 5. 證明生成通過 Cysic 加速,確保往返過程實時完成。 6. x402 在最終確定或流式傳輸付款之前,會檢查證明和 EigenCloud 的驗證信號。 以上就是全部內容。感謝閱讀! twitter.com/RubiksWeb3hub/stat...
ℝ𝕦𝕓𝕚𝕜𝕤
11-01
祝大家新月快樂,週末愉快! 在我上一篇關於零知識(ZK)的文章中,@eli5_defi 提到了用戶採納,這讓我開始思考: 為什麼大多數零知識產品都是為其他基礎設施和開發者設計的,而除了質押之外,卻沒有其他面向公眾的功能?其他很多領域也存在同樣的問題。
ℝ𝕦𝕓𝕚𝕜𝕤
09-19
再次強調,關注度=流動性。我已經解釋了原因和方式。 現在,關注度的流動性引擎正在蓬勃發展,你需要參與其中。 這就是我分享@inspectxyz最新產品和$INSP市場行情的原因。 🧵
INSP
6.77%
Loading..