本文深入探讨了Zero-Knowledge Proof(ZKP)及其在去中心化系统中的应用,重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR(抽象电路中间表示),从而实现ZKP所需的数学约束,涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。
ZKP2P的使命是以安全、私密且用户友好的方式弥合传统 Web2 平台与去中心化 Web3 平台之间的差距。ZKP2P最初的重点是创建最便宜、最快、欺诈率最低且最可组合的法币到加密货币的on/off ramp。
本文系统回顾了隐私保护和数据验证的发展历程,特别聚焦于零知识证明(ZKP)和zkPass协议的应用。zkPass通过多方计算与零知识证明技术,实现了在保护隐私的同时进行安全数据交换的创新解决方案,为各个行业提供了有效的身份验证和数据共享方法。
ZK Email是一个利用零知识证明的前沿密码技术,旨在增强电子邮件的隐私和安全性。该技术能在不透露个人信息的情况下验证邮件的合法性,并能有效防止钓鱼攻击,实现去中心化身份验证。在文中,还详细介绍了ZK Email的工作原理、优点、技术细节、实际应用及未来发展方向。
Veridise获得以太坊基金会的资助,开发出名为LLZK的新中间表示(IR),旨在统一和简化零知识电路编译,从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点,计划提升ZK语言的可维护性与安全性,并加速安全工具的发展。
本文讨论了零知识虚拟机(zkVM)在安全性和性能方面面临的重大挑战,并提出了一系列分阶段的安全和性能目标,以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力,但目前仍存在高复杂度、错误和性能慢的问题,需要数年时间才能实现基本目标。
BLS聚合签名(BLSAggregateSignature)是一种基于BLS(Boneh-Lynn-Shacham)签名算法的高级密码学技术,具有签名聚合的能力。
本文对Circom和Noir进行了高层次比较,探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言,关注于电路约束的细粒度控制,而Noir则是一种更高层次的语言,旨在简化开发者体验,使其无需手动管理约束,进而提升工具的灵活性和可用性。
本文深入探讨了椭圆曲线上的函数与映射,包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法,以及它们在有限域上的数学特性和意义。文章结构清晰,逻辑严谨,为读者提供了深入的技术理解。
本文详细介绍了SP1 zkVM设计中的核心证明部分,包括多项式承诺方案(PCS)、Fiat-Shamir挑战生成器、FRI协议、低度扩展(LDE)和开放证明。文章深入探讨了这些技术的实现细节和数学原理,旨在构建高效的零知识证明系统。
本文介绍了环学习错误(Ring Learning With Errors, RLWE)这一加密技术的基础概念,讨论了基于多项式环的加密方法及其安全性,并探索了RLWE与格密码(Lattice-based Cryptography)之间的联系。
本文深入探讨了SP1 zkVM设计中的核心证明及其约束系统,详细介绍了如何使用AIR(代数中间表示)来表示计算过程,并通过多项式约束确保状态转移的正确性。文章还介绍了SP1 zkVM中的预编译技术,用于加速常见操作如哈希计算和椭圆曲线运算。
本文详细介绍了阈值签名(Threshold Signatures)的工作原理,这是一种多方参与的签名方案,允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤,并讨论了多项式和椭圆曲线在其中的应用。
本文深入探讨了椭圆曲线密码学中椭圆曲线的定义和操作,特别是如何通过有限域和模运算在离散环境中进行点加和倍点操作,并介绍了射影坐标系的优势。
文章介绍了密码学中的同态(Homomorphism)和同构(Isomorphism)概念,并通过椭圆曲线群的例子展示了同态加密的基本原理及其在ElGamal加密系统中的应用。
本文介绍了如何使用zkSNARK(如Plonk)构建算术电路来进行零知识证明,特别是范围证明和集合成员证明。通过具体的例子,展示了如何将数学表达式转化为电路,并讨论了其中的技术和挑战。
深入解析椭圆曲线
本文深入探讨了Arcium平台如何通过多方计算(MPC)技术实现隐私保护计算,以满足现代企业和去中心化应用对敏感数据的高速安全处理需求。此外,文章分析了目前主流隐私保护技术如零知识证明(ZKP)、全同态加密(FHE)、可信执行环境(TEE)存在的局限,并介绍了Arcium的创新架构及其在去中心化金融(DeFi)和人工智能领域的应用前景。
本文探讨了在Sei Protocol的区块链中优化ECDSA签名验证的挑战,尤其是在使用零知识证明(ZK)时的潜在解决方案。文章详细介绍了ECDSA的签名内容、签名过程、恢复和验证的机制,以及使用ZK证明签名的可行性和挑战。尽管实现原型显示出优化的潜力,工程团队发现通过基础代码改进提供了更为直接的解决方案,并设想未来在后量子密码签名方案的应用中进一步使用ZK技术。
本文深入探讨了消除编码(Erasure Coding)的原理和实现,特别是在去中心化区块链和数据存储系统中的应用。通过详细的数学基础和编码、解码过程的示例,展示了消除编码如何提供数据的高可用性、降低存储成本,并增强安全性,适应未来的存储挑战。
扫一扫 - 使用登链小程序
378 篇文章,1946 学分
187 篇文章,411 学分
64 篇文章,256 学分
209 篇文章,244 学分
114 篇文章,222 学分