IOSG:ZK 协处理器的入门课, 它究竟能做什么?

对于资料的查询与计算,链上计算所花费的成本可能是链下计算的好几倍,这也导致许多 web2 功能无法在 web3 上完全释放,而 ZK 协处理器或许能解决这一难题。前情提要:从Type1到Type4,各类型ZKEVM的差异在哪? 背景补充:DeFi也行!零知识AI机器学习ZKML的优势和挑战

ZK 协处理器是区块链领域一项激动人心的创新。它由 Brevis、Axiom、Lagrange 和 Herodotus 等专案率先推出,有望彻底革新我们在区块链上开发应用的方式。有了 ZK 协处理器,开发人员可以建立资料驱动的 dApps,可以利用 omnichain 资料的历史记录来执行复杂的计算,而不需要依赖任何额外的信任假设。更为重要的是,它引领了一种新的开发模式:非同步应用架构,这为 Web 30 软体框架带来了前所未有的效率和可扩容性。

欧意交易平台

在本系列文章中,我们将揭示 ZK 协处理器的神秘面纱。无论您是对其理念、实际应用、基础机制、面临的挑战,还是市场策略感兴趣,或是想要比较不同的专案,我们希望这些文章都能给您带来新的启发。

DEX 上缺少 VIP 交易员计划的案例

要理解 ZK 协处理器的基本思想,我们需要从现实世界中的激励性例项开始。

中心化交易所CEX和去中心化交易所DEX之间的一个明显区别是存在基于交易量的收费标准,也就是通常所说的VIP 交易员忠诚度计划。这些计划是留住交易者、提高流动性并最终增加交易所收入的有力工具。

有趣的是,虽然每个 CEX 都拥有至少一个这样的专案,但 DEX 却完全没有。为什么呢?

这是因为在 DEX 中实现这一功能要比在 CEX 中更具挑战性,成本也更高。

在 CEX 中,实施忠诚度专案需要:

在中心化资料库中记录所有使用者的交易历史 这是一项 便于降低未来查询成本 的任务。每月在高效能的中心化资料库中执行一次 直接查询 ,根据历史资料确定每个使用者的交易量和费用等级。

然而,DEX 在尝试遵循相同步骤时面临着重大挑战:

由于区块链的 储存成本过高 ,在智慧合约中直接储存每个使用者的交易历史并不可行。实施这种逻辑意味着使用者每笔交易的手续费 要高出 4 倍 。即使我们进行了交易记录的资料储存,但对这些资料进行统计查询和计算的成本更高。例如,计算单个使用者 10K 笔交易的交易量资料将花费 156M Gas对!我们计算过。

你可能会说等等,你到底在说什么?在区块链上,每个使用者的每笔交易都已自动储存因为它是区块链!。在区块链上土生土长的智慧合约,应该可以随时访问所有这些资料,对吧?

很遗憾,不对!

区块链储存的资料 和 区块链虚拟机器内智慧合约可访问的资料 完全是两码事。

IOSG:ZK 协处理器的入门课, 它究竟能做什么?

对于区块链的完整 / 存档节点来说,它们储存了区块链历史上的大量资料。通过这些节点,您可以轻松访问:

历史上任何给定时间内整个区块链的状态例如,谁是 Cryptopunk 的第一个所有者。历史上任何给定时间内的交易和因交易而产生的事件例如,Charlie 将 1000 兑换成 05 ETH。

事实上,流行的 链外资料索引或分析工具 如 Nansen 和 Dune Analytics可利用这一广泛的资料集进行深入分析。

然而,对于嵌入区块链虚拟机器的智慧合约来说, 资料访问的限制要大得多 。它们不能使用链外索引解决方案生成的资料,因为这会给这些外部且通常是中心化的索引解决方案带来额外的信任问题。

事实上,智慧合约只能轻松且无需信任地访问以下资料

虚拟机器状态中储存的资料不包括交易或事件资料。最新区块中的资料历史资料访问是受限的。通过检视功能公开的其他智慧合约的资料不包括私有或内部合约资料。

上述说法的一个关键细微差别在于轻松一词。

智慧合约并非完全不知道区块链上的全部资料。在 EVM 中,智慧合约可以访问最新 256 个区块的区块头hash值。这些区块头囊括了区块链上截至当前区块的所有活动,并通过默克尔树和 Keccak hash值浓缩成 32 位元组的hash值。

压缩过的东西可以解压缩 只是并不容易

试想一下,如果想利用最近的区块头,无需信任地访问上一个区块中的特定资料。这种方法包括从存档节点获取链外资料,然后构建默克尔树和区块有效性证明,以确定资料在区块链中的真实性。然后,EVM 对有效性证明进行处理,以进行验证和解释。这样的操作既繁琐又艰钜,仅仅为了检索过去的几个代币余额,就可能消耗数千万 Gas。

这一挑战的根源在于,区块链虚拟机器本身不具备处理资料量大和密集型计算如上述解压缩任务的能力。

资料来源 Brevis 在 ETHSG 的演示幻灯片

如果有一种魔法, 能让区块链委托进行这种资料密集型的繁琐计算 , 并以低成本迅速获得结果 , 而且不需要任何额外的信任假设,那就再理想不过了 。

朋友,这正是 ZK 协处理器的用途所在 。

协处理器 这一名称的灵感来源于电脑架构的发展史。例如,GPU 作为 CPU 的协处理器被引入,是因为 CPU 必须将某些昂贵且自身难以执行的重要计算任务如图形计算或人工智慧训练下放给辅助处理器,即 GPU。

但是,ZK 协处理器中的ZK又是什么意思呢?在深入探讨复杂的技术细节之前,让我们先来了解一下这项创新技术的广泛意义和潜力。

CNBC主持人:稳定币制裁有反效果!1000亿美元将流向BTC、ETH
CNBC主持人:稳定币制裁有反效果!1000亿美元将流向BTC、ETH

CNBC 节目 Crypto Trader 主持人 Ran Neuner 昨晚发推对稳定币制裁作出了乐观解读,表示 SEC 如打击所有稳定币,超 1000 亿美元将无家可归,或直接流入比特币和以太坊带来新一波上涨。前情提要:SEC传向USDC开刀!禁止销售末注册证券;Circle驳是假消息背景补充:...

Lido战略顾问Hasu:Lido会对以太坊构成威胁吗?
Lido战略顾问Hasu:Lido会对以太坊构成威胁吗?

在这次采访中,Lido 的战略顾问 Hasu 讨论了 Staking 的现状、Lido 目前的发展情况等内容,并提出了一个问题 Lido 是否受到了不公平或不准确的评价?本文源自 Bankless 《Hasu Explains Is Lido a Threat to Ethereum》的专访 ,由深...