Polyhedra Network 使用零知识证明 (ZKP)技术开发 Web3 互操作性、可扩展性和隐私基础设施。该网络为 Web2 和 Web3 系统之间的资产转移、消息传递和数据共享提供信任最小化的解决方案。 [1] [12]
Polyhedra Network利用零知识证明(ZKP)技术开发先进的 Web3 互操作性、可扩展性和隐私基础设施。该网络为跨越各种Web2和 Web3 平台的安全资产转移、消息传递和数据共享提供最小化信任的解决方案。其团队包括来自顶尖大学的研究人员和工程师,专注于构建一套全面的基于 ZKP 的工具,以应对 区块链 连接中的关键挑战。
核心产品是zkBridge,一种无需信任的跨链桥,利用 零知识证明 来验证 区块链 之间的 共识,而无需依赖外部信任假设,从而降低验证成本并提高安全性。Polyhedra还采用分布式证明生成系统,如deVirgo和paraPlonk,以加速 ZKP 计算,并支持大规模、去中心化的 zkRollups 和zkEVM解决方案。
此外,该网络还提供zkDID,一种基于灵魂绑定代币和可验证凭证的去中心化身份系统,实现可扩展的、保护隐私的身份验证,并与Web2和 Web3 环境互操作。该平台正在扩展其集成和开发者工具,以支持更广泛的互操作 区块链 和 Web3 应用程序的采用。 [1]
EXPchain 是一个区块链协议,支持可扩展、可验证且注重隐私的 AI 应用。它集成了零知识机器学习 (zkML) 与智能证明 (PoI) 框架,以确保 AI 系统的信任和问责制,同时保护敏感数据和知识产权。关键组件包括 Expander 证明系统、高性能 zk 证明器和 zkPyTorch,这是一个促进 zkML 集成到传统 AI 工作流程中的工具包。
EXPchain 建立在 zk 原生区块链 基础设施之上,提供诸如 zkBridge 用于跨链互操作性、原生 zkRollup 可扩展性以及用于大型语言模型的 zkML 水印等功能。该平台的目标是透明度、安全性和可扩展性,以促进金融、医疗保健和软件开发行业的信任。通过降低技术壁垒并提供模块化工具,EXPchain 旨在建立一个可信的生态系统,使 AI 应用能够保护隐私、可验证和负责任。 [2] [6]
EXPchain 引入了核心功能,通过零知识证明支持可扩展、可验证和保护隐私的人工智能应用。
Expander 的 zk 证明系统为 zkML 任务提供高速性能,生成 VGG-16 和 Llama 3.1 等模型的证明速度明显快于现有系统。它通过计划中的硬件加速和分布式证明来支持未来的改进,旨在实现实时证明生成,从而消除 AI 验证中的延迟。
ExPoS(扩展的权益证明)作为 EXPchain 的共识模型,使用 zkBridge 集成跨多个区块链的质押。这实现了全链质押、改进的流动性使用和广泛的互操作性,确保了去中心化网络中安全透明的协调。
zkPyTorch 提供了一个开发者友好的框架,用于将基于 PyTorch 的 AI 模型转换为 zk 电路。它可以自动生成电路并优化证明创建,从而减少部署时间和成本,同时保持与现代机器学习工作流程的兼容性。 [2]
EXPchain的技术栈通过zk原生区块链基础设施和先进的密码学工具,支持可验证、私有和可扩展的AI系统。
zkML实现了跨AI生命周期的基于证明的验证——涵盖推理、模型审计和训练验证——而无需暴露敏感数据或知识产权。这构成了隐私保护AI功能的基础,例如LLM水印、安全多方计算和合规性审计。区块链专为AI集成而构建,具有原生zk支持、单时隙最终性和通过zkRollups和应用链实现的模块化可扩展性。
关键组件包括智能证明(PoI),它将AI模型的真实性和合规性与可验证的链上记录联系起来,以及zkBridge,它实现了信任最小化的跨链互操作性。EXPchain的优化证明系统Expander提高了证明效率,使基于zk的AI在规模上具有实用性。zkLogin等功能允许使用账户抽象进行安全的、基于OAuth的用户注册。同时,SSF(单时隙最终性)缩短了确认时间并降低了MEV风险,从而提高了网络安全性和跨AI集成应用程序的用户体验。 [2]
zkBridge是一种跨链通信协议,它使用zkSNARKs来验证区块链之间的状态转换,而无需信任第三方。它包括两个主要组成部分:一个区块头中继网络和一个更新器合约。中继网络从发送链收集区块头,生成零知识证明以确认其有效性,并将其提交给接收链上的更新器合约。更新器合约维护一个轻客户端状态,并通过在验证证明后添加新的区块头来更新其发送链主链的记录。此过程允许安全高效的跨链同步。 [7]
Legend Games正在构建一个全链游戏基础设施,利用zkBridge技术实现跨区块链网络的互操作性。其平台支持游戏和dApps的跨链功能,提供全链ERC-721和SBT协议、随机数生成器以及跨链盲盒等工具,以增强游戏体验。
该项目通过提供互操作性中间件、SDK和资助,支持去中心化的开发者生态系统。这种方法鼓励开发者在Legend Games生态系统中构建和部署他们的项目,从而促进灵活且互联的Web3游戏环境。 [9]
Proof Cloud是由Polyhedra Network与谷歌云合作开发的平台。它旨在将零知识证明的计算成本降低90%以上。它旨在提高Web2和Web3环境中开发人员的ZK技术性能和可访问性,支持更快、更高效的证明生成。
Proof Cloud的一个关键组成部分是Proof Arena,这是一个基准测试工具,允许开发人员在受控条件下测试和比较各种ZK证明器架构的性能。这种透明度有助于用户选择最适合其需求的证明系统。该平台已获得Polygon、Linea和Valida等主要行业参与者的支持,标志着零知识证明技术的更广泛采用和创新迈出了一步。 [5] [8]
Expander 是一个由 Polyhedra Network 开发的零知识证明 (ZKP)系统,旨在解决证明 Keccak-256(以太坊中使用的加密哈希函数)的低效率问题。与 ZK 友好的哈希函数不同,Keccak 需要数百万个门才能在电路中表示,这使得证明成本高昂且速度缓慢。Expander 通过将 GKR 协议与 Orion 和 Brakedown 的高效多项式承诺方案相结合,显著提高了性能,避免了对 FFT 的需求,并实现了与任何有限域的兼容性。
Expander 在梅森素数域上运行,并使用自定义编译器将计算转换为针对 ZK 证明优化的分层算术电路。它实现了高吞吐量,在单个 Apple M3 Max 或 AMD 7950X3D CPU 上每秒可生成高达 4,500 个 Keccak-f 排列的证明,且内存开销低。这种性能使得实际应用成为可能,例如证明 以太坊 Merkle Patricia Tries 中的大规模数据包含,以实现 zkBridge 等互操作性解决方案。通过提高 Keccak 证明的效率,Expander 支持可扩展的、与 以太坊 兼容的 ZK 应用,如 zkVM、zkML 和跨链通信。 [3] [4]
$ZKJ 是 Polyhedra Network 的原生代币,在为其基础设施提供动力方面发挥着核心作用。它用于支付 EXPchain 上的 gas 费用,支付 Polyhedra 的 零知识证明 系统的服务成本,并处理 zkBridge 上的 交易费用,包括 LayerZero 等跨链协议的费用。
除了实用功能外,$ZKJ 还通过 质押 支持网络参与,从而实现治理投票和交易验证等角色,并有助于证明生成。它还通过与 EigenLayer 再质押合作来保护 Polyhedra 的 Ethereum–Bitcoin 信任最小化桥,从而为网络安全做出贡献。 [10]
ZKJ的总供应量为10亿枚代币,分配如下:[10]