Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lecture notes in computer science

Lattice-Based Functional Commitments: Fast Verification and Cryptanalysis

Hoeteck Wee, David J. Wu

Published Jan 1, 2023• 27 citations
Publisher
DOI
10.1007/978-981-99-8733-7_7

Related papers

Polynomial Commitments from Lattices: Post-quantum Security, Fast Verification and Transparent Setup

Valerio Cini, Giulio Malavolta, Ngoc Khanh Nguyen +1 more

Lecture notes in computer science•Jan 1, 2024•10 citations

Vector and Functional Commitments from Lattices

Chris Peikert, Zachary Pepin, Chad Sharp

Lecture notes in computer science•Jan 1, 2021•38 citations

Succinct Vector, Polynomial, and Functional Commitments from Lattices

Hoeteck Wee, David J. Wu

Lecture notes in computer science•Jan 1, 2023•54 citations

A Sub-linear Lattice-Based Submatrix Commitment Scheme

Huang Lin

Lecture notes in computer science•Jan 1, 2021•0 citations

Expressive Cryptography: Lattice Perspectives

Xavier Boyen

Lecture notes in computer science•Jan 1, 2013•0 citations

Capability-Adaptive Cryptanalysis with Reduced-Space Quantum Verification

Nivedita Dey, Mrityunjay Ghosh, Pranav Kaushal +2 more

Efficient integration of cryptanalytic evidence with quantum verification remains a fundamental challenge in hybrid classical-quantum cryptanalysis. This work presents a capability-adaptive cryptanalytic framework that unifies linear cryptanalysis, differential cryptanalysis, and side-channel leakage analysis within a common candidate-space reduction architecture, followed by reduced-space quantum verification through amplitude amplification. A formal mathematical model is developed for candidate-space construction, adaptive filtering, verification-space reduction, and complexity characterization, supported by the oretical results establishing the relationship between candidate-space contraction and quantum verification effort. A Hamiltonian formulation is further introduced to provide a physically realizable interpretation of the reduced-space verification process. Evaluation using statistically generated cryptanalytic observations demonstrates that the proposed framework reduces an initial candidate-key hypothesis space of 4096 candidates to an effective candidate space of 13 hypotheses, corresponding to an overall reduction of approximately 99.683%. Consequently, the Grover verification requirement decreases from 50 iterations to only 2 iterations, yielding an approximately 25-fold reduction in verification effort, while reduced-space amplitude amplification achieves a target-state success probability of approximately 94.53%. These results demonstrate that adaptive cryptanalytic filtering can substantially reduce quantum verification complexity while preserving cryptanalytic admissibility, providing a practical foundation for capability-aware hybrid cryptanalysis and reduced-space quantum search.

quant-pharXiv:2608.12234•Aug 13, 2026•0 citations
Efficient integration of cryptanalytic evidence with quantum verification remains a fundamental challenge in hybrid classical-quantum cryptanalysis. This work presents a capability-adaptive cryptanalytic framework that unifies linear cryptanalysis, differential cryptanalysis, and side-channel leakage analysis within a common candidate-space reduction architecture, followed by reduced-space quantum verification through amplitude amplification. A formal mathematical model is developed for candidate-space construction, adaptive filtering, verification-space reduction, and complexity characterization, supported by the oretical results establishing the relationship between candidate-space contraction and quantum verification effort. A Hamiltonian formulation is further introduced to provide a physically realizable interpretation of the reduced-space verification process. Evaluation using statistically generated cryptanalytic observations demonstrates that the proposed framework reduces an initial candidate-key hypothesis space of 4096 candidates to an effective candidate space of 13 hypotheses, corresponding to an overall reduction of approximately 99.683%. Consequently, the Grover verification requirement decreases from 50 iterations to only 2 iterations, yielding an approximately 25-fold reduction in verification effort, while reduced-space amplitude amplification achieves a target-state success probability of approximately 94.53%. These results demonstrate that adaptive cryptanalytic filtering can substantially reduce quantum verification complexity while preserving cryptanalytic admissibility, providing a practical foundation for capability-aware hybrid cryptanalysis and reduced-space quantum search.