zkVerifier · 9

ERC-8183登场：AI Agent互信难题的以太坊解法

撰文：Azuma，Odaily原文标题：详解ERC-8183：以太坊攻坚AI Agent互信难题的答案3 月 10 日，以太坊基金会旗下专注于推动「人工智能（AI）与区块链深度整合」的 dAI 团队与 Virtuals Protocol 联合推出了一项新的标准 ERC-8183。以太坊基金会 AI 负责人Davide Crapis就该标准表示，ERC-8183 是以太坊社区正在构建的开放型 Agent 经济系统所缺失的组件之一，该标准可与 x402 以及 ERC-8004 组合使用，在 Agent 之间的安全交互方面发挥基础设施作用。dAI 团队将支持 ERC-8183 的采用，致力于使其成为中立标准。ERC-8183 想解决什么？根据 Virtuals Protocol 方面所发布的介绍文章，ERC-8183 专为 AI Agent 之间的商业交易而设计，该标准定义了一套链上规则，使两个互不信任的 Agent 能够完成「雇佣 - 交付 - 结算」这样的商业流程，而不需要依赖中心化平台。ERC-8183 试图解决的核心问题是，当 Agent 彼此雇佣和合作时，如何在没有平台、没有法律、没有人工仲裁的情况下完成交易？举个例子，假如某个偏市场推广方向的 Agent A 希望雇佣另一个偏图像生成的 Agent B 来为其制作一批营销海报，这里就存在一个商业互信问题 —— 双方互不认识，也没有信任基础，到底该什么时候付款？假如 A 先付款，B 可能罢工或者返还不合格的工作结果；假如 B 先干活，A 也有可能拒付报酬……在传统的互联网世界，用户与商家也会面临类似的商业互信，而平台则在其中承担了关键的中介作用 —— 平台会负责托管 A 的资金，会负责判断 B 的服务完成与否，也会负责最后的放款。我们熟悉的淘宝、京东、美团、滴滴，本质上都是这种平台型中介。而以太坊基金会和 Virtuals Protocol 想要做的，便是通过 ERC-8183 将平台的职能抽象为链上协议，使其由智能合约执行，从而在 Agent 经济中承担起一种去中心化的中介角色。ERC-8183 工作方案拆解ERC-8183 的运行机制并不复杂，该标准引入了一个名为 Job（你可以理解为「任务」）的新概念。每一个 Job 都可以视作一笔完整的商业交易，其中会包含三个不同的角色：Client：「客户」，简单来说就是发布各类任务的 Agent；Provider：「服务商」，就是负责完成任务的 Agent；Evaluator：「评估者」，最为特殊的角色，负责判断任务是否完成。这里需要需要着重解释下 Evaluator，该角色的引入是 ERC-8183 最核心的设计。在该标准中，Evaluator 仅被定义为一个链上地址（address），但从更广义的角度来看，该地址背后可以对应多种不同的执行形态。对于诸如写作、设计或分析这类具有主观性的任务，Evaluator 可以是一个 AI Agent，它会读取所提交的结果，将其与最初的任务要求进行对比，然后作出判断；而对于计算、证明生成或数据转换等确定性任务，Evaluator 则可以是一个封装了零知识验证器（ZK verifier）的智能合约。Provider 提交证明，Evaluator 在链上进行验证，并自动调用「complete」或「reject」来完成或拒绝该任务；在高价值或高风险的任务场景中，Evaluator 还可以是一个多签账户、DAO、或是由质押机制支撑的验证集群。ERC-8183 并不会区分这些不同形态。协议层只关心一点 —— 某个地址是...

164天前Luxurytracy

以太坊基金会：将通过新的融资机制支持 Tornado Cash 开发者

比推消息，以太坊基金会发文表示，将通过新的融资机制支持隐私，以太坊资金协调团队与 Keyring Network 联合推出一项计划，引入一种影响以太坊生态系统资金的新方法。Keyring 主网上的 zkVerified 许可金库，提供合规且隐私保护的 DeFi 借贷市场访问，据悉在最初的两个月内，Keyring zkVerified 金库的所有协议费用将全部捐给 Roman Storm 和 Alexey Pertsev 的法律辩护基金，这两位 Tornado Cash 开发者目前因发布开源代码而正在接受审判，该模式确保了金库的首批用户能够直接支持以隐私为重点的开发者的法律保护。

