Zcash，也叫大零币，从zerocoin发展而来，是使用零知识证明机制的区块链系统，通过完全匿名交易特性在区块链的生态中独树一帜。现在，Zcash市值是41.10亿。

金融科技区块链二级目录三级目录区块链区块链安全：保密性、完整性、可用性最重要的点：保密性零知识证明：1、完整性（真的假不了）2、可靠性（假的真不了）3、零知识性（知道真的，但是不需要知道内容）共识算法安全

1675312908395)(https://tva1.sinaimg.cn/large/e6c9d24ely1gzmazs79m1g20tr04ojug.gif)]MariaCappelli在Unsplash上上传的照片零知识证明技术

11月29日，链化未来在杭州举办主题为“区块链硬核技术揭密——零知识证明及跨链深度解读”线下活动内容分享。本文为零知识证明篇相关PPT内容。

我们使用以下6个分类标准对本文的研究选题进行分析：1.研究方向:区块链可扩展性:提高交易吞吐量和减少确认时间的研究，例如零知识证明、分片和状态通道。

零知识证明能够改变我们保护、管理和共享个人数据的方式。它们允许人们在不泄露信息本身的情况下证明陈述的真实性，从而为涉及敏感、机密信息的交易带来了新的隐私级别。什么是零知识证明？

零知识证明（Zero-Kno

ALEO，目前从官方的公开资料看没有太多华丽的介绍，基本都是较专业的内容，今天我从几个方面综合概述一下ALEO的特性，从中也能发现ALEO的真正价值：1、模块化区块链：可组合性，可扩展性2、隐私：zkp零知识证明技术主要解决隐私和可扩展性问题

Aleo是第一个采用零知识证明（ZKP）技术，提供私有、开源的Layer1区块链。Aleo开发了一个默认交易隐私的应用程序构建平台，

由于比特币的非匿名性，但实际货币有着匿名性需求，Zerocoin团队在比特币0.11.2的版本上修改了代码，添加了“零知识证明”技术，想让比特币更具匿名性。

这里使用的加密技术主要是零知识证明。4.2隐私保护的数据共享。使用到的基本方法是对数据进行加密，让数据所有者控制对它的访问。这些技术包括去中心化加密存储、代理重加密、基于身份的加密和基于属性的加密等。

文档，测试claimPK.zokimport"hashes/sha256/512bitPadded.zok"assha256;import"utils/pack/u32/nonStrictUnpack256.zok"asunpack256;import"utils/pack/u32/unpack128.zok"asunpack128;import"utils/pack/u32/pack128.zo

数据泄露的成本零知识证明(ZKPs)等隐私增强技术

在NuLink网络中，这两个问题可以通过零知识证明技术来解决:数据所有者需要在数据授权前提供零知识证明。事实上，密文状态下的证明方法与明文状态下的证

NuLink的零知识证明介绍作者简介：作为NuLinkTechnology的研究员，Rookie是一位激情的创新者，他专注于密码学和区块链技术。

全称为Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge，简洁非交互式零知识证明，简洁性使得运行该协议时，即便statement非常大，它的

参见另一篇博文2024最全面且有知识深度的web3开发工具、web3学习项目资源平台本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助

参见另一篇博文2024最全面且有知识深度的web3开发工具、web3学习项目资源平台本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助

这里使用的加密技术主要包括零知识证明。2.隐私保护数据共享。一般的方法是对数据进行加密，让数据所有者控制对它的访问。技术包括去中心化加密存储、代理重加密、基于身份的加密和基于属性的加密等。

2零知识证明的使用将会提高。区块链将成为企业间交易的平台。这个平

zkp为使用merlin的Schnorr零知识证明工具包，基于ristrettogroup做的实例化。

另一方面，零知识证明可以帮助验证数据的来源。在更多的高级隐私

1CodaCoda是第一个具有简洁区块链的加密货币协议，是一种将区块链数据通过零知识证明压缩到固定字节大小的新型数字货币。

CSDN博客隐私计算安全保护技术（三）：我的隐私计算学习——门限签名-CSDN博客隐私计算安全保护技术（四）：我的隐私计算学习——同态加密-CSDN博客隐私计算安全保护技术（五）：我的隐私计算学习——零知识证明

文章目录背景什么是Poseidon哈希技术原理各STARKfriendlyhash函数性能对比SHA256VSPedersen参考背景2018年7月2日，以太坊基金会给StarkWare团队2年的赞助，用于寻找新的STARKfriendlyhash(SFH)函数，可用于在区块链中构建transparent且抗量子安全的proof系统。其要求很高，具体为：Prover应能为同一hash函数的多次调用

首先根据联邦学习系统的不同运行阶段归纳总结了其中的隐私安全威胁，并给出了一些解决办法；其次重点讨论了纵向联邦学习系统中的样本对齐问题，讨论和分析了现有的私密求交的基本方法，提出了一种基于零知识证明的私密求交方法并给出了一些改进方向

目录一、引论二、密码学信息理论基础三、分组密码四、流密码五、Hash函数（杂凑函数、哈希函数）=》MD（杂凑值）六、消息认证码（MAC）七、密码学复杂性理论基础八、公钥密码九、数字签名十、密钥分发十一、零知识证明理论十二

一、题目描述1.1题目：用零知识证明实现地图的三染色问题（用三种颜色染色一个地图，保证任意两个相邻的地区都是不同的颜色）。编程验证下述的设计思路，采用Python和C语言编写均可。

Ulvetanna团队编译：TinTinLand原文链接：https://www.ulvetanna.io/news/binius-hardware-optimized-snark在一篇新的研究论文中，零知识证明技术开发团队

Halo2是Zcash协议在Orchard升级中将要采用的零知识证明系统，无需可信设置，可以实现递归证明。

副标题：探索零知识证明系列（一）作者：郭宇本文已更新至Github:https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/1/zkp-back.md

支持但不限于密码原语，包括：对称和非对称加密；数字签名；哈希函数；位承诺；以及非交互式的零知识证明（因为本人知识水平有限，其支持分析的属性根据其参考文档机器翻译得到，后续如有错误会更改）。

1.引言RISCZero，设想了一个基于零知识证明的无限计算的未来。2023年5月发布了RISCZerozkVMv0.15版本，其中包含了一种重要feature：continuations。

1.引言RISCZero提供了开源的虚拟机+零知识证明系统，即zero-knowledgevirtualmachine（简称zkVM）。

基础知识概述隐私计算底层协议包括两种：其一是基础的加密传输协议，用于信息分发，包括不经意传输、秘密分享、同态加密、零知识证明等。其二是加密计算协议，包括乱码电路、同态加密、零知识证明等。

它使用零知识证明技术（Zero-KnowledgeProofs）来实现私密性和可伸缩性。在StarkNet上，Cairo是一种类似于Solidity（以太坊智能合约语言）的编程语言。

作为其技术基础，Nulink技术平台包括区块链、访问控制（代理重加密、基于属性的加密）和安全计算（零知识证明、安全多方计算、全同态加密）技术。它在企业范围内提供数据交换和处理能力。

希望现在很多人都听说过ZK-SNARKs协议，这是零知识证明技术的通用性说法，使用它的案例从可验证的计算到私人保护的数字货币。也许你不知道，ZK-SNARKs协议有更新的版本，ZK-STARKs。

―D.ToddChristofferson本文继续长篇大论零知识证明背后的

本文作者：郭宇Onceexposed,asecretlosesallitspower.一旦泄露，秘密就失去了全部威力―AnnAguirre这已经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。

1.引言Zordle，为基于Halo2库和Plonkishprovingsystem实现了零知识证明的Wordle应用。

文章相对基础，可以帮助初学者快速理解交互式零知识证明和Fiat-Shamir变换的问题：https://blog.trailofbits.com/2021/02/19/serving-up-zero-knowledge-proofs

2022年预测：零知识证明（ZKP）成为Web3的关键去年，零知识证明(ZKP)在加密领域和Web3中扮演了重要角色，它在可扩展性和用户许可隐私方面都发挥着重要作用。

本期课程由德克萨斯农工大学计算机科学与工程系助理教授张宇鹏生动地介绍了ZK协议(零知识证明)的基本密码学基础，ZK协议的研究进展综述以及行业应用案列。

副标题：斯坦福学霸的零知识证明学习笔记（一）本文作者东泽，来自安比技术社区的小伙伴，目前就读于斯坦福大学，研究方向密码学，本系列文章来源于作者在斯坦福著名的课程《CS251:Cryptocurrenciesandblockchaintechnologies

zhuanlan.zhihu.com/p/36728655@Harry:Metamask中代码有很多用到stream（流）的地方，这篇文章很好的介绍了什么是stream，以及通过内存占用优化的实例解释了stream的强大零知识证明学习资源汇总

前言在区块链的整个体系中大量使用了密码学算法，比如用于PoW的哈希算法，用于完整性验证的MerkleTree，用于交易签名与验证的数字签名算法，用于隐私保护的零知识证明等等。

、zkVM、zkEVM及其未来中指出，当前主要有3种类型的zkVM，括号内为其相应的指令集：mainstream（WASM,RISC-V）EVM（EVMbytecode）ZK-Optimized（专为零知识证明优化的新型指令集

zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。EVM兼容性包括EVM兼容性、等价性和规范级兼容性。zkEVM是一个EVM兼容且零知识证明友好的环境。

NuLink的零知识证明介绍（1）原文：ZeroKnowledgeProofinNuLink(1)Introduction|byNuLink|Dec,2021|Medium作者简介：作为NuLinkTechnology