宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 中币 > 正文

一文解读 APK 证明的强大功能与轻客户端实践

作者:

时间:1900/1/1 0:00:00

共识机制(Consensus Mechanism)是区块链事务达成分布式共识的算法。区块链节点共识过程中,所有节点都需要对整个区块进行签名,并将区块数据、节点公钥、签名数据等数据存储在区块中。区块链主要使用数字签名来实现权限控制、识别交易发起者的合法身份,以防止恶意节点冒充。

而随着区块链技术的发展与广泛应用,签名相关存储数据也会不停增长。区别于传统的应用,理论上区块链上的数据只会不断地增加,海量签名带来了海量数据,给签名验证带来了巨大负担。验签时所需要使用的公钥究竟有多大?不同的签名算法数据也有所不同,一般而言 ECDSA/Schnorr/EdDSA 算法 256 bits、BLS 算法 384 bits,如果有上万公钥在验证时候被需要,那么所需的存储的数据量十分庞大。

由上可知,在算法层面大量验证信息需要被存储、被处理,那该如何解决区块链网络繁重的验证问题?近期,Web3 基金会的研究员 Syed Hosseini 介绍了完全简洁的 BLS 聚合签名 APK 证明的强大功能和验证示例。下面将为大家翻译整理 Syed Hosseini 报告中的关键内容,感兴趣的开发者可至文末查看所有参考文献的来源链接。

Babylon上线测试网V0.7.1,启用CosmWasm智能合约支持:6月20日消息,旨在将比特币安全性带至Cosmos生态的项目Babylon宣布上线Babylon测试网V0.7.1,启用CosmWasm智能合约支持以及IBC客户端双向数据共享等。[2023/6/20 21:49:35]

APK 证明技术所解决的问题

在传统的数字签名算法中,如果一个委员会有很多成员,验证者需要知道每个成员的公钥,并收集每个成员在签署过程中的签名信息,但是这样操作的验证成本非常高。

APK 验证是由 Web3 基金会研究人员设计和实现的一种协议。它允许验证者在不知道每个成员的个别公钥的情况下,验证由签署委员会的部分成员(如一组验证者集合)签署的事实。这项协议的关键之处在于,它利用了 SNARKs 技术,将验证所需的成本大大降低。下面将介绍其如何利用 SNARKs 技术和 BLS 聚合签名实现上述功能。

SNARKs 技术

首先让我们认识一下 SNARKs 技术,其是一种零知识证明的形式,具有以下关键特点:

Blocto原生Token BLT上线Aptos网络,与PancakeSwap合作推出糖浆池:据官方消息,跨链智能钱包Blocto宣布其原生Token BLT已上线Aptos网络,并与Pancake Swap合作推出糖浆池,用户质押CAKE可赚取BLT收益。据官方介绍,目前暂无Blocto官方的BLTToken桥接或传送服务,相关信息将至少在发布前5天公布;最初发送至Aptos网络的BLT将用于Aptos上的流动性提供和Blocto生态基金。

据CoinGecko数据显示,Blocto(BLT)现报价0.055美元,24小时涨幅8.8%。据PancakeSwap行情数据显示,Aptos网络BLT现报价0.11美元,24小时涨幅38.24%。[2023/3/6 12:44:50]

零知识:意味着除了特定陈述为真之外,不会透露有关证明者秘密输入的信息。

简洁:意味着证明体积小,可以快速检查。这是一个至关重要的属性,因为它使系统高效且可扩展。

非交互式:这意味着证明由从证明者发送到验证者的单个消息组成,不需要来回交互。这是通过称为 Fiat-Shamir 启发式的过程实现的,该过程将交互式证明转换为非交互式证明。

特朗普NFT地板价已跌至约0.21ETH 跌幅达74%:金色财经报道,据cryptoslam数据显示,特朗普NFT藏品在上周末短暂飙升后热度开始快速走低,数据显示其地板价已跌至约0.21 ETH,跌幅达到74%,而日均交易额则减少了57%,约为83.6万美元。本文撰写时,Trump Digital Trading Cards二级市场交易总额略高于880万美元,该系列持有者总量约为1.5万个地址。(decrypt)[2022/12/21 21:57:20]