316天前

ZKVerify：空投代币申领将于明日开放

比推消息，由 Horizen Labs 孵化的零知识证明项目 ZkVerify 在 X 平台发文宣布，其主网将于明日上线，届时符合条件的 ProofPoints 贡献者将可以申领其空投代币。

326天前

比特币可编程性方案Introspection（内省）和Covenant（契约）详解

作者：Chakra；编译：0xjs@金色财经本文为Chakra发表的比特币扩展性系列文章的Part III。第一部分参阅金色财经此前文章“比特币原生扩容方案回顾：SegWit和Taproot”，第二部分参阅金色财经此前文章“比特币可扩展性：Layer2方案和相关项目解析”。第三部分为本文，如下：概述相比以太坊等图灵完备的区块链，比特币脚本被认为限制性极强，仅能进行基本运算，甚至不支持乘法和除法。更重要的是，区块链自身的数据几乎无法被脚本访问，导致灵活性和可编程性严重不足。因此，人们一直在努力让比特币脚本实现内省（introspection）。内省是指比特币脚本检查和约束交易数据的能力。这允许脚本根据特定的交易细节控制资金的使用，从而实现更复杂的功能。目前，大多数比特币操作码要么将用户提供的数据推送到堆栈上，要么操纵堆栈上的现有数据。然而，内省操作码可以将当前交易的数据（例如时间戳、金额、txid 等）推送到堆栈上，从而可以更精细地控制 UTXO 支出。截至目前，比特币脚本中只有三个主要操作码支持内省：CHECKLOCKTIMEVERIFY、CHECKSEQUENCEVERIFY 和 CHECKSIG，以及其变体 CHECKSIGVERIFY、CHECKSIGADD、CHECKMULTISIG 和 CHECKMULTISIGVERIFY。契约（Covenant，也可译作“限制条款”），简单地说，是指对货币转移方式的限制，允许用户指定 UTXO 的分配方式。许多契约都是通过内省操作码实现的，关于内省的讨论现在已经被归类到比特币 Optech契约主题下。比特币目前有两个契约，CSV（CheckSequenceVerify）和 CLTV（CheckLockTimeVerify），这两个契约都是基于时间的契约，是许多扩容解决方案（如闪电网络）的基础。这说明了比特币的扩容解决方案严重依赖于内省和契约。我们如何为代币的转移添加条件？在加密货币领域，我们最常用的方法是通过承诺，通常通过哈希来实现。为了证明转移要求得到满足，还需要签名机制进行验证。因此，契约中存在许多对哈希和签名的调整。下面，我们将描述被广泛讨论的Covenant操作码提案。CTV（CheckTemplateVerify）BIP-119CTV（CheckTemplateVerify）是BIP-119中的一个比特币升级提案，引起了社区的广泛关注。CTV允许输出脚本指定交易中资金支出的模板，包括nVersion、nLockTime、scriptSig哈希、输入计数、序列哈希、输出计数、输出哈希、输入索引等字段。这些模板限制是通过哈希承诺实现的，当资金被花费时，脚本会检查支出交易中指定字段的哈希值是否与输入脚本中的哈希值匹配。这有效地限制了该UTXO未来交易的时间、方法和数量。值得注意的是，输入的 TXID 被排除在此哈希之外。这种排除是必要的，因为在传统和隔离见证交易中，当使用默认的 SIGHASH_ALL 签名类型时，TXID 取决于 scriptPubKey 中的值。包括 TXID 会导致哈希承诺中的循环依赖，从而无法构建。CTV 的内省方式是直接拉取指定的交易信息进行哈希运算，然后与堆栈上的承诺进行比较。这种内省方式对链空间要求较低，但缺乏一定的灵活性。比特币二层解决方案（如闪电网络）的基础是预签名交易。预签名通常是指提前生成和签署交易，但在满足某些条件之前不广播它们。本质上，CTV 实现了一种更严格的预签名形式，将预签名的承诺发布在链上，并限制在预定义的模板内。CTV 最初是为了缓解比特币的拥...

