StateSync-GKR: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to GKR Verification
该论文处理的是一个在可验证计算工程中常被忽视的信任缺口：GKR 协议的可靠性界只能保证『关于某个算术电路的输出声明是可信的』，却无法保证『该电路确实编码了应用所期望的状态转移』。作者以稀疏 Merkle 树（SMT）的成员证明、非成员证明与
#zero-knowledge
共收录 24 条相关情报。
← 返回所有主题Can AI Oversight Be Zero Knowledge?
本文研究一个交叉性问题: 当 AI 系统基于机密数据产生输出时(论文举的两个例子是: 依据医疗记录给出适岗/履职能力评估, 以及依据分子的秘密结构预测候选药物的性质), 我们既希望验证这些输出是否计算正确, 又不希望泄露底层敏感数据。已有的
Cryptographic Security Is Not Enough: Privacy Gaps in the Renegade Decentralized Dark Pool
本文由 Prerna Arote、Adrian Saiz、Oriol Saguillo、Lucianna Kiffer 撰写，聚焦去中心化暗池（dark pool）的安全属性。暗池的核心承诺有三项：交易前隐私（执行前隐藏订单流）、活性（系统
On the Construction of Trapdoor Claw-Free Functions with Certifiable Key
该论文研究的是量子-经典密码交互中广泛使用的陷门无爪函数（Trapdoor Claw-Free Functions, TCF）的密钥可信性问题。现有几乎所有基于 TCF 的密码协议都默认假设密钥由诚实方生成，并在此前提下证明安全性，一旦密钥
Efficient Branch-and-Bound Testing and Verification of zkVMs
零知识虚拟机（zkVM）通过把虚拟机语义翻译成执行轨迹上的代数约束，使通用程序能够被可验证地执行。这些约束的正确性至关重要：一条错误的约束可能使系统处于欠约束（under-constrained）状态，从而接受伪造的证明；也可能因过约束（o
Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits
本文研究的是零知识机器学习（ZKML）电路中的「冗余检查」问题及其可证明安全的去膨胀（debloating）技术。背景是：面向神经网络推理的零知识证明系统会把模型编译成大规模算术约束系统，其中包含大量范围证明、符号查找（sign looku
ZK-Trace: Certified Collusion Tracing with Zero-Knowledge Credentials for Federated GNSS Interference Monitoring
本文提出 ZK-Trace，一种用于联邦式全球导航卫星系统（GNSS）干扰监控场景下的认证共谋追踪方案。在该场景中，一个专有的分类器模型被分发到多个“部分可信”的监测站，任何站点都可能泄露其模型副本，导致知识产权或敏感能力外泄。ZK-Tra
Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees.
本文提出 Sparrow，一种面向数据并行算术电路的空间高效零知识简洁非交互式证明（zkSNARK）方案。zkSNARK 在实际部署中常因证明者空间开销过大而受限，其空间需求可能比原生计算高出数个数量级。Sparrow 首次在固定有限域上实
Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
本文针对央行数字货币（CBDC）银行间结算系统在分布式账本技术（DLT）上运行时所面临的根本性权衡：区块链透明性虽能实现无需信任的验证，却会将商业敏感的双方交易流暴露给所有网络参与者。为化解这一矛盾，作者提出了一种面向许可型以太坊兼容网络的
Less is more: refinement proofs for probabilistic proofs.
本文提出一个名为 Distiller 的通用框架，旨在优化概率证明系统（包括交互式证明 IP、简洁非交互式论证 SNARK、概率可检验证明 PCP 等）的前端开销。在过去十年中，概率证明的实现虽受广泛关注，但由于前端需要将抽象计算转换为等价
$Z^2$-ACT: End-to-End Verifiable Agentic Intent Control for Open 6G RAN
该论文针对开放与解耦的6G无线接入网（RAN）中多供应商共存场景下的AI辅助控制安全问题，提出了一种名为Z²-ACT（零知识可审计控制与零信任可验证智能体意图架构）的端到端解决方案。随着6G RAN走向开放化和虚拟化，网络需要承载来自不同厂
Balancing Privacy and Compliance in DeFi: A Zero-Knowledge-Based Auditable Cross-Chain Framework
本文针对去中心化金融（DeFi）中跨链交易面临的隐私与监管合规之间的根本性冲突，提出了一种基于零知识证明（ZKP）的可审计跨链框架。研究指出，单链系统中的隐私或透明方案（如公开账本与匿名加密货币）无法同时满足异构跨链环境下的隐私保护和可审计
Hollow-LLM Attack: Computationally Trivial Weights in Zero-Knowledge Verification of LLM Inference
随着大型语言模型（LLM）规模不断扩大并主要由远程平台提供服务，验证推理执行的忠实性（即确保提供商确实执行了广告中的模型和计算负载，而不是篡改或缩小版本）变得至关重要。零知识（ZK）LLM推理提供了一种有前景的方法，它承诺公开可验证性，并通
Flock: Fast Proving for Batch Boolean Computations
本文提出 Flock，一种基于哈希的 SNARK（简洁非交互式零知识证明）系统，旨在大幅加速大批量布尔计算（尤其是标准密码学哈希函数评估）的证明生成。在许多 SNARK 应用中，证明大量 SHA-256、Keccak、BLAKE3 等哈希评
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.
本文针对高保证密码学协议形式化验证实现中存在的性能瓶颈问题，提出了一套通用的优化方法。以 Line-Point 零知识证明（LPZK）协议为案例，首先在 EasyCrypt 中实现了一个形式化验证的 LPZK 实现（未考虑性能），然后通过三
Efficient Zero-Knowledge Arguments For Paillier Cryptosystem.
本文提出了一种针对Paillier密码系统的高效零知识论证系统。Paillier加密是一种同态加密方案，广泛应用于隐私保护计算，如联邦学习和加密数据分析。然而，在实际应用中，需要证明密文满足某些性质（如范围证明、正确性证明等），而现有的零知
Caulk: Lookup Arguments in Sublinear Time.
本论文提出了一种称为 Caulk 的新型查找参数（lookup argument）及其变体 Caulk+，旨在解决零知识证明系统中高效证明元素属于预定义集合的问题。传统的查找参数（如 plookup）证明者复杂度与数据集大小呈线性关系，而
Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits.
本文提出了一种名为Wolverine的新型零知识证明（ZK）协议，旨在同时满足布尔电路和算术电路的高效、可扩展和低通信开销。现有的ZK协议要么证明者开销大（内存使用高），要么通信复杂度较高（每门至少κ比特，κ为计算安全参数）。Wolveri
zQR: A Verifiable QR-Driven zkSNARK Proof Verification Framework for Mobile Platforms
隐私是现代社会中个人的基本权利，但隐私保护技术在日常交互中的实际采用仍然有限。零知识证明（ZKP）提供了强大的隐私保证，但其技术复杂性阻碍了广泛应用。本文提出一种可验证二维码（verifiable QR）的概念，使得离线验证者能够验证编码在
Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators.
该论文研究了双线性累加器（bilinear accumulator）中的批处理证明、聚合证明与零知识证明。累加器是一种密码学原语，允许证明者简洁地提交一个集合，并能提供元素属于或不属于该集合的证明。批处理证明是指同时证明多个元素的成员资格或