在关于零知识证明的先进形式化验证的系列文章中,我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如在公开报告(https://skynet.certik.com/projects/zkwa...
区块链上的零知识证明技术及其典型算法、工具
摘 要 在数据安全和隐私保护日益重要的背景下,零知识证明(Zero-Knowledge Proof, ZKP)为保护隐私提供了强有力的工具,成为最具应用潜力的核心技术之一。本文综合探讨了零...
零知识证明的先进形式化验证:两个ZK漏洞的深度剖析
在之前的文章中,我们讨论了零知识证明的先进形式化验证:如何验证一条ZK指令。通过形式化验证每条zkWasm指令,我们能够完全验证整个zkWasm电路的技术安全性和正确性。在本文中,我们将关注发现漏洞的...
零知识证明的先进形式化验证:如何验证一条ZK指令
为了深入理解形式化验证技术是如何应用于zkVM(零知识虚拟机)之上的,本文将聚焦于单条指令的验证。关于ZKP(零知识证明)先进形式化验证的总体情况,请查阅我们同期发布的“零知识证明区块链的先进形式化验...
零知识证明区块链的先进形式化验证
形式化验证是一个数学证明过程,用以证明系统的正确性,确保其在所有可能的条件下都完全符合预期运行。鉴于区块链技术的复杂性和高风险性,其中的缺陷可能导致重大的财务损失或隐私泄露。形式化验证超越了传统的测试...
G.O.S.S.I.P 活动推荐 2024-04-07 上海期智研究院2024密码学夏令营
探索密码学前沿随着现代密码学的蓬勃发展,密码学已不仅关注信息的保密性、完整性和不可抵赖性等核心安全属性,而且密码技术在推动数据流通与创造价值方面发挥了重要的作用。特别是,安全多方计算、全同态加密和零知...
读懂隐私计算多种技术路线
数据安全共享和价值转化既是政策导向,也是大数据和数字经济发展的关键。隐私计算技术,已成为数据流通安全的“最优技术解”。政策法规加速落地,市场关注度快速提升。我国多部与数据安全相关的法律法规落地实施,形...
慢雾:Fiat-Shamir 冰心漏洞解析
by: Johan背景Frozen Heart “冰心”漏洞,由 Trail of Bits 团队命名,其中 Frozen 代表 FoRging Of ZEro kNowledge proo...
基于 PSI 的纵向联邦学习数据隐私安全技术
摘要:联邦学习系统较好地解决了“数据孤岛”问题,也在一定程度上保护了私密训练数据,然而目前联邦学习仍然存在一些隐私安全风险。首先根据联邦学习系统的不同运行阶段归纳总结了其中的隐私安全威胁,并给出了一些...
Numen | 零知识证明引论Part 4
导语本文是“零知识证明引论”系列的第四部分。前面我们介绍了零知识证明的背景,概念以及一些核心数学工具。本文我们将介绍匹诺曹协议和Groth16。匹诺曹协议其实,介绍完上述的核心数学工具,一个接近可工程...
Numen | 零知识证明引论Part 3
导语在前一篇中我们介绍了零知识证明核心工具的椭圆曲线和同态隐藏。本文我们将继续介绍零知识证明核心工具中的多项式规约过程。核心数学工具多项式规约过程上一小节,我们通过同态隐藏,得到了一个非交互的多...
Numen|零知识证明引论Part1
导语 零知识证明(Zero-Knowledge Proof, ZKP)是由S.Goldwasser、 S.Micali 及 C.Rackoff 在19...