原文作者：E
由于区块链为了保护安全，而施加了计算限制，ZK 协处理器(Coprocessors)正逐渐成为一个备受关注的话题。它能够增强计算能力，同时保持强大的安全性。在本文中，Galaxy Digital 研究员 E 将探讨 ZK 协处理器的概念、作用以及正在构建的一些项目。
一般来说，协处理器是一种专门的组件，它协助 CPU，通过更熟练地处理某些任务来提高计算机系统的整体效率和速度。
ZK 协处理器是一个互操作层，它执行任意计算并提供一个“收据”，这是确认计算正确执行的数学有效证明。
知情人士：Prime Trust已于2021年丢失旧钱包控制权，并挪用客户资产:6月28日消息，据推特用户tier10k透露，FID的资料显示，Prime Trust早在2021年就已失去了对旧钱包的访问权限，并使用客户的资产来回购加密货币。数据显示，Prime Trust欠客户法币资产8567万美元，但Prime Trust仅持有290.4万美元。 Prime Trust欠客户数字资产6950.9万美元，但仅持有6864.8万美元。[2023/6/28 22:04:33]
每个收据都包括一个加密标识符，表示执行了哪个计算，并记录计算的任何公共输出。
有了这些收据，机器可以明确地“证明”计算发生了。这不仅仅是说明计算发生了，还提供了一个可验证的轨迹。这就像一个无需信任的、安全的计算审计！
福布斯：Binance曾于去年8月挪用17.8亿美元B-peg USDC抵押品资产:2月27日消息，Binance 曾于 2022 年 8 月 17 日至 24 日期间，私自挪用近 18 亿美元的 B-peg USDC 抵押品资产，其中 11 亿美元转移至高频交易公司 Cumberland/DRW，其余几亿美元资金分别转移至 Amber Group、Alameda Research 和 Tron 的创始人 Justin Sun。
Binance 首席战略官 Patrick Hillmann 表示，数十亿资产在钱包之间的转移是交易平台正常业务行为的一部分。但福布斯认为，Patrick 淡化了投资者对混合平台及用户资产行为的担忧，同时回避了稳定币抵押品遭挪用的问题。[2023/2/27 12:32:42]
为什么我们需要 ZK 协处理器？
BitKeep钱包：疑似跑路TRX项目企鹅Penguin私自挪用用户资产已追查到相关证据:据官方消息，基于TRX波场生态系统下的DEFI项目Penguin企鹅，9月29日晚私自转移大量用户质押LP代币约50万USDT在Justswap变现，随后部分资产转移币安。大量企鹅受害者表示已报警，同时，BitKeep钱包表示：“目前已锁定项目方IP、币安账户、移动设备、资金流向及关联地址在OKEx上的提币记录等信息。”[2020/9/30]
区块链对计算能力施加了限制，将L1/L2上的操作限制在一小部分固有安全操作中以确保安全。ZK 协处理器增强了计算能力，使得在保持强大安全性的同时能够执行更广泛的操作。
菲律宾加密货币监管机构负责人被控挪用数百万美元:菲律宾卡加延经济区管理局（CEZA）局长Raul Lambino因涉嫌腐败而受到抨击。该经济区为在菲律宾运营的加密货币交易所发放许可证。《马尼拉时报》发表了一篇报道，据称是由菲律宾国家情报协调机构(NICA)泄露的。报道称，Raul Lambino诺拥有数千万美元的无法解释的财富。据称，Lambino向每个申请在CEZA下运营的加密货币公司收取10万美元的主要许可费和10万美元的申请费。然而，这份情报报告声称，Lambino的收据中只有3000美元是这些费用，这表明他挪用了另外9.7万美元。在Lambino的CEZA管理下，有25家加密货币公司在运营。报告显示，仅申请和授权费一项，Lambino就拿走了至少480万美元。（Cointelegraph）[2020/2/28]
正在构建的 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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。