768天前dy zhang#Chakra #比特币 #金色财经

ApeChain宣布将支持零知识证明验证

比推消息，代表 ApeCoin DAO 构建的 ApeChain 现在将能够支持高效、低成本的零知识证明验证，该区块链旗下Jenkins测试网已集成由 Horizen Labs开发的针对零知识证明验证进行优化的模块化协议zkVerify，开发人员将能够利用 zkVerify 的零知识证明验证技术来优化交易处理并将证明验证成本降低 90% 以上。ApeChain 于 2024 年 2 月由 ApeCoin (APE) 背后的去中心化自治组织 ApeCoin DAO 宣布推出，并且使用 ApeCoin 作为 APE 生态系统中的 ERC-20 治理和实用代币。

782天前Luxurytracy#ApeChain

zkVerifier 节点公售在即，Lumoz 如何构建模块化计算层？

zkVerifier 节点网络将有效为 L2 降低 Gas 成本。撰文：Peng Sun，Foresight News如果没有 DePIN，ZKP 恐怕会令普通人一生难以企及。过去几年，ZKP 因证明生成速度慢、验证成本高等问题而饱受诟病。但 DePIN 的出现改变了大家的思考方式，让 ZKP 成为一个人人皆可参与的低门槛生态。许多密码学公司通过硬件加速来提高 ZKP 证明生成效率，但少有人关注 ZK 证明系统的另一个重要组成 Verifier。当前，市面上 ZK 验证层项目仅有 Cysic、Aligned Layer 与 Lumoz。Cysic 在验证层上的动作尚未有明显进展，相较 Aligned Layer，Lumoz 实际上是一个模块化计算层与 ZK-RaaS 平台，同时解决 ZKP 证明生成与验证过程中的计算成本与中心化问题，并且为项目方提供一键发链的能力。在 Prover Network 之外，Lumoz 进一步将验证层开放给了普通用户，其 zkVerifier 旨在实现去中心化验证，降低 L2 Gas 成本。近期，Lumoz 以 3 亿美元估值完成超千万美元战略轮融资，并开启 zkVerifier Node 售卖，节点预售及白名单注册活动现已结束，即将开始白名单销售轮（6 月 25 日）与公售轮（7 月 3 日），预计第三季度上线主网。今天，Foresight News 将为大家解读 Lumoz zkVerifier 节点售卖及其背后的运行机制。模块化计算层：Lumoz 是什么？我们听过模块化 DA 层、结算层，但什么是模块化计算层？一直以来，模块化将以太坊等单体区块链按照不同职能划分为结算层、共识层、执行层与 DA 层，随着 ZKP 的广泛采用，去中心化计算层（证明层 + 验证层）逐渐成为一大显学。Lumoz（原 Opside）就是一个模块化计算层及 ZK-RaaS 平台，其联创兼 CEO 为 NanFeng，毕业于清华大学，核心团队在 ZK 技术的研发上投入近 5 年时间。作为 ZK-RaaS 平台，Lumoz 为 ZK Rollup 提供模块化计算层，其采用 PoS 与 PoW 混合共识机制，并引入 zkVerifier 节点网络。自推出以来，ZK-PoW 机制已吸纳全球 145 家矿工参与，测试网验证节点超 2 万。总体来说，Lumoz 模块化计算层方案无需项目方考虑 ZKP 系统的构建与运营，降低了项目方发行 ZK-Rollup 难度。目前，Lumoz 社区规模上百万，生态 TVL 总和超 40 亿美元。Lumoz RaaS 服务现已支持 Merlin Chain、HashKey Chain、ZKFair、Ultiverse、Matr1x 等 20 多个 L2 链。在融资方面，Lumoz 近期以 3 亿美元估值完成超千万美元战略轮融资，IDG Blockchain、OKX Ventures、HashKey Capital、Polygon、NGC Ventures、Kronos、KuCoin Ventures、Gate Ventures、G Ventures、MH Ventures、Summer Ventures、Aegis Ventures 等参投。2024 年 4 月，Lumoz 曾以 1.2 亿美元估值完成 600 万美元 Pre-A 轮融资。2023 年 4 月，Lumoz（原 Opside）完成 400 万美元种子轮融资。 zkVerifier：Lumoz 如何为用户降低 Gas 费？那么，Lumoz 在...

