Succinct Verification of Lattice-Based Compressed $\Sigma$-Protocols via Delegated Proofs of Correct Folding of Cryptographically Generated Public Parameters

Anders Kallesøe

Paper 2026/551

Succinct Verification of Lattice-Based Compressed $\Sigma$-Protocols via Delegated Proofs of Correct Folding of Cryptographically Generated Public Parameters

Anders Kallesøe, Aarhus University

Abstract

Inner product arguments are a widely used primitive in cryptography. The bulletproofs framework and subsequently compressed $\Sigma$ protocols provide a powerful folding technique that allows for succinct communication complexity of these. However, their verification complexity remains linear. The linear part of the verification is the folding computation of the CRS for the given vector commitment scheme. We explore a new avenue by which to delegate this folding to the prover via an interactive proof that incorporates the setup function of the commitment scheme in the setting where the CRS is constructed cryptographically from a small seed. We use this proof to construct a succinctly verifiable compressed $\Sigma$ protocol for structured linear forms in the lattice setting.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
Contact author(s): ak @ cs au dk
History: 2026-03-22: approved; 2026-03-19: received; See all versions
Short URL: https://ia.cr/2026/551
License: CC BY

BibTeX

@misc{cryptoeprint:2026/551,
      author = {Anders Kallesøe},
      title = {Succinct Verification of Lattice-Based Compressed $\Sigma$-Protocols via Delegated Proofs of Correct Folding of Cryptographically Generated Public Parameters},
      howpublished = {Cryptology {ePrint} Archive, Paper 2026/551},
      year = {2026},
      url = {https://eprint.iacr.org/2026/551}
}