在推特上看到了一篇对Fermah联合创始人兼CEOVanishreeRao的采访,其中有两个问题值得关注:(1)零知识证明在区块链中的发展经历了三个重要阶段;(2)ZK领域当前最紧迫的两个挑战。
通过本文,我们想要分享我们与区块链开发者乃至整个区块链社区进行可扩展性研究所得出的成果。我们相信,本文将帮助大家了解零知识证明和二层可扩展性方案的潜力,同时更深入地理解这些技术
基于一个比较小的域,实现了一个Lookup协议。
一个网站想避免使用私钥作为认证数据,给每个用户额外分配了随机数据(pepper)。这个随机数据只有用户自己知道。在使用认证之前,用户需要计算{公钥}_{pepper}的hash值提交到网站。使用认证的过程,用户需要生成零知识证明,证明某个用户知道确定的pepper。
零知识证明-SRP协议简介SRP是SecureRemotePassword协议的缩写,是一种密码协议,用于在客户端和服务器之间建立安全的身份验证。该协议的设计旨在避免将用户密码明文传输到服务器,从而提高了安全性。
Zkopru 已临近完成,本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。
零知识证明的概念:零知识证明技术可以[模拟]出一个第三方,保证某一个论断是可信的。举一个例子,我已经年满18岁已经成年了,我只要给出我的身份证(假设身份证上没有我的出生年月)。验证方也可以凭借此来判断我确实已经成年。而无需真实的知道我真实的出生年月零知识证明的使用场景:●数据的隐私保护
文章介绍了Matter Labs在EthCC大会上关于使用零知识证明解决以太坊扩展性问题的演讲,内容与技术深度相关。
区块链隐私技术些技术有: 零知识证明(ZK)、多方计算(MPC)、全同态加密(FHE)和可信执行环境(TEE), 他们分布在六个关键指标的表现。
本文介绍了算术电路的概念及其作为通用计算模型的作用,探讨了如何利用算术电路验证问题的解决方案,并提到其在零知识证明中的应用。文章还提到算术电路可以分解为其构建模块(门),便于验证计算过程。
这是一篇论文解读:zkVoting:Zero-knowledge proof based coercion-resistant and E2E verifiable e-votings ystem
零知识证明的全链互操作性协议zkOmnichain是区块链与Web3的圣杯,重要性非同一般。
RareSkills 的 Zero Knowledge Proofs 系列文章之《P vs NP 及其在零知识证明中的应用》。
本文详细介绍了高级密码学中的基本概念,包括群、有限域、椭圆曲线和配对。这些概念在设计和实现数字签名方案、多方计算(MPC)和零知识证明(ZKP)等高级协议中起着核心作用。文章通过数学定义、属性和示例,帮助读者深入理解这些密码学原语。
本文介绍了SP1 zkVM的设计原理,重点分析了zkVM如何执行用户程序,并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现,帮助读者理解这一前沿技术的运作机制。