知识论证:这是一个技术术语,本质上意味着计算上合理的证明,其中计算有界的验证者不能被计算无界的证明者说服错误陈述。

尽管 SNARKs 非常有潜力,但不可忽视的事,其在“可信设置”初始阶段会生成一些必须保密的参数。如果这些参数受到损害,整个系统的安全性就会受到损害。这导致了其他零知识证明系统的发展,如 zk-STARKs,它们不需要可信的设置,但该技术目前尚不成熟,未得到广泛应用。

而 APK 证明的 SNARKs 基于多项式协议和多项式承诺。其将在委员会成员的公共关键点坐标之间定义一组多项式关系。如果证明者能够说服验证者这些关系成立,那么验证者可以确定小组委员会的聚合公钥是正确的。即 APK 证明可以有效地验证多个成员的签名,而无需知道每个成员的具体公钥。

Sushi 2.0社区提案已在Snapshot上通过:金色财经报道,据Sushi官方消息,Sushi 2.0 社区提案已通过。此前报道,4月底,SushiSwap 发布 Sushi 2.0 社区提案,分为三个可采取行动的项目进行表决。首先,留住将 Sushi 带入未来所需的人才,涵盖工程、设计、业务开发、市场营销、社区参与等领域;第二,建立正式的薪酬委员会,以检查所有预算事项的透明度和问责制;第三,随着提案的实施,将启动正式的高管和领导人才招聘流程,以补充被保留的团队。

此外该提案将指定 600 万枚 SUSHI,期限为 4 年,用于当前捐款分配情况、未来招聘分配、部分资金用于资助未来的项目战略和领导力。[2022/5/12 3:09:42]

BLS 聚合签名

BLS 聚合签名是 Boneh–Lynn–Shacham 的简称,其最初由斯坦福大学教授 Dan Boneh 等人提出的一种签名方案。BLS 特点在于采用了基于双线性映射的椭圆曲线配对技术,以实现签名的验证与聚合,即 BLS 签名使用配对函数进行验证来节省区块空间。在运行 APK 证明时,并不需要验证 BLS 签名本身,只验证聚合公钥是否确实正确聚合,这只需要在 Einn?r (BLS 公钥在曲线 Einn?r 上定义)上添加功能,并且验证者在验证聚合公钥正确之前,永远不需要使用配对功能。

《绝地求生》开发商旗下RisingWings为全球电子竞技服务COMPETZ首发PFP NFT:5月9日消息,《绝地求生》开发商 KRAFTON 旗下独立工作室 RisingWings 宣布将为基于区块链的全球电子竞技服务 COMPETZ 发行首个 PFP NFT,这些 NFT 能用作 COMPETZ 的个人资料图像,首次铸造将发行 1000 枚,按照稀有度将分为传奇、史诗、稀有、稀有和普通五个不同等级,PFP 越稀有,用户奖励越高。如果用户拥有两个或更多 PFP,奖励则将叠加。NFT 铸造将于 5 月 10 日通过 BORA PORTAL 进行。(Businesswire)[2022/5/9 2:59:57]

总之,APK 证明利用了一种承诺机制,只需要验证者拥有一个固定大小的已验证的公钥集合,就可以通过协议提供的简单的证明,来验证聚合签名的正确性。由此,其极大地简化了验证过程,并且减少了所需的信息交换量。这为构建安全可靠的去中心化应用和系统,提供了更加高效和可扩展的解决方案。

APK 证明的区块链轻客户端实践

目前,现有区块链上的计算和存储成本远高于现代手机浏览器中的成本。因此,受到手机等设备在计算能力方面存在的限制,很多区块链应用无法得到普及。目前轻客户端又依赖于全节点去执行大量操作,轻客户端需要发送多个请求来执行简单的操作,因此所需的总体网络带宽高于全节点的带宽。

此外,对于波卡生态而言,区块链互操作性的一个关键挑战是实现一个拥有高效且安全的链上轻客户端协议。现有的协议在验证方面要么缺乏责任制,要么效率低下。如 Cosmos 的采用跨链通信 IBC 协议,该协议的效率问题成为网桥中使用链上轻客户端验证器的障碍。而 APK 证明凭借高效的验证,为构建安全可靠的去中心化应用和系统,提供了更加高效和可扩展的解决方案。

