Buchumschlag

NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Otsuji, Taisei, Fulla, Peter, Fukunaga, Takuro
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computational Complexity Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
von: Ruangwises, Suthee
Veröffentlicht: (2024)

A Survey on the Applications of Zero-Knowledge Proofs
von: Lavin, Ryan, et al.
Veröffentlicht: (2024)

A Zero-Knowledge PCP Theorem
von: Gur, Tom, et al.
Veröffentlicht: (2024)

Efficiently Batching Unambiguous Interactive Proofs
von: Berger, Bonnie, et al.
Veröffentlicht: (2025)

Interactive Oracle Proofs of Proximity to Codes on Graphs
von: Delavenne, Hugo, et al.
Veröffentlicht: (2025)

Hardness of Range Avoidance and Proof Complexity Generators from Demi-Bits
von: Ren, Hanlin, et al.
Veröffentlicht: (2025)

Perfect Zero-Knowledge PCPs for #P
von: Gur, Tom, et al.
Veröffentlicht: (2024)

Proofs of quantum memory
von: Hhan, Minki, et al.
Veröffentlicht: (2025)

From Worst-Case Hardness of $\mathsf{NP}$ to Quantum Cryptography via Quantum Indistinguishability Obfuscation
von: Morimae, Tomoyuki, et al.
Veröffentlicht: (2025)

The Round Complexity of Proofs in the Bounded Quantum Storage Model
von: Grilo, Alex B., et al.
Veröffentlicht: (2024)

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle
von: Li, Xingjian, et al.
Veröffentlicht: (2023)

Hardness Amplification for (Sparse) LPN
von: Aggarwal, Divesh, et al.
Veröffentlicht: (2026)

Vulnerability Abundance: A formal proof of infinite vulnerabilities in code
von: Leverett, Eireann, et al.
Veröffentlicht: (2026)

Inapproximability of Finding Sparse Vectors in Codes, Subspaces, and Lattices
von: Bhattiprolu, Vijay, et al.
Veröffentlicht: (2024)

New constructions of pseudorandom codes
von: Ghentiyala, Surendra, et al.
Veröffentlicht: (2024)

Leakage-Resilient Extractors against Number-on-Forehead Protocols
von: Chattopadhyay, Eshan, et al.
Veröffentlicht: (2025)

Efficient derandomization of differentially private counting queries
von: Ghentiyala, Surendra
Veröffentlicht: (2025)

Characterizing the Distinguishability of Product Distributions through Multicalibration
von: Marcussen, Cassandra, et al.
Veröffentlicht: (2024)

Differentially Private Compression and the Sensitivity of LZ77
von: Blocki, Jeremiah, et al.
Veröffentlicht: (2025)

Deterministic Hardness of Approximation of Unique-SVP and GapSVP in $\ell_p$ norms for $p>2$
von: Hecht, Yahli, et al.
Veröffentlicht: (2025)

Privacy-Preserving Hamming Distance Computation with Property-Preserving Hashing
von: Zhao, Dongfang
Veröffentlicht: (2025)

Unifying computational entropies via Kullback-Leibler divergence
von: Agrawal, Rohit, et al.
Veröffentlicht: (2019)

How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions
von: Herman, Tal, et al.
Veröffentlicht: (2024)

Lattice Based Crypto breaks in a Superposition of Spacetimes
von: Aggarwal, Divesh, et al.
Veröffentlicht: (2025)

Privacy-preserving formal concept analysis: A homomorphic encryption-based concept construction
von: Chen, Qiangqiang, et al.
Veröffentlicht: (2025)

On the Classical Hardness of the Semidirect Discrete Logarithm Problem in Finite Groups
von: Arif, Mohammad Ferry Husnil, et al.
Veröffentlicht: (2025)

More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities
von: Gretta, Lucas, et al.
Veröffentlicht: (2024)

Improved Round-by-round Soundness IOPs via Reed-Muller Codes
von: Minzer, Dor, et al.
Veröffentlicht: (2025)

Black-Box Crypto is Useless for Pseudorandom Codes
von: Garg, Sanjam, et al.
Veröffentlicht: (2025)

Optimally Blending Honeypots into Production Networks: Hardness and Algorithms
von: Zaman, Md Mahabub Uz, et al.
Veröffentlicht: (2024)

Efficient and Privacy-Preserving Binary Dot Product via Multi-Party Computation
von: Dehkordi, Fatemeh Jafarian, et al.
Veröffentlicht: (2025)

Faster Mixing of Higher-Dimensional Random Reversible Circuits
von: Gay, William, et al.
Veröffentlicht: (2024)

A Meta-Complexity Characterization of Quantum Cryptography
von: Cavalar, Bruno P., et al.
Veröffentlicht: (2024)

Pseudorandom Permutations from Random Reversible Circuits
von: He, William, et al.
Veröffentlicht: (2024)

Linear Hashing with $\ell_\infty$ guarantees and two-sided Kakeya bounds
von: Dhar, Manik, et al.
Veröffentlicht: (2022)

Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR
von: Dinur, Itai, et al.
Veröffentlicht: (2021)

On the Computational Hardness of Quantum One-Wayness
von: Cavalar, Bruno, et al.
Veröffentlicht: (2023)

Pseudorandom density matrices
von: Bansal, Nikhil, et al.
Veröffentlicht: (2024)

Clifford Strategies in Interactive Protocols are Classically Simulatable
von: Shalit, Itay
Veröffentlicht: (2024)

Quantum Cryptography in Algorithmica
von: Kretschmer, William, et al.
Veröffentlicht: (2022)