登录社区云，与社区用户共同成长
邀请您加入社区
零知识证明（Zero Knowledge Proof）由S.Goldwasser、S.Micali 及 C.Rackoff于1985年首次提出，是一种用于证明者在不泄露任何其他信息的情况下证明其掌握知识正确性的密码学协议，广泛应用于隐私保护、隐私激素、区块链等领域。
双线性对是一种二元映射，它作为密码学算法的构造工具，在各区块链平台中广泛应用，比如零知识证明、聚合签名等技术方案大多基于双线性对构造得来。线性映射一个函数f是线性的是指函数f满足可加性和齐次性，也就是：可加性：f(a)+f(b)=f(a+b)齐次性：f(ka)=kf(a)双线性映射和线性函数不同的点在于满足双线性的函数有两个输入，而且对这两个输入分别满足线性。一个映射e，能将G₁和G₂中的两个元素
1. 引言前序博客有：DarkFi：Layer 1 for 隐私合约DarkFi代码解析相关代码和文档有：https://github.com/darkrenaissance/zkashttps://github.com/darkrenaissance/darkfi/tree/master/zkas
参考以太坊社区已有讨论论文《Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings》中有做对比libsnark中有对snark的不同实现方法做了性能对比：...
本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助。书接上篇，
1. 引言前序博客有：Marlin:Preprocessing zkSNARKs with Universal and Updatable SRS学习笔记相关代码实现有：https://github.com/arkworks-rs/poly-commit/tree/master/src/marlinhttps://github.com/AleoHQ/snarkVM/tree/testnet2/po
什么是密评？“密评”全称“密码应用安全性评估”，是指在采用密码技术、产品和服务集成建设的网络和信息系统中，对其密码应用的合规性、正确性和有效性进行评估。为什么要做密评？国家法律法规的强制要求。开展密评，是国家相关法律法规提出的明确要求，是网络安全运营者的法定责任和义务。《中华人民共和国密码法》第二十七条：法律、行政法规和国家有关规定要求使用密码进行保护的关键信息基础设施，其运营者应当使用密码进行保
今天可以在 BSV 上开发信息不完整的游戏，因为我们已经在其上实现了 zk-SNARKs。由于 BSV 上的智能合约交易便宜且即时，因此它是构建此类游戏的理想平台。
导语本文不重在讲述ZK技术的技术细节，而在于尽可能多的描绘ZK的应用方向，ZK技术的迭代仍在持续进行中，但是技术的落地需要应用来承载，我们会从最接近用户的应用层逐步深入至底层EVM、L2、跨链桥和公链。在社会化分工的大背景下，不同领域的技术对行外人而言如同魔法一般，而以“可用之物”构建切身感知可帮助我们抓住最主要脉络，从而反求ZK的技术特征，这也是最符合人的认知逻辑的安排。简要发展史1985年，
[Goldwasser, Micali, Rackoff, 85] 给出了**交互式证明系统**（Interactive proof system，IP），它包含 **interaction** 以及 **randomness**，可以达成以下性质：1. Completeness（almost）2. Soundness（almost）：随机性的引入，“almost” 是不可避免的3. Enable
摘要：本文通过介绍华为如何在同态加密及零知识证明框架的集成介绍来介绍了一些对金融领域交易隐私保护的思路，通过代码结和应用场景描述了zksnark如何集成到现有联盟链体系保护交易隐私。
零知识证明
——零知识证明
联系我们（工作时间：8:30-22:00）
400-660-0108 kefu@csdn.net
开放原子开发者工作坊
GitCode 开源社区
Anome开发者社区
华为开发者空间
