NanoZK: Privacy-Preserving Verifiable Inference for Large Language Models via Layerwise Zero-Knowledge Proofs
USC Viterbi School of Engineering（USC维特里维学院工程学院）
NANOZK通过分层零知识证明验证大语言模型推理，采用分层证明框架实现常数大小证明，提升可扩展性与并行证明效率，同时保持形式正确性。
2026-07-21 cs.AI cs.CR cs.LG
VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces
University of Oxford（牛津大学）
VET通过可验证的执行轨迹实现主机无关的自主性，为未来完全自主的代理系统奠定基础。
2025-12-17 cs.AI cs.CR
VerifiableFL: Verifiable Claims for Federated Learning using Exclaves
Imperial College London（伦敦帝国学院）；Azure Research（Azure研究院）；Microsoft Security Response Center（微软安全响应中心）
VerifiableFL通过exclaves实现联邦学习模型的可验证声明，减少12%的开销，增强训练过程的透明性和安全性。
2026-02-17 cs.CR cs.DC cs.LG
Cryptographically verifiable authorization for autonomous AI agents: a falsifiable hypothesis and proof of concept
Universidad Tecnológica Atlántico-Mediterráneo (UTAMED)（西班牙阿塔兰蒂卡-地中海技术大学）；Universidad de Santiago de Compostela (USC)（圣地亚哥-德孔波斯特拉大学）
研究自主AI代理加密可验证授权问题，提出将其形式化为关系$R_{CVA}$的假设，引入CVA形式化抽象，定义安全属性，给出零知识概念验证，还识别出身份等绑定间结构分离问题并提出研究议程。
2026-09-25 cs.AI cs.CR
zQR: A Verifiable QR-Driven zkSNARK Proof Verification Framework for Mobile Platforms
提出zQR框架，利用二维码编码零知识证明，结合区块链和大型语言模型，实现移动平台上的可离线验证隐私保护方案。
2026-06-26 cs.CR
Optimistic Verifiable Training by Controlling Hardware Nondeterminism
Stanford University（斯坦福大学）
本文提出一种通过高精度训练、中间舍入及自适应阈值共享舍入决策来控制GPU非确定性的方法，在三种NVIDIA GPU上实现ResNet-50和GPT-2的FP32精确训练复现，显著降低可验证训练的存储与时间成本。
2024-11-25 cs.AI cs.CR cs.LG
OreProof: Verifiable Provenance with Limited Disclosure for Critical-Minerals Supply Chains Using Zero-Knowledge Proofs
University of Waterloo（滑铁卢大学）；Schulich School of Business, York University（约克大学舒利奇商学院）
OreProof是一款针对黄金的原型溯源平台，结合零知识证明等技术解决关键矿产供应链的可验证性与披露权衡问题，降低了机密属性可推断性并提升吞吐量，贡献了原型及四条设计原则。
2026-09-02 cs.CR
Verifiable Computation with Massively Parallel Interactive Proofs
随着云计算范式的日益突出，对可验证计算的需求变得越来越迫切。可验证计算的概念使弱客户端能够将困难的计算外包给强大但不可信的服务器。用于可验证计算的协议旨在为客户端提供服务器正确执行所请求计算的保证，而不需要客户端自己执行计算。通过设计，这些协议对客户端施加了最小的计算负担。然而，现有的协议要求服务器执行大量的额外簿记，以便使客户端能够容易地验证结果。因此，可验证计算仍然是一种理论上的好奇心，它的协议还没有在真正的云计算系统中实现。我们的目标是利用GPU来降低服务器端的可验证计算速度。为此，我们确定了丰富的数据并行在一个国家的最先进的通用协议的可验证的计算，最初是由于Goldwasser，卡莱和Rothblum，最近扩展Cormode，Mitzenmacher和Thaler。我们在GPU上实现此协议，相对于最先进的顺序实现，获得40- 120倍的服务器端加速。对于基准问题，我们的实现将服务器的速度降低到相对于客户端请求的原始计算的100- 500倍。此外，我们将客户端已经很小的运行时间减少了100倍。同样，我们获得了20- 50倍的服务器端和客户端的加速相关协议针对特定的流问题。我们相信，我们的研究结果证明了使用GPU进行可验证计算的直接实用性，更普遍的是，可验证计算的协议已经足够成熟，可以部署在真正的云计算系统中。
2012-02-22 cs.CR cs.DC
Proof in a Bottle: Long-Lived Verifiable Secret Sharing via Pre-Quantum Commitment and Immutable Ledger Binding
Artema LABS（阿尔特拉实验室）
研究传统可验证秘密共享技术易受量子攻击的问题，提出瓶中证明（PiB）方法，通过解耦可验证性与长期绑定，利用Pedersen承诺和不可变账本哈希，保护诚实交易免受量子对手攻击。
2026-07-16 cs.CR cs.ET
A Verifiable Multiparty Computation Solver for the Assignment Problem and Applications to Air Traffic Management
指派问题是许多应用领域中的基本问题，经常被用来优化资源的使用。这个问题是很好理解的，存在各种有效的算法来解决这个问题。然而，目前还不清楚什么样的实际性能可以实现基于多方计算（MPC）的隐私保护的实现，利用更有效的解决方案的策略比基于MPC的单纯形求解器的线性规划。我们通过实施和比较不同的优化MPC算法来解决这个问题，以解决合理的问题大小的分配问题。我们的经验方法揭示了对基于MPC的优化的各种见解，并且与已知的基于单纯形的方法相比，我们测量了显着的（50倍）加速。此外，我们还研究了通过非交互式的零知识证明的结果公开验证引入的开销。通过利用现代证明系统，我们还实现了显着的加速证明和验证时间相比，以前提出的方法，以及紧凑的证明大小。
2022-05-06 cs.CR
zkSAS: Practical Zero-Knowledge Proofs for Verifiable Spectrum Access Management
University of Kentucky（肯塔基大学）；Virginia Tech（弗吉尼亚理工大学）
针对频谱接入管理中集中式模型不透明和区块链模型隐私开销大的问题，提出zkSAS零知识证明系统，以轻量恒定时间验证实现合规且保护隐私的动态频谱共享。
2026-09-25 cs.CR
Towards Trusted Service Monitoring: Verifiable Service Level Agreements
Technische Universität Berlin（柏林工业大学）；Cybernetica AS（赛伯尼卡公司）；University of Tartu（塔尔图大学）
本研究提出通过可信硬件和零知识证明实现可验证的服务级别协议监控，确保服务生态系统的可信性和自动化合规验证。
2025-10-29 cs.CR cs.NI
Verifiable Unlearning on Edge
Imperial College London（伦敦帝国理工学院）
本文提出一种基于zk-SNARKs的验证框架，可在不损害隐私的前提下确认边缘设备个性化模型上的数据遗忘操作，同时保持模型性能并最小化计算开销。
2025-06-24 cs.CR cs.LG
\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party
University of California, Berkeley（加州大学伯克利分校）
提出Range-Arithmetic框架，通过将非算术运算转化为可验证的算术步骤，实现高效的深度神经网络推理验证，降低了计算和通信开销。
2026-06-11 cs.AI cs.CR cs.ET
Zero-Knowledge Proof-based Verifiable Decentralized Machine Learning in Communication Network: A Comprehensive Survey
School of Cyberspace Science and Technology, Beijing Institute of Technology（信息科学与技术学院，北京理工大学）；School of Computer Science, The University of Auckland（计算机科学学院，奥克兰大学）；Southeast Institute of Information Technology, Beijing Institute of Technology（信息科技东南研究所，北京理工大学）；Key Laboratory of Knowledge Engineering with Big Data (Hefei University of Technology), Ministry of Education（大数据知识工程重点实验室（合肥工业大学），教育部）；School of Computer Science and Information Engineering, Hefei University of Technology（计算机科学与信息工程学院，合肥工业大学）；Anhui Province Key Laboratory of Industry Safety and Emergency Technology（安徽省产业安全与应急技术重点实验室）；Intelligent Interconnected Systems Laboratory of Anhui Province (Hefei University of Technology)（安徽省智能互联系统实验室（合肥工业大学））；School of Cyber Science and Technology, Beihang University（网络科学与技术学院，北航）；Department of Bioinformatics, Hangzhou Nuowei Information Technology Co.,Ltd（生物信息学系，杭州诺威信息技术有限公司）
本综述聚焦通信网络中基于零知识证明的可验证去中心化机器学习，提出ZKP-VML定义并系统分类现有方案，总结设计原则，指出挑战与未来方向。
2025-03-05 cs.CR cs.LG
Advancing Blockchain-based Federated Learning through Verifiable Off-chain Computations
联邦学习可能受到全局聚合攻击和分布式中毒攻击。区块链技术以及激励和惩罚机制已经被提出来应对这些问题。在本文中，我们使用零知识证明探索可验证的链下计算，作为基于区块链的联邦学习中激励和惩罚机制的替代方案。在我们的解决方案中，学习节点除了其计算职责之外，还充当链下证明者，提交证明以证明可以在区块链上验证的参数的计算正确性。我们通过健康监控用例和概念验证实施来展示和评估我们的解决方案，该实施利用ZoKrates语言和基于智能合约的链上模型管理工具。我们的研究引入了学习过程正确性的可验证性，从而推进了基于区块链的联邦学习。
2022-06-23 cs.CR cs.DC
Verifiable Proof of Health using Public Key Cryptography
在目前的大流行中，检测仍然是监测和遏制疾病传播以及早期识别疾病以执行检疫、接触者追踪等健康相关干预措施的最重要工具。密码工具的最新进展使得建立一个安全且有弹性的数字身份系统成为可能。在这项工作中，我们建议建立一个端到端的COVID-19结果验证协议，该协议将隐私，计算和其他实际问题考虑在内，以设计一个可互操作的测试结果验证系统层，该系统可能实现不那么严格和更具选择性的锁定。我们还讨论了各种问题，包括安全，隐私，道德和公平方面的拟议系统。
2020-12-04 cs.CR cs.CY
Statistical Proof of Execution (SPEX)
Warden Labs（沃登实验室）
针对自主决策中可验证计算需求增长的问题，研究形式化定义了该问题，提出了比现有方法更快速、经济、简洁的基于采样的SPEX协议，还给出了应对非确定性挑战的有效策略。
2025-03-24 cs.AI cs.CR
zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
针对云计算中计算完整性易受服务器漏洞影响的问题，提出zkVC方法，通过优化矩阵乘法的ZKP计算（集成CRPC、PSQ等模块），实现服务器快速生成证明、客户端高效验证，证明速度较现有方法提升超12倍。
2025-04-16 cs.CR
Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference
Offchain Labs；University of Tartu（塔尔图大学）；CUNY Graduate Center（纽约大学研究生中心）；City College of New York（纽约城市学院）
本文提出一种轻量级密码学验证框架，通过统计性质利用神经网络特性，减少证明时间，验证推理安全性和效率。
2026-03-19 cs.CR cs.LG
Verifiable evaluations of machine learning models using zkSNARKs
MIT（麻省理工学院）；EZKL；Microsoft Research（微软研究院）；University of Adelaide（阿德莱德大学）
针对闭源模型评估不可信问题，提出基于 zkSNARKs 的可验证评估系统，通过零知识证明验证模型在公共数据上的性能与公平性指标，并在真实模型上首次演示，开创了私有模型评估的透明度新范式。
2024-05-22 cs.AI cs.CR cs.LG
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
针对 zk-SNARK DSL 工具包无法自动化生成证明的问题，提出利用云端的 Proving Service，为可验证链下计算提供可扩展、可复用且具备可移植性与互操作性的证明生成方案。
2024-04-25 cs.CR cs.SE
Publicly-Verifiable Certificates for Statistical Algorithms
MIT（麻省理工学院）；Cornell University（康奈尔大学）
本文在Goldwasser等人的交互式学习证明框架基础上，定义公开可验证统计有效性证书（pvCSV），在自适应统计查询算法中构建pvCSV，认证k次自适应查询的SQ算法，样本复杂度为O(log k)，并研究了SQ模型中的学习证明系统。
2026-07-20 cs.CR cs.DS cs.LG
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
本文系统研究了资源受限低端IoT设备的低成本远程软件完整性验证架构，定性和定量比较了不同完整性证明的表达能力、架构支持与成本，并指出了未来研究方向与挑战。
2024-01-11 cs.CR
Fair Proof-of-Stake using VDF+VRF Consensus
提出了一种新的权益证明协议，该协议由可验证随机函数（VRF）和可验证延迟函数（VDF）构成，具有以下性质：a）所有具有正权益的地址都可以参与; b）公平，因为硬币权益与奖励的分配成正比; c）抵抗几种经典的区块链攻击，如Sybil攻击，“Nothing-at-stake”攻击和“Winner-takes-all”攻击。我们称之为Vixify共识。
2020-10-09 cs.CR
Time Transitive Functions for Zero Knowledge Proofs
可验证的延迟函数最近在区块链技术中得到了很多应用。连续可验证延迟函数是对具有递归能力的VDF基本概念的改进。我们提出了应用VDF构建更多的空间时间效率的证明器和模拟器所需的迭代非交互式零知识系统。
2021-08-13 cs.CC cs.CR cs.DC
Verilay: A Verifiable Proof of Stake Chain Relay
区块链中继方案可以在不需要可信中介的情况下实现跨链状态证明。这是通过在目标区块链上应用源区块链的共识验证协议来实现的。现有的链式继电器允许验证使用工作量证明（PoW）协议创建的块。由于PoW需要高能耗，有限的吞吐量，并且没有保证的最终性，因此权益证明（PoS）区块链协议越来越受欢迎，以解决这些缺点。我们提出了Verilay，这是第一个链中继方案，可以验证产生最终块的PoS协议，例如以太坊2.0，Cosmos和Polkadot。该概念不需要更改源区块链协议或验证器操作。区块提议者的签名由目标区块链上的专用中继智能合约验证。与基本的PoW链中继相比，Verilay只需要提交一个区块头的子集，以保持完全的可验证性。这产生了增强的可扩展性。我们提供了一个原型实现，便于在以太坊虚拟机（EVM）内验证以太坊2.0信标链报头。我们的评估证明了以太坊1.0主网的适用性，并证实与PoW链中继更新相比，只需要一小部分交易成本。
2022-01-21 cs.CR
VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
Shenzhen University（深圳大学）；Nanjing University of Science（南京理工大学）；Nanyang Technological University（南洋理工大学）
VeriLoRA通过整合零知识证明与LoRA微调，实现了大语言模型在敏感环境中的安全可信部署。
2025-12-02 cs.AI cs.CR
End-to-End Verifiable Decentralized Federated Learning
POSTECH（浦项科技大学）；TU Berlin（柏林工业大学）
针对现有可验证去中心化联邦学习缺乏端到端数据完整性保障的问题，提出结合两步证明与验证（2PV）方法的系统，将可验证性扩展至数据源，实现数据与计算的端到端完整性和真实性，且开销极小。
2024-04-19 cs.CR cs.DC cs.LG
Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy
1 Department of Computer Engineering, Istanbul Technical University (ITU), 34469 Istanbul, Turkey Email；2 Department of Computer Science, University of Malta, MSD 2080 Msida, Malta Email；3 Faculty of Electrical \& Computer Engineering, University of Prishtina ``Hasan Prishtina'', 10000 Prishtina, Kosovo Email；4 School of IT \& Engineering, ADA University, AZ1008 Baku, Azerbaijan Email；5 Faculty of Mathematics, Natural Sciences；Information Technologies (FAMNIT), University of Primorska, 6000 Koper, Slovenia Email；6 Faculty of Computer Science \& Engineering (FINKI), Ss.\ Cyril；Methodius University in Skopje, 1000 Skopje, North Macedonia Email
本研究提出可验证微调方法，通过零知识证明确保模型训练过程的透明性和合规性，实现数据来源和政策的绑定，提升模型发布的可信度。
2025-12-29 cs.CL cs.CR
Authentication, Authorization, and Selective Disclosure for IoT data sharing using Verifiable Credentials and Zero-Knowledge Proofs
随着物联网变得无所不在，产生了大量数据，这些数据可用于构建创新应用程序。然而，互操作性问题和安全问题阻止了这些数据的全部潜力。在本文中，我们考虑了智能建筑产生的数据的用例。通过集成物联网设备，建筑物正在变得越来越“智能”，这些设备通过传感和自动化来提高舒适度。然而，这些设备及其数据通常在特定应用或制造商中是孤立的，即使它们对于提供不同类型的“过顶”服务的各种感兴趣的利益相关者可能是有价值的，例如，能源管理大多数数据共享技术都遵循“全有或全无”的方法，这会造成重大的安全和隐私威胁，即使是部分暴露的、隐私保护的数据子集也会推动创新应用。考虑到这些，我们开发了一个平台，可以控制，保护隐私的数据项共享。我们的系统在两个方面进行了创新：首先，它提供了一个框架，允许在不违反其完整性的情况下发现和选择性地披露物联网数据。其次，它提供了一种用户友好的、直观的机制，允许对共享数据进行有效的、细粒度的访问控制。我们的解决方案利用了自主身份、可验证凭据和零知识证明领域的最新进展，并将它们集成到一个结合了行业标准授权框架OAuth 2.0和物联网规范的平台中。
2022-09-01 cs.CR
VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs
Newcastle University（纽卡斯尔大学）
VeriSBOM通过零知识证明实现安全且可验证的SBOM共享，保护知识产权并确保合规性。
2026-02-14 cs.CR cs.SE
Single-Query Verifiable Proof-of-Sequential-Work
我们提出了一个顺序工作证明（PoSW），可以验证只有一个查询的随机预言机的每个随机挑战。顺序工作证明是一种协议，它有助于验证者有效地验证证明者是否顺序地执行了指定数量的计算。用N表示这个顺序计算的数量，具有poly（N）并行性的证明器必须花费$Ω(N)$ -顺序时间，而验证器使用最多O（log N）并行性在O（log N）-顺序时间内验证计算。我们提出了一个PoSW，允许任何验证，即使是一个没有并行性，验证只使用一个单一的顺序计算一个单一的挑战。所有现有的PoSW [10，5，2，6]都要求证明者计算来自随机预言机的响应序列，以对抗N轮查询。然后，证明器使用提交方案（例如，Merkle root（like）commitment）。现在，验证者要求证明者提供一组针对t个随机选择的检查点的证明，称为挑战，在计算序列中。验证者从这些证明中的每一个中找出承诺，花费O（log N）轮查询到oracle。它可以减少到一个单轮的查询，只有当验证者拥有O（log N）的并行度[6]。PoSW中的验证器不需要并行性，而是使用对随机预言机的单个查询来验证t个挑战中的每个挑战。关键的观察是，在以前的作品中的承诺计划本身需要O（log N）的Oracle查询来验证。
2022-05-26 cs.CR
Private and Secure Post-Quantum Verifiable Random Function with NIZK Proof and Ring-LWE Encryption in Blockchain
提出一种基于区块链的后量子VRF方案，采用Ring-LWE加密、NIZK证明和环签名，结合MPC与DID，通过NIST测试验证随机性，通过率达98.86%。
2024-02-07 cs.CR cs.DC
A Scalable, Privacy-Preserving Decentralized Identity and Verifiable Data Sharing Framework based on Zero-Knowledge Proofs
本文提出一种结合DIDs、VCs与ZKP的综合框架，基于zk-STARKs和密码学累加器实现隐私保护的身份验证、可扩展凭证撤销与社交密钥恢复，在提升证明效率与安全性的同时促进可信数据共享。
2025-10-10 cs.CR cs.NI
zkUnlearner: A Zero-Knowledge Framework for Verifiable Unlearning with Multi-Granularity and Forgery-Resistance
CSIRO’s Data61（CSIRO的数据61研究所）；The University of Melbourne（墨尔本大学）
本文提出zkUnlearner，首个支持多粒度（样本、特征、类别级）与防伪造的可验证机器遗忘零知识框架，通过位掩码技术实现选择性证明，并有效抵抗梯度伪造攻击。
2025-09-08 cs.AI cs.CR
Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement
SPQR Technologies Inc.（SPQR技术公司）
本文提出Aegis架构，通过加密技术将政策约束作为执行条件，实现自主AI系统的可验证政策执行，通过实验验证其在运行时治理中的有效性。
2026-03-15 cs.AI cs.CR cs.CY
pvCNN: Privacy-Preserving and Verifiable Convolutional Neural Network Testing
Jinan University（暨南大学）；Pazhou Lab（琶洲实验室）；Dongguan University of Technology（东莞理工学院）；Guangzhou Fongwell Data Limited Company（广州方纬数据有限公司）
本文提出 pvCNN 框架，通过划分 CNN 模型并结合同态加密与 zk-SNARK，实现隐私保护且可验证的神经网络测试，并利用基于 QMPs 的电路和证明聚合显著提升证明效率。
2023-05-28 cs.CR cs.LG
VerifBFL: Leveraging zk-SNARKs for A Verifiable Blockchained Federated Learning
University of La Rochelle（拉罗谢尔大学）
本文提出 VerifBFL 框架，结合区块链、zk-SNARKs、IVC 与差分隐私，实现联邦学习本地训练和聚合的链上可验证性，并通过概念验证证明其高效性。
2025-01-08 cs.CR cs.DC cs.ET
Towards Verifiable Differentially-Private Polling
满足差分隐私的分析为个人提供了合理的可否认性，同时允许分析师从数据中提取见解。然而，除了通常可接受的准确性折衷之外，这些统计公开技术通常抑制所提供的信息的可验证性，因为人们不能检查参与者的真实信息的正确性、差分隐私机制或无偏随机数生成。虽然相关的工作已经讨论了这个机会，一个有效的实现与精确的界限上的错误和相应的证明的差分隐私属性是到目前为止失踪。在本文中，我们遵循的方法基于零知识证明~（ZKPs），在特定的简洁的非交互式参数的知识，作为一种可验证的计算技术，以证明一个差异私人查询输出的正确性。特别是，我们确保差分隐私的保证，尽管ZKP的有限域上操作的限制，并具有有限的分支能力。我们证明了我们的方法具有实际的性能，并讨论了从业者如何使用我们的原语，以可验证的方式查询个人的年龄从他们的数字签名的身份证在不同的私人方式。
2022-06-15 cs.CR
BioZKFHE: Scalable Encrypted Biometric Identification via Verifiable Homomorphic Similarity Evaluation
Shenzhen University（深圳大学）；Lancaster University（兰卡斯特大学）；University of Technology Sydney（悉尼科技大学）
研究大规模外包环境下生物特征识别问题，提出BioZKFHE框架，结合BGV同态计算等技术。采用SCMV打包和PVSC方法，减少加密存储、避免旋转密集匹配、使证明生成可行。实验表明该框架能实现接近无损识别，减少加密存储，缩短运行时间。
2026-10-28 cs.CR
Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
KTH Royal Institute of Technology（瑞典皇家理工学院）
本研究提出基于零知识虚拟机的编译方法，通过生成加密证明实现软件制品的可验证溯源，验证了其在现实软件中的应用及安全性。
2026-02-12 cs.CR cs.SE
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
Trusted Compute Units: A Framework for Chained Verifiable Computations
Technische Universität Berlin（柏林工业大学）
本文提出可信计算单元（TCU）框架，通过统一异构技术实现安全、隐私保护的链下计算，提升区块链系统的性能和可扩展性。
2025-04-28 cs.CR
BioZero: Privacy-Preserving and Publicly Verifiable On-Chain Biometric Authentication via Homomorphic Commitments and Zero-Knowledge Proofs
Shenzhen University（深圳大学）；The Chinese University of Hong Kong（香港中文大学）
BioZero通过同态承诺和零知识证明实现去中心化身份系统中隐私保护的生物识别认证，支持链上公开验证，降低网络调整总认证延迟并提升证明效率。
2026-11-03 cs.CR
VPAS: Publicly Verifiable and Privacy-Preserving Aggregate Statistics on Distributed Datasets
针对隐私保护聚合中的输入验证与公开可验证性挑战，提出VPAS协议，结合同态加密、零知识证明和区块链，实现低开销且可验证的分布式数据安全聚合。
2024-03-22 cs.CR
Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
本研究在以太坊虚拟机中实现Pietrzak VDF验证，利用原始论文优化，将验证成本从4M降至2M gas，证明长度在2048位RSA下小于8KB，显著提升效率。
2025-01-22 cs.CR
A BUD You Can Count On: Efficient, Verifiable Membership Proofs
Sei Labs；University of Portsmouth（朴茨茅斯大学）
本文提出区块更新摘要（BUD）机制，通过认证每区块写日志实现高效历史认证读取，指数层级压缩证明，在50倍状态增长下路径开销仅增1.24倍，显著优于传统Merkle树。
2026-09-11 cs.CR cs.DB cs.DC
The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol
本文提出BOOMERANG协议，通过结合密码学黑盒累加器与零知识证明，并在Layer 1区块链上使用智能合约验证，实现了去中心化、隐私保护且高效可验证的激励系统。
2024-10-14 cs.CR
Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security
针对传统密码学仅关注算法层安全、实现层风险缺乏统一验证框架的问题，提出实现层可证明安全新范式，并构建改造Babuk勒索软件核心的SEER系统，验证了该范式兼具强安全保证与实用性能。
2025-08-02 cs.CR
FSPVDsse: A Forward Secure Publicly Verifiable Dynamic SSE scheme
对称可搜索加密（SSE）方案允许客户端（数据所有者）搜索外包给不可信云服务器的加密数据。搜索可以是单个关键字搜索或复杂查询搜索，如合取或布尔关键字搜索。对于动态SSE，信息泄漏是相当高的，其中数据可能被更新。已经证明，为了避免这种信息泄漏，具有动态数据的SSE方案必须是前向私有的。动态SSE方案被称为前向私有的，如果添加关键字-文档对不会显示关于该关键字的先前搜索结果的任何信息。在SSE设置中，数据所有者具有非常低的计算和存储能力。在这种情况下，尽管一些方案通过诚实但好奇的云实现了前向隐私，但当服务器是恶意的时，很难实现前向隐私，这意味着它可以改变数据。可验证的动态SSE要求服务器提供搜索查询结果的证明。数据所有者可以有效地验证此证明。在本文中，我们提出了一个通用的公开可验证的动态SSE（DSSE）计划，使任何前向私人DSSE计划可验证，而不会失去前向隐私。该方案不需要任何额外的存储在业主方，并要求最小的计算成本，以及业主。此外，我们还将我们的方案与已有的结果进行了比较，表明我们的方案是实用的。
2019-09-30 cs.CR
SoK: Verifiable Cross-Silo FL
University of Lille（里尔大学）；Inria（法国国家信息与自动化研究所）；CNRS（法国国家科学研究中心）；Centrale Lille（里尔中央理工学院）
本文系统化梳理了可验证跨孤岛联邦学习的研究，分析了各类协议的分类、效率与威胁模型，探讨了零知识证明方案在降低成本方面的应用，并指出了未来的研究方向。
2024-10-11 cs.AI cs.CR cs.LG
A Survey on Decentralized Identifiers and Verifiable Credentials
本文综述去中心化标识符（DIDs）和可验证凭证（VCs）技术，涵盖背景、实现、跨领域应用、相关法规与挑战，填补SSI系统外应用的研究空白，为数字身份管理提供全面参考。
2025-04-16 cs.CR cs.CY
VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup
University of Waterloo（滑铁卢大学）
本文提出可验证分布式差分隐私框架VDDP，通过刻画其与零知识证明的联系，防御分布式环境中服务器的不忠实执行，并开发了VDDLM、VDDGM和VRR三种高效实例化，在误差极小的情况下大幅提升了证明生成效率并降低了通信开销。
2026-10-22 cs.CR cs.DB
