WEB:一文了解ZK协处理器：概念、工作原理及前沿项目_NBS价格

原文作者：E 

由于区块链为了保护安全，而施加了计算限制，ZK 协处理器(Coprocessors)正逐渐成为一个备受关注的话题。它能够增强计算能力，同时保持强大的安全性。在本文中，Galaxy Digital 研究员 E 将探讨 ZK 协处理器的概念、作用以及正在构建的一些项目。

一般来说，协处理器是一种专门的组件，它协助 CPU，通过更熟练地处理某些任务来提高计算机系统的整体效率和速度。

ZK 协处理器是一个互操作层，它执行任意计算并提供一个“收据”，这是确认计算正确执行的数学有效证明。

安全公司：MultiChainCapital遭受闪电贷攻击，黑客获利约10ETH:金色财经报道，据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示，MultiChainCapital项目遭受闪电贷攻击(攻击交易：0xf72f1d10fc6923f87279ce6c0aef46e372c6652a696f280b0465a301a92f2e26)，黑客利用通缩代币未将pair排除例外地址，使用deliver函数造成代币增发，最后通过swap函数将增发的代币兑换获利10ETH，目前资金存在黑客地址未转出。Beosin Trace将持续对资金流向进行监控。[2023/5/9 14:52:28]

每个收据都包括一个加密标识符，表示执行了哪个计算，并记录计算的任何公共输出。

PeckShield：BNB Chain上一未验证合约遭到攻击，黑客获利超22万美元:金色财经报道，据 PeckShield 监测，BNB Chain 上一未验证合约（0x6D8981847Eb3cc2234179d0F0e72F6b6b2421a01），黑客获利约 22.5 万美元。目前黑客已将盗取的约 22.5 万枚 DAI 以及少量以太坊通过 Multichain 跨链至以太坊并最终转入 RAILGUN。[2023/2/27 12:31:56]

有了这些收据，机器可以明确地“证明”计算发生了。这不仅仅是说明计算发生了，还提供了一个可验证的轨迹。这就像一个无需信任的、安全的计算审计！

为什么我们需要 ZK 协处理器？

区块链对计算能力施加了限制，将L1/L2上的操作限制在一小部分固有安全操作中以确保安全。ZK 协处理器增强了计算能力，使得在保持强大安全性的同时能够执行更广泛的操作。

SushiSwap的BentoBoxv1合约遭受攻击，黑客获利约2.6万美元:金色财经报道，据区块链安全审计公司Beosin监测显示，SushiSwap的BentoBoxv1合约，据Beosin安全技术人员分析，该攻击是由于Kashi Medium Risk ChainLink价格更新晚于抵押/借贷后。在两笔攻击交易中，攻击者分别flashloan了574,275+785,560 个 xSUSHI, 在抵押和借贷之后，LINK Oracle中的kmxSUSHI/USDT 的价格从下降了16.9%。通过利用这一价格差距，攻击者可以调用 liquidate()函数清算从而获得15,429+11,333 个USDT，Beosin Trace追踪发现目前被盗资金还在攻击者的地址上：0xe7F7A0154Bf17B51C89d125F4BcA543E8821d92F。[2023/2/10 11:58:50]

Wormhole通过Immunefi平台修复一高危漏洞，黑客获1000万美元奖励:5月21日，据Immunefi官方消息，白帽黑客satya0x通过该平台为跨链桥Wormhole检举出一高危漏洞，并因此获得1000万美元奖励金，创下Immunefi平台获奖金额最高记录。该漏洞很快得到修复，没有用户资金受到影响。[2022/5/21 3:32:04]

正在构建的 zk 协处理器的协议有哪些？

Axiom 是以太坊的 ZK 协处理器，它为智能合约提供了对所有链上数据的无需信任的访问以及对其进行任意表达式计算的能力。

Axiom 对于任何协议或去中心化应用（dapp）都有用，只要其中涉及历史链上数据或表达式计算，包括无需信任的会计、动态 DeFi、无需信任的链下治理以及无需信任的链上预言机等。

Axiom 的使命是使零知识证明的功能在链上应用中尽可能地易于访问和使用，从而解锁一波更丰富、更具表现力的信任最小化去中心化应用的新浪潮。

Tanuki 利用 Axiom 为基于历史链上数据的钱包评分计算提供了一个无需信任、透明的系统。这些数据可以用于信用评分协议，如 Karma 3 labs，NFT 定价分析，如 SPICYEST 等。

Tanuki 的解决方案是一种去中心化的替代方案，使协议能够以无需信任的方式计算相关指标，从而促进公平和透明的互动。传统上，这些计算只能在中心化且不太透明的系统中进行。

Risc Zero 提供了一个可以在任何平台上运行的 zkVM。它是一个虚拟微控制器/协处理器，为其运行的每个程序生成收据，有点像一个安全的虚拟 Adruino。

RiscZero 的 Bonsai 是一个通用的零知识证明网络。它提供了为区块链智能合约执行链下计算的能力。

Herodotus 旨在为智能合约提供来自其他以太坊层的同步链上数据访问。他们认为存储证明可以统一多个 Rollups 的状态，甚至允许以太坊层之间的同步读取。

Poseidon ZKP 旨在填补创建 EVM 原生 zkDApps 的空白。它针对以隐私为中心的 zkDApps 开发的两个主要障碍：由于加密复杂性而使使用 ZKP 的高门槛，以及昂贵的链上验证。

Poseidon ZKP 正在开发的一个功能涉及将可组合的 ZKP 原语作为智能合约创建。在此基础上，他们提供了一个 ZK-ZK 聚合器，将一批客户端生成的证明，并合并为一个证明，显著降低了摊销后的 ZKP 验证成本。

另一个由 Devloper 共同创立且低调的项目 Pluto，正在探索如何为特定于 dApp 的可扩展性创建无缝的开发者体验。

准备好让您的 dApps 在效率和安全性方面达到新的高度吗？拥抱 zk 协处理器的未来，开启无尽的可能性。

深潮TechFlow

个人专栏

阅读更多

金色荐读

金色财经 善欧巴

迪新财讯

Chainlink预言机

区块律动BlockBeats

白话区块链

金色早8点

Odaily星球日报

MarsBit

Arcane Labs

标签：WEBWEB3NBSBSPCoinwebWEB3币NBS价格BSP币

fil币价格今日行情热门资讯