PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification
PoneglyphDB 通过为 SQL 基本操作设计高效 ZKP 电路并组合支持复杂查询，在 TPC-H 基准上同时实现数据机密性与查询可验证性，性能优于现有方法。
2024-11-22 cs.CR cs.DB
zksk: A Library for Composable Zero-Knowledge Proofs
零知识证明是许多隐私保护系统中必不可少的组成部分。然而，实现这些证明是繁琐和容易出错的。在本文中，我们介绍了zksk，一个文档齐全的Python库，用于定义和计算sigma协议：最流行的一类零知识证明。在zksk中，证明组合：程序员可以将较小的证明转换为构建块，然后将其组合成更大的证明。zksk是一种现代的基于Python的领域特定语言。这使得在不学习新的自定义语言的情况下定义证明成为可能，并从丰富的Python语法和生态系统中受益。该库可在https://github.com/spring-epfl/zksk上获得
2019-11-10 cs.CR cs.SE
Lower Bounds for Zero-knowledge on the Internet
我们认为零知识交互证明在一个更丰富，更现实的通信环境。在这种情况下，人们可以同时参与许多交互式证明，并且这些证明可以以异步的方式进行。据了解，零知识不一定是保存在这样的环境中，我们表明，对于一大类协议，它不能被保存。非平凡语言L的任何4轮（计算）零知识交互式证明（或参数）在异步设置中不是黑盒模拟的。
2001-07-11 cs.CR
Zero knowledge proofs for cloud storage integrity checking
随着云存储的广泛应用，云安全成为了一个至关重要的问题。相关工作已经解决了数据机密性和完整性等安全问题，确保远程存储的数据由云进行良好的维护。然而，如何定义存储数据完整性检查的零知识证明算法还没有正式定义和研究。我们认为，云服务器不能泄露有关存储数据的任何有用信息是很重要的。在本文中，我们介绍了一种新的定义的数据隐私的完整性检查，它描述了非常高的安全性的零知识证明。我们发现，所有其他现有的远程完整性证明都没有捕捉到这个特性。我们提供了一个全面的研究数据隐私和完整性检查算法，捕捉数据的完整性，机密性，隐私性和健全性。
2019-12-01 cs.CR
Leveraging Self-Sovereign Identity, Blockchain, and Zero-Knowledge Proof to Build a Privacy-Preserving Vaccination Pass
当前的人道主义健康危机使关于数据隐私的辩论变得更加普遍。与此同时，一些城市、州甚至国家将强制出示健康通行证以获得服务的规定付诸实施。在这篇文章中，我们探讨了自我主权身份，区块链和零知识证明的概念，以解决疫苗接种证明的问题。该解决方案允许用户证明他们接种了不同病原体的疫苗，而不会暴露他们的身份。该体系结构是松散耦合的，允许组件交换，我们将在介绍工作原型的实现时讨论这一点。
2022-02-18 cs.CR
On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
本研究提出相对论性零知识量子知识证明系统，定义概念并构造提取器，利用新倒带技术突破量子倒带障碍，改进可靠性界限。
2024-12-17 cs.CR quant-ph
Towards Practical Zero-Knowledge Proof for PSPACE
针对现有高效零知识证明仅覆盖NP类命题的局限，本研究提出面向PSPACE完全命题的实用零知识协议，通过Q-Res证明编码与获胜策略证明设计，在QBFEVAL基准上验证了方案的可行性与效率。
2025-11-19 cs.CR cs.LO
Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)
我们提出了一个单调逻辑的内部化非单调或即时交互证明（LiiP）和重建现有的单调逻辑的内部化单调或持久交互证明（LiP）作为一个最小的保守扩展LiiP。即时交互式证明在其预期的同行评审者社区中产生了脆弱的认识影响，这种影响在于通过与解释评审者的证明知识对他们的证明目标的知识的短暂归纳：如果我的同行评审者知道我的证明，那么她至少会（在那一瞬间）知道它的证明目标是正确的。它们的影响是脆弱的，它们对知识的归纳也是短暂的，因为它可能只在学习证明的瞬间才存在。这就解释了将真值可以变化的陈述的证明内在化的重要可能性，与不变陈述相反，这些陈述不能有持久的证明。因此，即时交互证明通过在多个交互代理的分布式系统中传输某些个人知识（可知的非单调证明）来实现某些命题知识（可知的短暂事实）的临时转移。
2013-01-31 cs.CR cs.DC cs.LO
A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)
我们提出了一个交互式证明的逻辑作为交互式计算的直观基础的框架，我们通过一个交互式的类似的Goedel-McKinsey-Tarski-Artemov定义的直观逻辑嵌入到一个经典的模态逻辑的证明，和Curry-Howard同构之间的直观证明和类型化的程序。我们的交互式证明实现了持久的认知影响，在他们的预期社区的同行评审，包括在诱导的（命题）知识，他们的证明目标的（个人）知识的证明与解释审查。也就是说，交互式证明通过在多代理分布式系统中传输某些个人知识（可知证明）来实现命题知识（可知事实）的转移。换句话说，我们作为一个社区可以拥有正式的共同知识，即如果我们的一个对等成员知道证明，那么该成员就会知道它的证明目标。最后但并非最不重要的是，我们证明了非平凡的交互式计算定义在我们的简单类型的交互式组合逻辑，但等价于非交互式计算定义的简单类型的组合逻辑。
2017-08-08 cs.CR cs.DC cs.LO
Zero-Knowledge Proofs in Sublinear Space
Carnegie Mellon University School of Computer Science（卡内基梅隆大学计算机科学学院）
零知识证明允许在不泄露私人信息的情况下验证计算。然而，现有系统需要与计算大小成比例的内存，这在历史上限制了在大规模应用以及移动和边缘设备上的使用。据我们所知，我们通过开发第一个证明系统来解决这个根本瓶颈，该系统具有主流密码结构的次线性内存要求。我们的方法使用空间高效的树算法在块中处理计算，将内存从线性缩放减少到平方根缩放-从$Θ(T)$到$O(\sqrt{T} + \log T \log\log T)$，计算大小为$T$ -同时通过恒定数量的流传递保持相同的证明生成时间。对于广泛使用的线性多项式承诺方案（KZG/IPA），我们的方法产生相同的证明和验证时，使用相同的参数和哈希只有聚合承诺到挑战生成，保持证明的大小和安全性。基于哈希的系统也实现了平方根内存扩展，尽管证明结构略有不同。这一进步使日常设备上的零知识证明成为可能，并使以前不可行的大型计算可验证，从根本上使隐私保护计算的访问民主化。空间效率高的零知识证明系统为重塑数字系统中建立信任的方式创造了机会--从使人们能够广泛参与去中心化网络，到使可验证的科学计算以前所未有的规模实用。
2025-09-17 cs.AI cs.CR
Physical Zero-Knowledge Proof for Ball Sort Puzzle
本文首次针对球排序谜题提出基于扑克牌的物理零知识证明协议，使证明者能在不泄露解的情况下证明其知道一个需要 t 步移动的解。
2023-12-01 cs.CR
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
我们产生了一个可判定的超直觉正常模态逻辑的内在直觉（从而析取和单调）交互式证明（LIIP）从现有的经典对应的经典单调非析取交互式证明（LiP）。直觉主义交互式证明在可能的对抗性通信媒介CM（被想象为一个杰出的代理人）中产生持久的认知影响，并且只有在这种情况下，它才包括通过CM的证明知识永久地归纳出他们的证明目标的完美知识和分离知识：如果CM知道我的证明，那么CM将持续地并且分离地知道我的证明目标是真的。因此，直觉交互式证明通过某些个体知识（可知直觉证明）的传输，在多智能体分布式系统的通信介质中实现了选言命题知识（选言可知事实）的持久传输。我们（必然）以CM为中心的证明概念也是KD 45-信念的析取显式细化，并且也产生了标准S5-知识的这种细化。单调性而非公共性是LiP、LIiP及其内在证明概念的共性。作为一个副作用，我们提供了一个简短的内在证明的析取性质的直觉主义逻辑（最初证明的哥德尔）。
2014-04-08 cs.CR cs.LO math.LO
SNARKs to the rescue: proof-of-contact in zero knowledge
本文描述了帮助COVID-19自动化接触者追踪和恢复工作的技术。我们描述了一个去中心化的协议，用于零知识的“接触证明”，其中一个人可以发布一个简短的加密证明，证明他们已经被感染，并且他们已经与一组人接触，而不会透露任何有关人员的任何信息。更重要的是，我们描述了如何组成这些证明，以支持更广泛的功能，如证明的$n$第七阶曝光，可以进一步加快自动化的接触跟踪。加密证明是可公开验证的，并且将负担放在证明联系的人身上，而不是第三方或医疗保健提供者身上，从而使系统更加分散，因此更具可扩展性。
2020-07-20 cs.CR cs.CY
Zero-Knowledge Proof in NuLink
本文介绍NuLink利用零知识证明系统保障去中心化应用隐私，通过存储证明、基于zk-SNARKs的计算正确性验证及交易双方资产与数据证明三种方法，确保节点诚实并防止系统作弊。
2024-01-06 cs.CR
Applications Of Zero-Knowledge Proofs On Bitcoin
本文研究零知识证明在比特币的储备金证明、ZK轻客户端、隐私保护Rollup三类场景的应用，设计适配UTXO模型的协议并评估实用性，指出需在效率与信任假设间权衡。
2025-06-19 cs.CR
NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam
Faculty of Science and Engineering, Chuo University（中央大学理工学部）
本研究证明了霍塔鲁束谜题的NP完全性，并提出了一种基于物理物品的零知识证明方法来验证谜题解的存在。
2026-03-02 cs.CC cs.CR
Time Transitive Functions for Zero Knowledge Proofs
可验证的延迟函数最近在区块链技术中得到了很多应用。连续可验证延迟函数是对具有递归能力的VDF基本概念的改进。我们提出了应用VDF构建更多的空间时间效率的证明器和模拟器所需的迭代非交互式零知识系统。
2021-08-13 cs.CC cs.CR cs.DC
Multichain Taprootized Atomic Swaps: Introducing Untraceability through Zero-Knowledge Proofs
本文提出基于Schnorr签名、Taproot和零知识证明的多链Taproot化原子交换协议，通过将交换交易隐藏于常规支付中实现不可追踪性，并公开了源代码。
2024-02-26 cs.CR
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
本文提出基于零知识证明（ZKPs）的零知识位置证明（ZK-PoL）系统，在不披露车辆具体位置数据的前提下验证其是否符合区域行驶要求，为车辆税收与补贴合规性提供隐私保护方案，可应用于大规模政府项目。
2025-06-20 cs.CR
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
我们提出了ZK-SecreC，一个领域特定的语言零知识证明。我们提出了它的设计，它的语法和语义的基本原理，并证明了它的有用性的基础上，一些非平凡的例子。该设计的特点是一个类型系统，其中每个数据片段都被分配了一个机密性和完整性类型，这两个类型彼此不正交。我们执行其编译器产生的语句的大小方面的经验评估。我们还展示了集成的编译器与实施的零知识证明技术，并评估证明和验证的运行时间。
2022-08-26 cs.CR cs.PL
Zero-knowledge proof systems for QMA
先前的工作已经确定，NP中的所有问题都承认经典的零知识证明系统，并且在量子计算的合理硬度假设下，这些证明系统可以安全地抵御量子攻击。我们证明了一个结果，代表了这一事实的进一步量子推广，这是复杂性类QMA中的每个问题都有一个量子零知识证明系统。更具体地说，假设存在一个无条件绑定和量子计算隐藏的承诺计划，我们证明了复杂性类QMA中的每个问题都有一个量子交互证明系统，该系统对于有效的量子计算是零知识的。我们的QMA证明系统是健全的任意量子证明者，但只需要一个诚实的证明者执行多项式时间量子计算，只要它持有一个给定的QMA问题的实例正在考虑的量子证人。证明系统依赖于一个新的变体的QMA-完全本地哈密顿问题，其中的本地条款描述的克利福德操作和标准的基础测量。我们相信这个问题的QMA完备性在量子复杂性中可能有其他用途。
2016-04-11 cs.CR quant-ph
Zero Knowledge Proof based authentication protocol using graph isomorphism
我们生活在一个信息时代，处理好信息交流是非常重要的。在将数据发送到授权来源时，我们需要保护它免受未经授权的来源、更改和身份验证的影响。ZKP技术可用于设计安全的认证系统，该系统不涉及请求者和验证者之间的任何直接信息交换，从而防止任何可能的个人信息泄漏。提出了一种基于同构图的零知识证明算法。我们建议大多数计算应该在用户的Web浏览器上进行，而不会在任何时候向服务器泄露密码。相反，它将根据登录ID和密码生成随机图及其排列。
2019-11-21 cs.CR
zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System
本文提出 zk-Fabric，一种基于分区混淆电路的一次性完整语法零知识联合证明系统，能以更低开销支持任意电路和非交互性。
2021-10-14 cs.CR cs.LO
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
本文提出首个针对PSPACE完全问题的零知识协议Crepe，基于正则表达式导数与余归纳设计证明规则，支持在数秒内验证大型正则表达式等价性证明。
2025-04-01 cs.CR cs.LO
Zero-Knowledge Proofs for Questionnaire Result Verification in Smart Contracts
本文提出基于Groth16零知识证明的Web3平台，在智能合约中验证问卷结果有效性的同时保护答案隐私，并发行NFT作为测试证明。
2023-10-20 cs.CR
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen
Akari，Takuzu，Kakuro和KenKen是类似于Sudoku的逻辑游戏。在Akari，网格上的迷宫必须通过放置灯笼来照亮，尊重各种限制。在Takuzu中，网格必须填充0和1，同时遵守某些约束。在Kakuro中，网格必须用数字填充，使得每行和每列的总和与给定值相匹配;类似地，在KenKen中，网格必须用数字填充，使得在给定区域中，积、和、差或商等于给定值。我们给出了实现这些博弈的零知识证明的物理算法，这些算法允许玩家在不透露答案的情况下表明他知道答案。这些交互式证明可以用简单的办公材料来实现，因为它们只依赖于卡片和信封。此外，我们形式化我们的算法，并证明其安全性。
2016-06-03 cs.CR
Verifiable Member and Order Queries on a List in Zero-Knowledge
在传统的认证数据结构模型中，我们引入了零知识列表上订单查询的形式化模型。我们称这种模型为隐私保护认证列表（PPAL）。在这个模型中，查询是在存储在（不受信任的）云中的列表上执行的，其中必须维护数据的完整性和隐私。为了实现高效的认证数据结构，我们首先采用一致性数据查询模型。为此，我们引入了一个正式的模型，称为零知识列表（ZKL）计划，它概括了一致的成员资格查询零知识一致的成员资格和顺序查询在一个完全有序的零知识集。提出了一种基于零知识集和同态整数承诺方案的ZKL构造方法。然后，我们讨论了为什么这种构造在云应用中不如期望的那样有效，并提出了一种基于双线性映射和双线性映射的PPAL的有效构造，该构造是可证明安全和零知识的。
2014-08-17 cs.CR
Unclonable Non-Interactive Zero-Knowledge
本文为NP定义并构造了不可克隆的非交互式零知识论证，利用量子信息确保证明无法被敌手克隆分发，并应用于不可克隆的知识签名以非交互方式防止重放攻击。
2024-09-24 cs.CR quant-ph
A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges
本文提出了一种使用零知识简洁非交互式知识论证（ZK-SNARK）的比特币交易所资产证明协议，而不会泄露交易所的比特币地址或与这些地址相关的余额。资产证明是一种证明交易所有权使用其私钥花费的比特币总价值的机制。我们构建了一个隐私保护的ZK-SNARK证明系统来证明与交易所的比特币资产相对应的私钥的知识。ZK-SNARK工具链有助于将用于证明私钥知识（交易所已知）的NP语句转换为电路可满足性问题。在这个协议中，交易所创建了一个与每个地址相关联的比特币价值的Pedersen承诺，而不会透露余额。仿真结果表明，证明生成时间，大小和验证时间是有效的，在实践中。
2022-11-11 cs.CR
Aggregated Zero-knowledge Proof and Blockchain-Empowered Authentication for Autonomous Truck Platooning
本文提出聚合零知识证明与区块链赋能的身份认证方案，用于自动驾驶卡车编队的隐私保护身份验证，在毫秒级完成认证并提升安全性与系统韧性。
2023-05-31 cs.CR
Blockchain Based Zero-Knowledge Proof of Location in IoT
本文提出基于区块链的零知识位置证明（zk-PoL）协议，通过允许用户选择暴露的信息实现分层隐私保护，兼具高安全性与计算效率，适用于延迟容忍的LBSs。
2024-06-26 cs.CR
Demystifying the Role of zk-SNARKs in Zcash
零知识证明总是提供一个明确的解决方案，当涉及到从证明者到验证者或反之亦然传递信息，而不透露有关过程的基本信息。零知识的进步有助于开发简洁的证明，并提供非交互式的知识论证，同时保持零知识标准。zk-SNARKs（零知识简洁非交互式知识论证）是一种在零知识证明方面脱颖而出的方法。Zcash算法的基本原理是，它提供了一种成熟的基于账本的数字货币，具有强大的隐私保证，而确保隐私的根源完全在于构建适当的zk-SNARK。在本文中，我们从头开始阐述并构建了一个具体的zk-SNARK证明，并解释了它在Zcash算法中的作用。
2020-11-12 cs.CR
A Survey on Zero Knowledge Range Proofs and Applications
在过去的几年里，人们越来越多地利用分布式账本技术（DLT），包括区块链。鉴于其重要性，人们感兴趣的主要议题之一是隐私机制的研究和开发，例如零知识证明（ZKP）。ZKP是一种加密技术，可用于隐藏放入分类账的信息，同时仍然允许对这些数据进行验证。在这项工作中，我们描述了构建零知识范围证明（ZKRP）的不同策略，例如Boudot在2001年提出的方案; Camenisch等人在2008年提出的方案，以及2017年提出的Bulletproofs。我们还比较了这些策略并讨论了可能的用例。由于Bulletproofs是最有效的构造，我们将详细描述其算法和优化。防弹不仅比以前的方案更有效，而且还避免了可信设置，这在分布式账本技术（DLT）和区块链的背景下是不可取的。在加密货币的情况下，如果设置阶段受到损害，就有可能凭空产生资金。有趣的是，Bulletproofs也可以用来构造通用的零知识证明（ZKP），因为它可以用来证明通用的陈述，因此它不仅限于ZKRP，而且可以用于任何类型的知识证明（PoK）。因此，Bulletproofs导致了一个更强大的工具来为DLT提供隐私。在这里，我们详细描述了防弹协议的ZKRP涉及的算法。此外，我们提出了我们的实现，这是开源的。
2019-07-15 cs.CR
Intractable Group-theoretic Problems Around Zero-knowledge Proofs
虽然产生和积累的数据量继续以前所未有的速度增长，但数据的保护和隐藏增加了其作为需要采取更多行动的科学研究领域的重要性。在每个阶段保护隐私敏感数据至关重要;在休息时，在运行时，以及在数据上执行计算时。零知识证明（ZKP）方案就是实现这一目标的密码学工具。ZKP允许一方在通信或计算过程中安全地确保数据的真实性和准确性，而不会泄露机密或隐私敏感信息。零知识协议的力量是基于棘手的问题。设计更安全、更高效的零知识证明是一个迫切的需求。这一需求提出了必要性，确定适当的棘手问题，开发新的ZKP计划。在本文中，我们提出了一个简要的轮廓ZKP计划，这些结构的连接群论棘手的问题，并注释了一系列棘手的问题，在群论，可以用来设计新的ZKP计划。
2023-02-11 cs.CR math.GR
ZKPs: Does This Make The Cut? Recent Advances and Success of Zero-Knowledge Security Protocols
一个人如何在不分享健康信息的情况下获得健康保险？如何在不透露信用评分的情况下获得贷款？有一种方法可以证明各种数据的某些属性，无论是健康指标还是财务信息，而不会泄露数据本身或任何其他类型的个人数据。这种方法被称为零知识证明。零知识技术是一种数学方法，用于在不共享或泄露底层数据的情况下验证事物。零知识协议有着广泛的应用，从简单的身份方案和区块链到国防研究计划和核军备控制
2020-06-17 cs.CR
PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
École Normale supérieure of Rennes（雷恩高等师范学院）；University of California, San Diego（加利福尼亚大学圣地亚哥分校）
本文提出一种结合PAC隐私与零知识证明的框架，用于在无信任环境中提供可验证的隐私保障，解决传统隐私保护技术的局限性。
2026-02-12 cs.CR
A Zero-Knowledge Proof for the Syndrome Decoding Problem in the Lee Metric
针对Lee度量下的伴随式译码问题（代码密码学的NP完全问题变体），本文提出了一种知识的零知识证明，为构建更高效的代码密码系统提供支持。
2025-07-31 cs.CR cs.IT math.IT
A Study on Privacy-Preserving Scholarship Evaluation Based on Decentralized Identity and Zero-Knowledge Proofs
针对传统集中式奖学金评审存在的数据泄露风险与隐私、审计难以兼顾的问题，提出基于DID与ZKP的评审系统，通过链下聚合多维度ZKP、智能合约合规验证，实现高效自动化评审并保护学生隐私与数据完整性。
2025-10-29 cs.CR
Zero-knowledge authentication schemes from actions on graphs, groups, or rings
我们提出了一种通用的方法来构造零知识认证方案从行动的半群上的一个集合，而不利用任何特定的代数性质的集合上采取行动。然后，我们给出了这个一般思想的几个具体实现，特别是，我们描述了几个零知识认证方案，伪造（a.k.a.模拟）是NP难的。在这些实现中可以使用的计算困难的问题包括（子）图同构，图着色性，丢番图问题，以及许多其他问题。
2008-02-12 cs.CR
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds
研究了$\mathbf{NP}$的常数轮后量子黑箱零知识协议的存在性.作为主要结果，我们证明了$\mathbf{NP}$不存在恒轮后量子黑箱零知识论证，除非$\mathbf{NP}\subseteq \mathbf{BQP}$。由于$\mathbf{NP}$在经典环境下存在恒轮黑箱零知识参数，我们的主要结果指出了后量子零知识协议与经典零知识协议的根本区别.结合以前的结果，我们得出结论，除非$\mathbf{NP}\subseteq \mathbf{BQP}$，恒定轮后量子零知识协议$\mathbf{NP}$存在当且仅当我们使用非黑盒技术或放宽某些安全要求，如放宽标准零知识为$ε$ -零知识。此外，我们还证明了三轮和公共硬币常数轮后量子黑箱$ε$ -零知识参数$\mathbf{NP}$不存在，除非$\mathbf{NP}\subseteq \mathbf{BQP}$。
2021-06-14 cs.CR quant-ph
An Anonymous On-Street Parking Authentication Scheme via Zero-Knowledge Set Membership Proof
随着越来越多的传感器和物联网设备部署在智慧城市中，所产生的信息量也在增长。对于我们来说，考虑来自外部对手和内部滥用数据访问权限的隐私数据泄漏和身份泄露是至关重要的。系统的安全假设不应仅仅依赖于许可和访问控制得到正确实施这一事实。恰恰相反，系统可以设计成即使系统已经被破坏，用户的身份数据和使用痕迹也不会泄露。基于我们以前的路边停车系统利用蓝牙低功耗（BLE）信标，我们应用了一个加密原语称为零知识证明，我们的认证系统。该方案将承诺方案与Merkle树相结合，实现了零知识集成员证明。这样，用户在认证会话之间对服务器是匿名的，而服务器仍然能够验证该用户的合法性。因此，路边停车系统不受隐私数据泄露的影响，因为现在人们不能在系统内大规模查询和分析某些用户的踪迹。
2021-08-08 cs.CR
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption
本文解决了裸公钥（BPK）模型中关于可重置零知识的一个公开问题：在不假设\emph{sub-exponential hardness}的情况下，BPK模型中$\mathcal{NP}$是否存在具有并发可靠性的常数轮可重置零知识论证？我们给出了一个积极的回答这个问题，提出这样一个协议的任何语言在$\mathcal{NP}$在裸公钥模型假设只有抗碰撞哈希函数对\emph{polynomial-time}对手。
2006-07-24 cs.CR
Securing Blockchain-based IoT Systems with Physical Unclonable Functions and Zero-Knowledge Proofs
该研究提出在Hyperledger Fabric环境中集成PUFs与ZKPs的安全框架，用于区块链物联网系统的设备识别、隐私认证与交易处理，验证了其可行性、性能与抗攻击能力，提供了综合安全解决方案。
2024-05-20 cs.CR cs.DC cs.NI
Certified Everlasting Zero-Knowledge Proof for QMA
在已知的经典NP零知识协议的构造中，零知识或可靠性仅适用于计算上有界的对手。事实上，用经典验证器同时实现统计零知识和统计可靠性对NP来说是不可能的，除非多项式时间层次崩溃，而且即使用量子验证器也被认为是不可能的。在这项工作中，我们介绍了一种新的妥协，我们称之为认证的永久零知识证明QMA。它是一种计算零知识证明，但验证者发出一个经典证书，表明验证者已经删除了它的量子信息。如果证书是有效的，即使是无限的恶意验证者也不能再学习任何超出声明有效性的东西。我们为QMA构造了一个可认证的永久零知识证明。对于构造，我们引入了一个新的量子密码原语，我们称之为统计绑定和认证永久隐藏的承诺，一旦接收者发出了一个有效的证书，表明接收者已经删除了提交的信息，隐藏属性就变成统计的。我们用统计绑定和认证的永久隐藏从Broadbent和Islam [TCC 2020]的认证删除量子加密中构建承诺（以黑盒的方式），然后将其与Broadbent和Grilo [FOCS 2020]的QMA量子sigma-protocol相结合，为QMA构建认证的永久零知识证明。我们的构造在量子随机预言模型下是安全的。具有统计绑定的承诺和认证的永久隐藏本身是独立的兴趣，并且除了零知识之外还有许多其他有用的应用。
2021-09-29 cs.CC cs.CR quant-ph
Zero-knowledge Based Proof-chain -- A methodology for blockchain-partial system
直观地说，像Defis这样的纯去中心化区块链系统与那些只利用区块链作为增强技术，但仍然集中于现实世界的商业模式和传统技术（如数据库，应用程序服务器等）的系统之间存在着巨大的区别。我们的研究从方法论的角度广泛探讨了这种区别，将它们分为完全区块链和部分区块链，分析了这两种类型的主要特征，并揭示了这种区别的根源。我们分析了区块链部分系统中区块链的功能，或者更强烈地说，区块链的“最终目的”，并提出了一个概念模型，我们命名为证明链，非常满意地代表了区块链部分系统中区块链的一般范式。证明链的强度和隐私之间的普遍紧张关系被揭示，基于零知识的证明链形成。几个案例研究证明了我们的证明链方法的解释力。然后，我们将证明链方法应用于区块链部分系统协作组的生态系统分析，代表证明链跨越边界的公共和私有数据域的范例。最后，一些来自这种方法的指导方针说我们的方法的有用性。
2021-06-29 cs.CR cs.SE
Physical Zero-Knowledge Proof for Ripple Effect
Ripple Effect是一个逻辑谜题，玩家必须将数字填充到矩形网格中的空单元格中。网格被划分为多个房间，每个房间必须包含从1到其大小的连续整数。此外，如果同一行或列中的两个单元格包含相同的数字$x$，则必须至少有$x$单元格分隔两个单元格。在本文中，我们开发了一个物理零知识证明的涟漪效应难题使用一副扑克牌，它允许一个证明者说服验证者，他/她知道一个解决方案，而不透露它。特别是，给定一个秘密数字$x$和一个数字列表，我们的协议可以在物理上验证$x$没有出现在列表中的前$x$号码中，而不会泄露$x$或列表中的任何号码。名单
2021-09-27 cs.CR
Study of Zero-Knowledge protocols and Elliptic Curve Cryptography and their implementation in Smart Card environments using Java Card
本研究探讨在智能卡等受限环境中使用Java Card实现零知识协议与椭圆曲线密码学，通过基准测试选择协议，并提出理论实现方案。
2023-08-31 cs.CR
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
本文探讨了将模糊测试应用于零知识证明电路的独特挑战与预言机问题，提出输入生成与测试框架构建技术，并为基础库zk-regex实现模糊测试器，成功发现10个已确认的新漏洞。
2025-04-30 cs.CR
Physical Zero-Knowledge Proof for Numberlink Puzzle and $k$ Vertex-Disjoint Paths Problem
Numberlink是一个逻辑谜题，其目标是通过矩形网格中的非交叉路径将所有具有相同编号的单元对连接起来。本文提出了一种基于扑克牌的Numberlink的零知识证明物理协议，该协议允许证明者在不泄露秘密值的情况下说服验证者他/她知道一个解，具体地说，该协议给出了如何在物理上计算列表中等于给定秘密值的元素的个数，等于该秘密值的元素在列表中的位置，或者列表中任何其他元素的值。最后，我们表明，我们的协议可以修改，以验证著名的$k$顶点不相交路径问题的解决方案，无向和定向设置。
2020-11-03 cs.CR
Efficient Zero-Knowledge Proofs for Set Membership in Blockchain-Based Sensor Networks: A Novel OR-Aggregation Approach
eCampus University（欧洲大学）；University of Macerata（马切拉塔大学）
本文提出了一种针对区块链传感器网络的或聚合方法，优化了资源受限环境下的证明效率，提升了大规模部署中的证明大小、生成时间和验证效率。
2024-10-11 cs.CR
Elliptic Curve Based Zero Knowledge Proofs and Their Applicability on Resource Constrained Devices
椭圆曲线密码（ECC）是传统公钥密码学（如RSA）的一种有吸引力的替代方案。ECC是在主要计算资源（即速度、存储器）有限并且采用低功率无线通信协议的受限设备上实现的理想候选者。这是因为它达到了与使用较小参数大小的传统密码系统相同的安全级别。此外，在诸如人员识别和电子投票的若干应用领域中，经常要求实体证明对某些事实的了解而不透露这种了解。这种知识证明被称为零知识交互证明（ZKIP），涉及两个通信方（证明者和验证者）之间的交互。在ZKIP协议中，Prover向Verifier证明其拥有某些信息（如认证信息），但不公开这些信息。本文主要研究ZKIP协议在资源受限设备上的应用。我们研究了基于离散对数问题的ZKIP协议，并在ECC环境下对其进行了变换。然后，我们实现了建议的协议Wiselib，通用和开源算法库。最后，我们提出了一个彻底的评估的协议在两个流行的硬件平台上配备了低端微控制器（Jennic JN5139，TI MSP430）和802.15.4 RF收发器，在代码大小，执行时间，消息大小和能源需求。据我们所知，这是第一次尝试实现和评估ZKIP协议，重点是低端设备。这项工作的结果可以用于开发人员谁希望在他们的应用程序中实现一定程度的安全性和隐私。
2011-07-08 cs.CR
Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
eCampus University（欧洲校园大学）；University of Macerata（马切拉塔大学）；V. N. Karazin Kharkiv National University（哈尔科夫国立大学）；Zpoken OÜ（Zpoken有限责任公司）
本文提出了一种生成和验证零知识证明的方法，用于确保加密哈希的计算完整性，重点在SHA-256算法上，利用Plonky2框架实现高效可扩展性。
2024-07-03 cs.CR
Post-Quantum Cryptography: A Zero-Knowledge Authentication Protocol
在本文中，我们提出了一个简单的零知识认证协议，使用非交换代数和广义对称分解问题（GSDP）的一个变化作为单向函数的基本解决方案。只要GSDP问题在计算上难以在非交换代数结构中解决，并且目前属于PQC类别，因为不可能存在量子计算机攻击，就可以确保密码安全性。
2017-03-25 cs.CR
Practical Relativistic Zero-Knowledge for NP
在这项工作中，我们考虑以下问题：在多证明者环境中，我们如何接近零知识证明NP语句的有效性？我们展示了一组两个新的零知识协议的3-色性问题，使用两个（本地）证明或三个（纠缠）证明，只需要他们回答两个三分之一。这大大提高了在非常短的距离上用非常少的设备证明零知识陈述的能力。
2019-12-18 cs.CR quant-ph
