Zero Knowledge Proof for Multiple Sequence Alignment
本文针对多序列比对结果需要保密但可公开输入序列和得分的场景，提出用Circom编写验证电路并结合zkSNARK生成零知识证明，在不泄露比对内容的前提下验证输入、比对与得分之间的一致性。
2024-04-29 cs.CR
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
Physical Zero-Knowledge Proof for Ball Sort Puzzle
本文首次针对球排序谜题提出基于扑克牌的物理零知识证明协议，使证明者能在不泄露解的情况下证明其知道一个需要 t 步移动的解。
2023-12-01 cs.CR
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
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
Zero Knowledge Proof based authentication protocol using graph isomorphism
我们生活在一个信息时代，处理好信息交流是非常重要的。在将数据发送到授权来源时，我们需要保护它免受未经授权的来源、更改和身份验证的影响。ZKP技术可用于设计安全的认证系统，该系统不涉及请求者和验证者之间的任何直接信息交换，从而防止任何可能的个人信息泄漏。提出了一种基于同构图的零知识证明算法。我们建议大多数计算应该在用户的Web浏览器上进行，而不会在任何时候向服务器泄露密码。相反，它将根据登录ID和密码生成随机图及其排列。
2019-11-21 cs.CR
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
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
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 Study on Privacy-Preserving Scholarship Evaluation Based on Decentralized Identity and Zero-Knowledge Proofs
针对传统集中式奖学金评审存在的数据泄露风险与隐私、审计难以兼顾的问题，提出基于DID与ZKP的评审系统，通过链下聚合多维度ZKP、智能合约合规验证，实现高效自动化评审并保护学生隐私与数据完整性。
2025-10-29 cs.CR
An Anonymous On-Street Parking Authentication Scheme via Zero-Knowledge Set Membership Proof
随着越来越多的传感器和物联网设备部署在智慧城市中，所产生的信息量也在增长。对于我们来说，考虑来自外部对手和内部滥用数据访问权限的隐私数据泄漏和身份泄露是至关重要的。系统的安全假设不应仅仅依赖于许可和访问控制得到正确实施这一事实。恰恰相反，系统可以设计成即使系统已经被破坏，用户的身份数据和使用痕迹也不会泄露。基于我们以前的路边停车系统利用蓝牙低功耗（BLE）信标，我们应用了一个加密原语称为零知识证明，我们的认证系统。该方案将承诺方案与Merkle树相结合，实现了零知识集成员证明。这样，用户在认证会话之间对服务器是匿名的，而服务器仍然能够验证该用户的合法性。因此，路边停车系统不受隐私数据泄露的影响，因为现在人们不能在系统内大规模查询和分析某些用户的踪迹。
2021-08-08 cs.CR
A Zero-Knowledge Proof of Knowledge for Subgroup Distance Problem
本文基于汉明度量下子群距离问题的困难性，提出了一种名为SDZKP的零知识身份识别方案，利用安全伪随机数生成器和Stern型算法实现稳健的安全性质。
2024-08-01 cs.CR math.GR
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
Physical Zero-knowledge Proofs for Flow Free, Hamiltonian Cycles, and Many-to-many k-disjoint Covering Paths
在本文中，我们描述的协议，使用一个标准的扑克牌，以提供一个完美的声音零知识证明的哈密顿循环和流动自由的难题。后者可以很容易地扩展到提供一个多对多的k-不相交路径覆盖的零知识证明协议。
2022-02-08 cs.CR cs.DM
zkSAS: Practical Zero-Knowledge Proofs for Verifiable Spectrum Access Management
University of Kentucky（肯塔基大学）；Virginia Tech（弗吉尼亚理工大学）
针对频谱接入管理中集中式模型不透明和区块链模型隐私开销大的问题，提出zkSAS零知识证明系统，以轻量恒定时间验证实现合规且保护隐私的动态频谱共享。
2026-09-25 cs.CR
Adaptive Group-based Zero Knowledge Proof-Authentication Protocol (AGZKP-AP) in Vehicular Ad Hoc Networks
车载自组网是移动自组网的一个特殊子类，它提出了许多安全挑战，特别是用户认证网络的方式。在这种网络中，基于现有安全策略和访问控制规则的认证技术假定对路边单元（RSU）和认证服务器完全信任。认证参数的公开使得用户能够通过网络进行跟踪。温哥华的可信实体（例如RSU）可以利用这些信息来跟踪用户的旅行行为，从而侵犯用户隐私和匿名性。本文提出了一种新的、轻量级的、自适应的、基于组的零知识证明认证协议（AGZKP-AP）。建议的认证协议是能够提供各种级别的用户的隐私设置的基础上，在这样的网络上提供的服务类型。我们的计划是基于零知识证明（ZKP）的加密方法与权衡选项的支持。用户可以选择对隐私级别和他们喜欢的资源使用量做出关键决定，例如短的系统响应时间与私人信息披露的数量。此外，AGZKP-AP与分布式权限控制和撤销机制相结合，在交通违规的情况下将用户的私人信息呈现给执法部门。
2019-08-24 cs.CR
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
Wood traceability system using blockchain and zero-knowledge proof
本研究提出的系统使用零知识证明（ZKP）来验证公共区块链中记录的木材的可追溯性。木材是几个州的副产品，从立木到原木、木材和木制品（以下简称“木制品”）。使用区块链进行记录保存的优点是，参与者可以自由地记录信息，而不受任何限制。然而，区块链的开放性可能允许恶意第三方引入虚假信息。在这项研究中，我们采用ZKP和近场通信（NFC）芯片，以消除虚假信息引入的可能性。ZKP用于证明/验证木材对象状态的变化，与该状态相关的唯一随机数被加密并记录在NFC芯片上。nonce被隐藏，wood对象的id被定义为这个nonce的hash值。我们开发了一个基于Android应用程序和以太坊智能合约的原型系统。我们确认可以使用原型系统进行木材可追溯性和验证。
2022-11-21 cs.CR
Zero-Knowledge Proof-based Practical Federated Learning on Blockchain
针对联邦学习中本地计算可验证性与数据隐私难以兼顾的问题，提出区块链上的 ZKP-FL 及支持分数与非线性运算的 PZKP-FL，实现隐私保护、可验证且一分钟内完成。
2023-04-24 cs.CR
zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
针对云计算中计算完整性易受服务器漏洞影响的问题，提出zkVC方法，通过优化矩阵乘法的ZKP计算（集成CRPC、PSQ等模块），实现服务器快速生成证明、客户端高效验证，证明速度较现有方法提升超12倍。
2025-04-16 cs.CR
On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
本研究提出相对论性零知识量子知识证明系统，定义概念并构造提取器，利用新倒带技术突破量子倒带障碍，改进可靠性界限。
2024-12-17 cs.CR quant-ph
Proofs of Zero Knowledge
我们提出了一个协议，验证“没有这样的条目”从数据库的答复。我们引入了一个新的密码原语作为底层结构，密钥哈希树，这是一个扩展的Merkle的哈希树。我们比较我们的计划Buldas等人。的不可否认的证明人和Micali等人。的零知识集。
2004-07-14 cs.CR cs.DB
Towards Practical Zero-Knowledge Proof for PSPACE
针对现有高效零知识证明仅覆盖NP类命题的局限，本研究提出面向PSPACE完全命题的实用零知识协议，通过Q-Res证明编码与获胜策略证明设计，在QBFEVAL基准上验证了方案的可行性与效率。
2025-11-19 cs.CR cs.LO
zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
本文提出 zk-IoT 框架，通过在区块链上结合零知识证明技术，确保受损 IoT 设备的固件执行与数据处理完整性，实现设备间安全通信，实验验证了其可行性与高效性。
2024-02-19 cs.CR
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
ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
针对无人机飞行路径隐私泄露问题，提出基于zk-SNARK的零知识证明协议ZAPS，在不披露敏感轨迹的情况下实现飞行路径认证与验证，平衡隐私、安全与计算效率，增强对抗环境下无人机操作安全性。
2025-08-23 cs.CR
A Lightweight QR-assisted Zero-knowledge Identification Protocol For Secure Authentication
Düzce University（杜兹切大学）
本文提出了一种基于QR码的轻量级零知识认证模型，采用Schnorr认证协议并利用nonce和时间戳机制增强对重放攻击的防护，通过将证明数据嵌入QR码中实现无需暴露秘密密钥的知识验证，实验结果表明在256位安全级别下证明生成和验证时间在毫秒级，证明大小恒定约为0.5KB，适用于实际应用
2026-05-16 cs.CR
Towards Decentralized IoT Updates Delivery Leveraging Blockchain and Zero-Knowledge Proofs
我们提出了CrowdPatching，这是一种基于区块链的去中心化协议，允许物联网（IoT）制造商将软件更新的交付委托给自私的分销商，以换取加密货币。制造商通过部署智能合约（SC）来宣布更新，智能合约将向任何提供不可伪造的交付证明的分销商发放加密货币付款。后者由IoT设备提供，授权SC在满足所需条件时向分销商发放付款。这些条件包括要求分销商生成一个零知识证明，该证明由一个名为zk-SNARKs的新型证明系统生成。与相关工作相比，CrowdPatching协议提供了三个主要优点。首先，分销商的数量可以通过在制造商的初始分销之后的任何时间添加新的分销商来无限地扩展（即，分销商网络之间的再分配）。后者在现有协议中是不可能的，并且没有考虑到。其次，我们利用最近在我们的协议中物联网部署中常见的网关或集线器集成，使CrowdPatching即使对于更具约束力的物联网设备也是可行的。第三，我们的协议考虑了分销商的可信度，奖励诚实的分销商的参与。我们使用Tamarin Prover提供了CrowdPatching的非正式和正式安全分析。
2020-10-23 cs.CR
SNARKs to the rescue: proof-of-contact in zero knowledge
本文描述了帮助COVID-19自动化接触者追踪和恢复工作的技术。我们描述了一个去中心化的协议，用于零知识的“接触证明”，其中一个人可以发布一个简短的加密证明，证明他们已经被感染，并且他们已经与一组人接触，而不会透露任何有关人员的任何信息。更重要的是，我们描述了如何组成这些证明，以支持更广泛的功能，如证明的$n$第七阶曝光，可以进一步加快自动化的接触跟踪。加密证明是可公开验证的，并且将负担放在证明联系的人身上，而不是第三方或医疗保健提供者身上，从而使系统更加分散，因此更具可扩展性。
2020-07-20 cs.CR cs.CY
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
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
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
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
Unclonable Non-Interactive Zero-Knowledge
本文为NP定义并构造了不可克隆的非交互式零知识论证，利用量子信息确保证明无法被敌手克隆分发，并应用于不可克隆的知识签名以非交互方式防止重放攻击。
2024-09-24 cs.CR quant-ph
Intractable Group-theoretic Problems Around Zero-knowledge Proofs
虽然产生和积累的数据量继续以前所未有的速度增长，但数据的保护和隐藏增加了其作为需要采取更多行动的科学研究领域的重要性。在每个阶段保护隐私敏感数据至关重要;在休息时，在运行时，以及在数据上执行计算时。零知识证明（ZKP）方案就是实现这一目标的密码学工具。ZKP允许一方在通信或计算过程中安全地确保数据的真实性和准确性，而不会泄露机密或隐私敏感信息。零知识协议的力量是基于棘手的问题。设计更安全、更高效的零知识证明是一个迫切的需求。这一需求提出了必要性，确定适当的棘手问题，开发新的ZKP计划。在本文中，我们提出了一个简要的轮廓ZKP计划，这些结构的连接群论棘手的问题，并注释了一系列棘手的问题，在群论，可以用来设计新的ZKP计划。
2023-02-11 cs.CR math.GR
Time Transitive Functions for Zero Knowledge Proofs
可验证的延迟函数最近在区块链技术中得到了很多应用。连续可验证延迟函数是对具有递归能力的VDF基本概念的改进。我们提出了应用VDF构建更多的空间时间效率的证明器和模拟器所需的迭代非交互式零知识系统。
2021-08-13 cs.CC cs.CR cs.DC
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 Based Proof-chain -- A methodology for blockchain-partial system
直观地说，像Defis这样的纯去中心化区块链系统与那些只利用区块链作为增强技术，但仍然集中于现实世界的商业模式和传统技术（如数据库，应用程序服务器等）的系统之间存在着巨大的区别。我们的研究从方法论的角度广泛探讨了这种区别，将它们分为完全区块链和部分区块链，分析了这两种类型的主要特征，并揭示了这种区别的根源。我们分析了区块链部分系统中区块链的功能，或者更强烈地说，区块链的“最终目的”，并提出了一个概念模型，我们命名为证明链，非常满意地代表了区块链部分系统中区块链的一般范式。证明链的强度和隐私之间的普遍紧张关系被揭示，基于零知识的证明链形成。几个案例研究证明了我们的证明链方法的解释力。然后，我们将证明链方法应用于区块链部分系统协作组的生态系统分析，代表证明链跨越边界的公共和私有数据域的范例。最后，一些来自这种方法的指导方针说我们的方法的有用性。
2021-06-29 cs.CR cs.SE
