原作者:e
由于区块链施加了计算限制来保护安全，ZK协处理器逐渐成为一个备受关注的话题。它可以增强计算能力，同时保持强大的安全性。在本文中，银河数码研究员E将讨论ZK协处理器的概念、功能和一些正在建设的项目。
一般来说，协处理器是一种特殊的组件，它通过更巧妙地处理某些任务来辅助CPU提高计算机系统的整体效率和速度。
ZK协处理器是一个互操作层，它执行任意计算并提供“收据”，这是一个数学上有效的证明，以确认计算的正确执行。
每个收据包括一个加密的标识符，该标识符指示执行了哪个计算，并记录该计算的任何公共输出。
有了这些收据，机器可以清楚地“证明”计算已经发生。这不仅表明计算已经发生，而且还提供了可验证的轨迹。就像没有信任的安全计算审计！
为什么我们需要ZK协处理器？
区块链对计算能力进行了限制，将L1/L2上的操作限制为少量本质安全的操作，以确保安全性。ZK协处理器增强了计算能力，使其能够执行更广泛的操作，同时保持强大的安全性。
zk协处理器正在构建的协议有哪些？
Axiom是以太坊的ZK协处理器，为智能合约提供了无信任访问链中所有数据和计算任何表达式的能力。
Axiom对于任何协议或去中心化应用(dapp)都是有用的，只要它涉及到历史链上的数据或表达式的计算，包括不可信的记账、动态DeFi、不可信的离线治理和不可信的在线Oracle。
Axiom的使命是让零知识证明的功能在链应用中尽可能容易获取和使用，从而解锁新一波更丰富、更有表现力的信任最小化和去中心化应用。
Tanuki使用Axiom为基于历史链中的数据的钱包分数计算提供了一个无信任和透明的系统。这些数据可以用于信用评分协议，如Karma3labs，NFT定价分析，如SPICYEST等。
Tanuki的解决方案是一种分散的替代方案，它使协议能够以不需要信任的方式计算相关指标，从而促进公平透明的交互。传统上，这些计算只能在集中且不太透明的系统中执行。
Risc Zero提供了一个可以在任何平台上运行的zkVM。它是一个虚拟的微控制器/协处理器，为它运行的每个程序生成收据，有点像安全的虚拟Adruino。
RiscZero的Bonsai是一个通用的零知识证明网络。它能够为区块链智能合约执行离线计算。
希罗多德的目标是为智能合约提供同步链上来自其他以太坊层的数据访问。他们认为存储证书可以统一多个Rollups的状态，甚至允许以太网层之间的同步读取。
《海神ZKP》旨在填补创造EVM本土zkDApps的空 white。它针对以隐私为中心的zkDApps开发中的两个主要障碍:加密的复杂性导致的使用ZKP的高门槛，以及昂贵的在线验证。
海神ZKP正在开发的一个功能包括创建可组合的ZKP原语作为智能合约。在此基础上，他们提供了一个ZK-ZK聚合器，将客户生成的一批证书合并成一个证书，大大降低了摊销后的ZKP验证成本。
另一个由Devloper联合创立的低调项目Pluto正在探索如何为dApp特定的可扩展性创建无缝的开发者体验。
您准备好让您的dApps在效率和安全性方面达到新的高度了吗？拥抱zk协处理器的未来，开启无限可能。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"zk的zab协议，一文了解ZK协处理器：概念、工作原理及前沿项目"：http://www.guoyinggangguan.com/qkl/148762.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
