本文介绍了zkEVM,一种EVM兼容的zk-Rollup方案,旨在解决当前zk-Rollup在通用DApp构建和可组合性方面的挑战。zkEVM通过生成EVM验证的zk证明,使得现有的以太坊应用可以轻松迁移到zk-Rollup上,同时详细讨论了zkEVM的设计挑战以及当前技术背景下实现zkEVM的可行性,并阐述了从头开始构建zkEVM的高级思路和关键技术。
本文深入探讨了零知识AI(ZKAI)如何利用零知识证明(ZKP)、可信执行环境(TEE)和区块链验证,实现无需信任且保护隐私的AI部署。文章详细介绍了ZKML在保护隐私AI计算中的作用,区块链作为AI模型验证器,TEE在AI安全中的应用,以及ZKAI在Web3、DeFi和去中心化身份中的实际应用,并展望了去中心化AI代理的未来。
文章分析了零知识证明(ZK)技术的发展现状,将其与2014-2016年的人工智能发展阶段类比,指出了ZK技术在隐私保护、计算完整性、可扩展性和信任最小化方面的价值,并重点介绍了zkVMs(零知识虚拟机)在降低ZK技术门槛、推动其主流应用方面的关键作用。文章认为,早期投资ZK生态系统,特别是zkVMs和开发者基础设施,具有类似早期AI投资的潜力。
本文深入探讨了基于格的签名聚合技术,特别关注了LaBRADOR方案在聚合Falcon签名方面的应用。通过基准测试,展示了该方案在证明大小方面的优势,同时也指出了验证时间是其面临的主要挑战。文章还对比了LaBRADOR与基于哈希的签名聚合方法,并讨论了未来可能的优化方向,例如多线程技术和委托技术。
Bionetta是一个zkML框架,旨在解决AI安全问题,实现可验证性、零知识和客户端执行。它通过将模型权重嵌入电路作为常量,优化R1CS系统中的线性计算,从而降低计算成本。该框架还提出了一种量化方案,用于在有限域内处理浮点运算,并在神经网络中有效管理精度。
本文档详细介绍了 ZKEVM 的设计和实现,包括状态证明和 EVM 证明两个主要部分。状态证明负责验证状态操作的正确性,而 EVM 证明则验证 EVM 指令的正确执行,以及状态证明与 EVM 指令的一致性。此外,文章还深入探讨了Bus Mapping、存储、内存、堆栈等关键概念,并提供了一些伪代码示例,清晰阐述了 ZKEVM 的运作原理。
Loopring,路印,一直专注在高性能的去中心化交易(DEX)协议。路印协议的目标是想实现以太坊上基于订单撮合的去中心化的交易协议。从2017年,路印从“环路撮合”的最初设计,经过了1.0,2.0以及3.0的三个大的版本的协议升级。1.0/2.0,相对来说,受限以太坊本身性能的限制,交易流程复杂,体验和中心化交易所相比,有较大的差距。路印协议3.0,是一种大胆的设计和尝试,通过零知识证明技术(ZKP),兼顾去中心化和交易性能。
Loopring
Scroll 是一个新的 Layer-2 解决方案,旨在提供无限的可扩展性、极快的确认延迟、完全的去中心化和无需信任的隐私。它通过构建在 zk-Rollup 和高性能的链下分布式系统之上来实现这一点,并进行了一些关键改进,包括新的分层零知识证明系统架构、Layer 2上的 DApp 的一种新交互模型和一个新的Layer 2 挖矿机制。
OLA 是一个基础设施协议,致力于实现安全且信任最小化的跨链交互,为比特币生态系统提供跨链的零知识证明(ZKPs)。它通过 Myriad Chain Prover 生成链状态的有效性证明,并使用 Onis 作为比特币结算的 zkRollup 模块,通过 DMN(去中心化大规模网络)验证证明的完整性,以此实现无需托管方的跨链交互,将比特币的安全性扩展到多链环境。
本文介绍了以太坊Layer2扩展方案,重点讲解了ZK-rollup。
本文探讨了使用零知识证明(ZK)技术在区块链游戏中的应用,重点介绍了递归zkSNARKs的技术背景及其在提升游戏性能、隐私性和信任度方面的作用。文章通过案例研究ZK-Hunt,展示了ZK技术如何在链上实现复杂的策略游戏机制和信息不对称,并讨论了ZK技术在资产隐藏、决策隐私和进度保密等方面的创新应用。
本文深入探讨了Arbitrary Message Passing (AMP) ,一种允许应用程序在不同区块链之间传递任意消息的跨链通信协议。
RareSkills 的 Zero Knowledge Proofs 系列文章之一,介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。
zk-stark意为零知识—可拓展的—透明的—知识论证,在区块链上的应用前景备受瞩目。它不仅能提供隐私功能,还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 zk-stark进行实践
zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge,翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多,几乎都只讲解它的数学原理。因为它实在太难了,...