787天前dy zhang#DePIN #EigenLayer #Lumoz #POW #zkVerifier #以太坊 #存储

本周前瞻 | ZK、ZRO 空投在即，约 4400 万美元 ID 解锁

一览未来一周最值得关注的行业大事件及项目重要进展。ZKsync 代币 ZK 6 月 17 日开放空投领取。Tether 将于 6 月 17 日推出其新类别的数字资产产品。LayerZero 或将于 6 月 20 日推出代币 ZRO。价值约 4400 万美元 ID 将于 6 月 22 日解锁。Solana Summit APAC 将于 6 月 20 至 22 日在马来西亚吉隆坡举办。本周（2024 年 6 月 17 日 - 6 月 23 日）Web3 大事件不容错过，下图是本周精彩预告：Foresight News 日历 实时更新点此 订阅 Foresight News 日历重要事件ZKsync 空投代币申领将于北京时间 6 月 17 日 15:00开放，币安、Bitget、火币 HTX、Bithumb 等多家交易所将于 16:00 上线 ZK。此次共空投 36 亿代币，占总供应量的 17.5%，695,232 个钱包符合空投资格。17.5% 的 ZK 空投分配给两组社区成员，包括用户（89%）与贡献者（11%），每个钱包的最低分配额最终为 917 枚 ZK，每个地址空投最多 100,000 枚代币。空投代币没有归属期或锁定期。Tether CEO Paolo Ardoino 预告，经过一年的努力，Tether 将于 6 月 17 日推出其新类别的数字资产产品。苏富比将于 6 月 18 日拍卖 Three Arrows Capital 拥有的一套黄金 BAYC 及其衍生 NFT，包括一枚 BAYC、2 枚 MAYC 以及 1 枚 BAKC NFT ，Three Arrows Capital 此前于 2021 年 7 月以 95 ETH 购买 BAYC ，11 ETH 购买 BAKC NFT。尼日利亚撤销对币安高管的税务指控后币安成唯一被告，下一次听证会于 6 月 20 日举行。项目进展代币 TGEStarknet 生态 DeFi 协议 Nostra 代币 NSTR 于 6 月 17 日进行 TGE，11% 空投给社区，NSTR 将同时在以太坊主网和 Starknet 上线。该代币的总供应量为 1 亿枚，启动时 100% 解锁。ZKsync 代币 ZK 空投领取将于北京时间 6 月 17 日 15:00 开放。Scroll 生态 DEX NURI Exchange 将于 6 月 19 日推出原生代币 NURI。LayerZero 基金会发布了首条配图推文，配图显示「06.20.2024」，或将于 6 月 20 日发布代币 ZRO。Lista DAO 代币 LISTA 的 IFO 销售时间为北京时间 6 月 19 日 17:30 至 6 月 20 日 17:30，TGE 和空投将于 6 月 20 日启动，领取空投截止日期为 2024 年 7 月 19 日。代币申领截止日期io.net 代币 IO 申领将于 6 月 18 日 19:00 结束。Starknet 代币空投领取截止时间为 6 月 20 日，未领取的代币将被回收到池中，并在未来的回合和 / 或计划中分配。跨链权益证明网络 penumbra 空投代币 UM 领取结束日期 6 月 21 日。交易所动态币安于北京时间 6 月 17 日 11:00 停止交易并下架 OmiseGO（OMG）、Waves（WAVES）、Wrapped NXM（WNXM）以及 NEM（XEM）。Bitget PoolX 挖矿项目 Ultiverse（ULTI）质押挖矿开放时间为北京时间 6 月 7 日 ...

796天前dy zhang#BAYC #Pix #Solana #Tether #zkSync #空投

Lumoz 将推出Node Sale，预售及白名单注册活动将于6月17日正式启动

