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