零知识证明

隐私与合规:零知识证明在金融中的应用

零知识证明正在成为 Web3 与传统金融融合的关键技术。本课程将带你理解为什么“公开透明”不足以支撑机构级金融需求,以及 ZK 如何让用户与机构在不泄露敏感信息的前提下完成身份验证、审计、合规交易与跨境支付,真正实现隐私与监管的平衡。隐私与合规为什么重要?区块链自诞生以来就以“公开透明”作为核心特征之一。任何人都可以查看链上交易、资金流向、地址余额,这种特性为加密市场带来了前所未有的信任基础。然而

零知识证明(ZK)处理器与证明网络入门

零知识证明正在彻底改变区块链应用在计算、隐私和可扩展性方面的处理方式。本文将探讨 ZK 协处理器——一种强大的链下计算引擎,它能执行计算并生成密码学证明——以及将这些证明交付给智能合约的证明网络。学习者将掌握基础知识,并接触 DeFi、跨链消息传递和 AI 验证等真实用例中的高级工具。零知识 101:从证明到协处理器什么是零知识证明?零知识证明 (ZKP) 是一种密码学方法,允许一方(称为证明者)

zk-SNARK:创新的零知识证明技术及其应用

零知识证明(Zero-Knowledge Proof,ZKP)是一种密码学技术,最早由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初的一篇名为《The Knowledge Complexity Of Interactive Proof Systems》的论文中提出。在该文中,它是作为一个理论模型被构想出来,解决的是在不透露证据的情况下如何验证数学陈述的问题。这一

一文详解零知识证明(ZKP)

零知识证明(Zero-Knowledge Proof,ZKP)是一种密码学技术,最早由由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初的一篇名为《The Knowledge Complexity Of Interactive Proof Systems》的论文中提出的。在该文中,它是作为一个理论模型被构想出来,解决的是在不透露证据的情况下如何验证数学陈述的问题。

ZK编程语言详解:Cairo、Noir、Leo等主流DSL对比

零知识证明(ZKP)是一种强大的密码学工具,它可以在验证计算的正确性的同时,保护输入数据的隐私。作为这一关键基础设施的组成部分,领域特定语言(DSL)发挥了至关重要的作用,简化了 ZKP 电路的开发和验证过程。它们在将抽象概念与证明系统所需的精确电路表示之间扮演了重要的角色,充当了两者之间重要的桥梁。证明系统面临的关键挑战之一是将抽象的高层概念转化为实际电路。然而,DSL 的出现解决了这一难题,通

理解 zk-SNARKs 和 zk-STARKS 的区别

SNARK 和 STARK 是零知识证明技术,允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。零知识证明 (ZKP) 引起了广泛关注,因其在增强安全性、保护用户隐私和支持第 2 层网络扩展方面都有很大的潜力。ZKP 使一方能够向另一方证明声明是真实的,而无需透露任何其他信息。ZKP 既有利于增加隐私——因为它们减少了各方之间共享的信息量——也有利于可扩展性,因为它只需要证明而非整个

零知识证明、zkVM、zkEVM 详解及未来发展趋势

TL; DR零知识证明技术, 可以保证计算的完整性、正确性和隐私, 在区块链扩容和隐私中有应用.zk-SNARK 和 zk-STARK 各有优点, 而它们的合理结合更加有潜力.zkVM 能赋予应用零知识证明能力, zkVM 分为使用主流、EVM 或全新指令集.EVM 的适配包括 EVM 兼容性、等同性和 Specification 上的适配.zkEVM 是兼容 EVM 而又零知识证明友好的环境,

零知识证明入门指南: 发展历史、应用和基本原理

当前区块链行业里零知识证明项目(ZKP)增速惊人,特别是 ZKP 在扩容和隐私保护两个层面应用的崛起,令我们接触到了各种花样繁多的零知识证明项目。由于 ZKP 极富数学性的特质,对于加密爱好者来说,想要深度了解 ZK 的难度大幅提升。因此我们也希望从头梳理 ZKP 理论和应用层面的一些变化,与读者一起探索对于 crypto 行业的影响和价值——通过几篇报告的形式共同学习,也作为 HashKey C

氮气加速!ZK协处理器如何打破智能合约数据壁垒

一、概念介绍关于协处理器这个概念,一个很浅显易懂的例子就是电脑和显卡的关系,CPU可以完成大部分任务,但是一旦遇到特定任务,就需要显卡的帮助,因为CPU算力不够,比如说机器学习,图形渲染,或者是大型游戏的运行,我们玩大型游戏的时候如果不想掉帧或者卡顿,那肯定就需要一块性能很好的显卡。那在这个场景中,CPU就是处理器,显卡就是协处理器。映射到区块链上,智能合约就是CPU,ZK协处理器就是GPU。关键

Midnight (NIGHT) 使用零知识证明技术的区块链

一个使用零知识证明技术的区块链,在不牺牲数据保护或所有权的前提下提供效用Midnight 网络引入了一种新颖的区块链架构,目的在于解决现有公共区块链在隐私方面的关键限制性设计,支持需要在隐私与披露之间取得平衡的应用。该网络采用双组件模型,其中 NIGHT 代币会持续生成 DUST——这是一种受保护、不可转让且会衰减的资源,仅用于支付交易费用。该设计将运营成本与代币价格波动脱钩,并实现对网络容量的可