Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Ootani, Yoshiyuki |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification
par: Ootani, Yoshiyuki
Publié: (2026)
par: Ootani, Yoshiyuki
Publié: (2026)
Graduated Trust Gating for IoT Location Verification: Trading Off Detection and Proof Escalation
par: Ootani, Yoshiyuki
Publié: (2026)
par: Ootani, Yoshiyuki
Publié: (2026)
Applications Of Zero-Knowledge Proofs On Bitcoin
par: Ozmiş, Yusuf
Publié: (2025)
par: Ozmiş, Yusuf
Publié: (2025)
Zero-Knowledge Proof in NuLink
par: Pawn, et autres
Publié: (2024)
par: Pawn, et autres
Publié: (2024)
Zero Knowledge Proof for Multiple Sequence Alignment
par: Suwannik, Worasait
Publié: (2024)
par: Suwannik, Worasait
Publié: (2024)
Blockchain Based Zero-Knowledge Proof of Location in IoT
par: Wu, Wei, et autres
Publié: (2024)
par: Wu, Wei, et autres
Publié: (2024)
Zero-Knowledge Proof Frameworks: A Systematic Survey
par: Sheybani, Nojan, et autres
Publié: (2025)
par: Sheybani, Nojan, et autres
Publié: (2025)
On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
par: Shi, Kaiyan, et autres
Publié: (2024)
par: Shi, Kaiyan, et autres
Publié: (2024)
PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
par: Repetto, Guilhem, et autres
Publié: (2026)
par: Repetto, Guilhem, et autres
Publié: (2026)
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
par: Chaliasos, Stefanos, et autres
Publié: (2025)
par: Chaliasos, Stefanos, et autres
Publié: (2025)
A Taxonomy and Methodology for Proof-of-Location Systems
par: Brito, Eduardo, et autres
Publié: (2025)
par: Brito, Eduardo, et autres
Publié: (2025)
Zero-Knowledge Proofs in Sublinear Space
par: Nye, Logan
Publié: (2025)
par: Nye, Logan
Publié: (2025)
zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
par: Zhang, Yancheng, et autres
Publié: (2025)
par: Zhang, Yancheng, et autres
Publié: (2025)
Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
par: Kuznetsov, Oleksandr, et autres
Publié: (2024)
par: Kuznetsov, Oleksandr, et autres
Publié: (2024)
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
par: Bogdanov, Dan, et autres
Publié: (2025)
par: Bogdanov, Dan, et autres
Publié: (2025)
Enhanced Security and Efficiency in Blockchain with Aggregated Zero-Knowledge Proof Mechanisms
par: Kuznetsov, Oleksandr, et autres
Publié: (2024)
par: Kuznetsov, Oleksandr, et autres
Publié: (2024)
Zero-Trust Runtime Verification for Agentic Payment Protocols: Mitigating Replay and Context-Binding Failures in AP2
par: Lan, Qianlong, et autres
Publié: (2026)
par: Lan, Qianlong, et autres
Publié: (2026)
A Survey on the Applications of Zero-Knowledge Proofs
par: Lavin, Ryan, et autres
Publié: (2024)
par: Lavin, Ryan, et autres
Publié: (2024)
Multichain Taprootized Atomic Swaps: Introducing Untraceability through Zero-Knowledge Proofs
par: Kurbatov, Oleksandr, et autres
Publié: (2024)
par: Kurbatov, Oleksandr, et autres
Publié: (2024)
Evaluate and Guard the Wisdom of Crowds: Zero Knowledge Proofs for Crowdsourcing Truth Inference
par: Liu, Xuanming, et autres
Publié: (2023)
par: Liu, Xuanming, et autres
Publié: (2023)
zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
par: Ramezan, Gholamreza, et autres
Publié: (2024)
par: Ramezan, Gholamreza, et autres
Publié: (2024)
A Zero-Knowledge Proof of Knowledge for Subgroup Distance Problem
par: Onur, Cansu Betin
Publié: (2024)
par: Onur, Cansu Betin
Publié: (2024)
Mitigating Collusion in Proofs of Liabilities
par: Mohamed, Malcom, et autres
Publié: (2026)
par: Mohamed, Malcom, et autres
Publié: (2026)
ByzSFL: Achieving Byzantine-Robust Secure Federated Learning with Zero-Knowledge Proofs
par: Fan, Yongming, et autres
Publié: (2025)
par: Fan, Yongming, et autres
Publié: (2025)
zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
par: Chaudhary, Amit
Publié: (2023)
par: Chaudhary, Amit
Publié: (2023)
Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States
par: Colisson, Léo, et autres
Publié: (2023)
par: Colisson, Léo, et autres
Publié: (2023)
Zero-Knowledge Proof Based Verifiable Inference of Models
par: Wang, Yunxiao
Publié: (2025)
par: Wang, Yunxiao
Publié: (2025)
NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
par: Ruangwises, Suthee
Publié: (2024)
par: Ruangwises, Suthee
Publié: (2024)
BioZero: Privacy-Preserving and Publicly Verifiable On-Chain Biometric Authentication via Homomorphic Commitments and Zero-Knowledge Proofs
par: Lin, Zibin, et autres
Publié: (2024)
par: Lin, Zibin, et autres
Publié: (2024)
Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States
par: Colisson, Léo, et autres
Publié: (2021)
par: Colisson, Léo, et autres
Publié: (2021)
ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation
par: Chen, Bing-Jyue, et autres
Publié: (2025)
par: Chen, Bing-Jyue, et autres
Publié: (2025)
ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
par: Naziri, Shayesta, et autres
Publié: (2025)
par: Naziri, Shayesta, et autres
Publié: (2025)
A Study on Privacy-Preserving Scholarship Evaluation Based on Decentralized Identity and Zero-Knowledge Proofs
par: Chen, Yi, et autres
Publié: (2025)
par: Chen, Yi, et autres
Publié: (2025)
Attribute-Based Encryption With Payable Outsourced Decryption Using Blockchain and Responsive Zero Knowledge Proof
par: Cai, Dongliang, et autres
Publié: (2024)
par: Cai, Dongliang, et autres
Publié: (2024)
Towards Practical Zero-Knowledge Proof for PSPACE
par: Karthikeyan, Ashwin, et autres
Publié: (2025)
par: Karthikeyan, Ashwin, et autres
Publié: (2025)
Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity
par: Delavenne, Hugo, et autres
Publié: (2025)
par: Delavenne, Hugo, et autres
Publié: (2025)
NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam
par: Otsuji, Taisei, et autres
Publié: (2026)
par: Otsuji, Taisei, et autres
Publié: (2026)
Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
par: Scaramuzza, Filippo, et autres
Publié: (2025)
par: Scaramuzza, Filippo, et autres
Publié: (2025)
SZKP: A Scalable Accelerator Architecture for Zero-Knowledge Proofs
par: Daftardar, Alhad, et autres
Publié: (2024)
par: Daftardar, Alhad, et autres
Publié: (2024)
if-ZKP: Intel FPGA-Based Acceleration of Zero Knowledge Proofs
par: Butt, Shahzad Ahmad, et autres
Publié: (2024)
par: Butt, Shahzad Ahmad, et autres
Publié: (2024)
Documents similaires
-
Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification
par: Ootani, Yoshiyuki
Publié: (2026) -
Graduated Trust Gating for IoT Location Verification: Trading Off Detection and Proof Escalation
par: Ootani, Yoshiyuki
Publié: (2026) -
Applications Of Zero-Knowledge Proofs On Bitcoin
par: Ozmiş, Yusuf
Publié: (2025) -
Zero-Knowledge Proof in NuLink
par: Pawn, et autres
Publié: (2024) -
Zero Knowledge Proof for Multiple Sequence Alignment
par: Suwannik, Worasait
Publié: (2024)