本文为机器翻译
展示原文

以下是其核心概念: → 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相关的任何投资建议。
喜欢
收藏
评论