比推消息，模块化算力层 & ZKRaaS平台 Lumoz宣布将在全球范围内推出 zkVerifier Node 售卖，节点预售及白名单注册活动将于北京时间 6月17日下午三点正式启动。Lumoz zkVerifier Node作为Lumoz网络的重要组成部分，主要负责验证执行结果。此次售卖的Lumoz zkVerifier Node 上限为 200,000个。 据悉，Lumoz 是领先的模块化算力层和ZK-RaaS平台，近期刚以3亿美元的估值完成新一轮融资，预计将在今年Q3上线主网。

800天前burnking#Lumoz #Node Sale

IOSG Weekly Brief ｜解放以太坊性能：超越EVM瓶颈的创新之路

关于以太坊虚拟机（EVM）的性能在以太坊主网上的每一个操作都要花费一定的 Gas，如果我们把跑基础应用所需的计算量都放在链上，要么 App 会崩溃，要么用户会破产。这催生了 L2 ：OPRU 引入了排序器来捆绑一堆交易，然后提交到主网上。这不仅有助于 app 承接以太坊的安全性，同时也给予了用户更好的体验。用户可以更快地提交交易，手续费也更加便宜了。虽然操作变得便宜了，但它仍然使用原生 EVM 作为执行层。和 ZK Rollups 类似，Scroll、Polygon zkEVM 使用或将使用基于 EVM 的 zk 电路，zk Proof 将在其证明器上进行的每一笔交易或者一大包交易中生成。虽然这能让开发者建立 "全链上 "的应用程序，但它是否仍能高效且经济地运行高性能的应用程序呢？这些高性能应用都有哪些？人们首先想到的是游戏、链上订单簿、Web3 社交、机器学习、基因组建模等。所有这些都需要大计算量，在 L2 上运行也会非常昂贵。EVM 的另一个问题是，计算的速度和效率不如现在的其他系统，如SVM （Sealevel Virtual Machine）。虽然 L3 EVM 可以使计算更便宜，但 EVM 本身的结构可能不是执行高计算的最佳方式，因为它无法计算并行运算。在上面每建一个新的层的时候，为了保持去中心化的精神，就需要建立新的基础设施（新的节点网络），这仍然需要同样数量的提供者来扩展，或者是一组全新的节点提供者（个人/企业）来提供资源，或者两者都需要。因此，每当更先进的解决方案被建立时，现有的基础设施就要被升级，或者在上面建立一个新的层。为了解决这个问题，我们需要一个后量子安全、去中心化、无需信任、高性能的计算基础设施，可以真正高效地使用量子算法为去中心化的应用进行计算。像 Solana、Sui 和 Aptos 这样的 alt-L1s 能够实现并行执行，但由于市场情绪,流动性短缺市场上缺乏开发人员，他们不会对以太坊产生挑战。因为缺乏信任，而且以太坊用网络效应建立的护城河是里程碑式的。到目前为止，ETH/EVM 的杀手并不存在。这里的问题是，为什么所有的计算都应该在链上？是否存在一个同样无需信任、去中心化的执行系统？这是 DCompute 系统能够实现的。DCompute基础设施要做到去中心化、后量子安全，也要做到无信任，不需要或者说不应该是区块链/分布式技术，但验证计算结果，正确的状态转换和最终确认是非常重要的。EVM 链的运行就是如此，在保持网络的安全性和不可篡改性的同时，去中心化的、无需信任的、安全的计算可以被移到链下。我们在这里主要忽略的是数据可用性的问题。这篇文章并非不关注数据的可用性，因为像Celestia 和 EigenDA 这样的解决方案已经在朝这个方向发展。1: 只将计算外包（Only Compute Outsourced）(来源：Off-chaining Models and Approaches to Off-chain Computations, Jacob Eberhardt & Jonathan Heiss)2. 将计算与数据可用性外包(来源：Off-chaining Models and Approaches to Off-chain Computations, Jacob Eberhardt & Jonathan Heiss)当我们看到 Type 1时，zk-rollups 已经在做这个，但它们要么受限于EVM，要么需要教导开发者学习全新的语言/指令集。理想的解决方案应该是高效...

1159天前IOSG#EVM #ONE #SOL #WEB3 #以太坊 #去中心化 #安全性 #网络

没有更多了