arrow
Return

Polynomial Commitment Schemes from Classical Constructions to Post-Quantum Directions

delete2026-04-20
delete0
PRE
AI
M
Maksim Iavich *
T
Tamari Kuchukhidze
R
Răzvan Bocu
DOI:10.3390/cryptography10020027delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Polynomial commitment schemes (PCS) enable a prover to commit to a polynomial and later reveal evaluations with succinct, verifiable proofs. As critical components of modern cryptographic systems like Verkle trees and zk-SNARKs, these methods are experiencing a significant transition from classical to post-quantum designs. This comprehensive research systematically compares the major scheme families to examine this progression, from pairing-based KZG and transparent Bulletproofs to lattice-based and hash-based post-quantum alternatives. We present a unified taxonomy that maps the classical-to-post-quantum transition across trust models, security assumptions, and efficiency measures after conducting a PRISMA-guided systematic review of 77 works. Our analysis reveals a fundamental trade-off between efficiency and security: classical schemes, which rely on quantum-vulnerable assumptions, provide optimal performance with constant-sized proofs, while post-quantum alternatives offer quantum resistance at the cost of larger proofs and higher computational overhead. By combining research works, we highlight recurrent problems with adaptive security, verification efficiency, and proof conciseness. We offer a specific research roadmap with prioritized short-, medium-, and long-term directions to close the performance gap between quantum-resistant and classical architectures based on our quantitative analysis. This study offers a technical reference and a strategic roadmap for constructing practical post-quantum polynomial commitments.
Keywords:
commitment schemes
polynomial commitment schemes
post-quantum cryptography
lattice-based cryptography
quantum cryptography
vector commitments
functional commitments

Journal

C
Cryptography
IF:
2.1
Papers:
47
Citations:
643

Organization

T
Transilvania University of Brasov
Scholars:
277
Papers: 175
Citations: 0