责任制的轻客户端系统

Web3 基金会研究员定义设计并实现了第一个责任制的轻客户端系统(accountable light client system),其具有高效验证、安全等优势,且可作为核心模块集成到 SNARKs 友好的 PoS 区块链安全桥中。具体而言,该轻客户端系统将具有以下特点:

- 责任制:该轻客户端系统是负责任的。即如果轻客户端验证器被误导,并且其通信的记录被提供给网络,那么可以识别到大量行为不端的共识参与者。一方面,当向轻客户端验证器发送最少的数据时,在轻客户端系统上识别行为不端的共识参与者是具有挑战性的。另一方面,识别不当行为对于任何利益证明协议都是必要的,其安全依赖于识别和惩罚不当行为的共识参与者。

- 异步安全:即在共识的诚实假设下,该轻客户验证器不会被误导。即使它对网络的视野有限,如其只连接到一个节点,这可能是恶意的。这是其继承了区块链拜占庭协议的异步(asynchronous)安全特性,在异步的网路环境中,确定性质的协议无法容忍任何错误。

- 递增性:即它的简洁状态(Succinct State)是渐进更新的。有效的更新与桥接应用程序关系密切,而不是试图优化验证区块链起源的共识决策。

总之,责任制的轻客户端系统在使用 BLS 聚合签名和 SNARKs 技术的区块链之上轻松实现高效验证。作为 Polkadot 生态系统的一部分,目前开发人员正在将该轻客户端整合到 Polkadot 和 Kusama 中的 live Substrate bridge。

以下是利用此类证明设计的区块链轻客户端部分代码示例:

示例全文请参阅:

https://github.com/w3f/apk-proofs/blob/main/bw6/examples/recursive.rs

轻客户端将为去中心应用程序的发展、促进加密网络的大范围采用提供关键推动力。如上文所述,APK 以技术创新实现强大的功能,进一步提高轻客户端协议的效率和可靠性,也期待该技术后续更多地应用到去中心化应用之中。OneBlock 将持续关注波卡与 Substrate 生态相关技术更新,希望能够为各位开发者提供一些启发。

区块律动BlockBeats

曼昆区块链法律

Foresight News

GWEI Research

吴说区块链

西柚yoga

ETH中文

金色早8点

金色财经 子木

ABCDE

0xAyA

标签:区块链APKBLSARK区块链的几个大局bitmart安卓版apkBLSTbulwark

中币热门资讯
SharkTeam:RWA赛道链上数据分析

实物资产代币化(Real World Assets,RWA)指的是将现实世界中的具有稳定价值与收益的资产(如房地产、汽车、艺术品等),通过代币化进入链上进行使用或交易.

1900/1/1 0:00:00
Entangle Protocol:流动性质押代币的收益优化器

作者:Viktor DeFi,编译:深潮 TechFlowEntangle Protocol,一个 LST (Liquid Staking Tokens )的收益优化器,将用户的 LST 收益增加 1-3 倍,在本文中.

1900/1/1 0:00:00
超级链的进化之路:从Cosmos到OP Stack

作者:@Hercules_Defi;编译:Web3地图探寻未知,展望未来,这篇深入解析"超级链"(Superchains)演变之路的文章提供了一次绝佳的机会.

1900/1/1 0:00:00
ZK Validator: 2022年零知识证明领域回顾

原文: 作者:Zero Knowledge Validator随着 2022 年即将结束,我们想整理一份关于零知识技术领域进展的报告。对于整个行业来说,今年是忙碌的一年,但我们可以自信地说,2022 年是零知识证明实现突破的一年.

1900/1/1 0:00:00
耐克拥抱NFT营销 为其他进军Web3的企业带来什么经验

编译:区块链骑士 耐克进入NFT领域表明了数字营销的独特演变,这家著名的运动品牌已经将这项技术无缝整合到其NFT营销策略中,为其他企业驾驭Web3生态系统提供了宝贵的经验.

1900/1/1 0:00:00
一文了解FPGA和GPU加速零知识证明计算的优缺点

零知识证明技术应用越来越广,隐私证明,计算证明,共识证明等等。在寻找更多更好的应用场景的同时,很多人逐步发现零知识证明证明性能是个瓶颈.

1900/1/1 0:00:00