NBS:一文了解ZK协处理器:概念、工作原理及前沿项目_BSP

原文作者:E 

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

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

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

数据:2021年四季度在三个交易所使用里拉的加密货币交易量平均每天达到18亿美元:金色财经报道,根据区块链分析公司Chainalysis 数据显示,虽然 2021 年最后一个季度里拉兑美元汇率崩盘,但在三个交易所使用里拉的加密货币交易量平均每天达到 18 亿美元。与国际清算银行 2019 年的一项调查结果相比,这些交易量仍然不大,该调查发现每天约有 710 亿美元的里拉交易,但即便如此,仍比前五个季度中的任何一个季度都多。2021年第三季度,里拉成为交易量最大的政府发行货币兑 Tether,超过了美元和欧元。尽管去年官方禁止将其用作该国的一种支付方式,土耳其人仍接受了加密货币。

据几位土耳其储户称,这促使一些人将银行持有的美元和现金美元兑换成所谓的稳定币,这种加密货币的价值与美元等传统货币挂钩。Chainalysis 表示,12 月份超过一半的里拉交易涉及 Tether。[2022/1/13 8:46:55]

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

数据:2021年Cardano每日活跃开发者数量排名第一:1月2日消息,据Santiment报告显示,基于Github公开信息,2021年总开发活动排名前20的项目包括Cardano、Kusama、Polkadot、Ethereum、Gnosis等。以NFT为重点的Flow项目排名第九。Cardano去年平均每天有53名贡献者为其Github存储库做出贡献,排名第一。其他拥有大量日常活跃开发人员的项目包括TrustWalletToken(28名)、Filecoin(22名)。开发者对Solana代币的兴趣尤其体现在Solana的Hackathon活动上。2020年10月首届Hackathon的注册人数为1000人。以太坊仍然是DeFi应用程序的领先平台,2021年市值排名前10的DeFi代币均基于以太坊。(Beincrypto)[2022/1/2 8:20:18]

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

MyEtherWallet研发副总裁:ETH价格在2021年有望继续飙涨:10月10日消息,MyEtherWallet研发副总裁Olga Kupchevskaya接收采访时表示,“就价格而言,ETH当然会上涨。我们已经看到,在以太坊区块链进行质押的兴趣增加,并推动其价格高于2017年的水平。如果以太坊基金会在2021年底履行其向主网和信标链合并的承诺,ETH的价值将进一步得到保障。此外,我们将看到更多的去中心化金融跨链功能和桥接整合。在之前的DeFi繁荣期之后,越来越多的用户对参与不同的DeFi项目感兴趣。这是项目为用户创造最大价值并获得更高市场份额的下一步。”(Cointelegraph)[2021/10/10 20:18:43]

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

Grin开发者:莱特币MimbleWimble协议代码将于2021年第一季度准备就绪:金色财经报道,Grin开发者David Burkett在推特表示,莱特币MimbleWimble协议的代码将于2021年第一季度准备就绪。激活时间将根据用户和矿工随后很快进行。此前消息,莱特币基金会于2019年10月发布莱特币改进提案草案LIP-0002和LIP-0003,旨在为莱特币网络整合MimbleWimble协议,以建立隐私功能。[2020/12/31 16:07:28]

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

正在构建的 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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:15ms0-5:299ms