Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Untangling the Security of Kilian’s Protocol: Upper and Lower Bounds
 
conference paper

Untangling the Security of Kilian’s Protocol: Upper and Lower Bounds

Chiesa, Alessandro  
•
Dall’Agnol, Marcel
•
Guan, Ziyi  
Show more
Boyle, Elette
•
Boyle, Elette
Show more
2025
Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings
22nd Theory of Cryptography Conference

Sigma protocols are elegant cryptographic proofs that have become a cornerstone of modern cryptography. A notable example is Schnorr’s protocol, a zero-knowledge proof-of-knowledge of a discrete logarithm. Despite extensive research, the security of Schnorr’s protocol in the standard model is not fully understood. In this paper we study Kilian’s protocol, an influential public-coin interactive protocol that, while not a sigma protocol, shares striking similarities with sigma protocols. The first example of a succinct argument, Kilian’s protocol is proved secure via rewinding, the same idea used to prove sigma protocols secure. In this paper we show how, similar to Schnorr’s protocol, a precise understanding of the security of Kilian’s protocol remains elusive. We contribute new insights via upper bounds and lower bounds. Upper bounds. We establish the tightest known bounds on the security of Kilian’s protocol in the standard model, via strict-time reductions and via expected-time reductions. Prior analyses are strict-time reductions that incur large overheads or assume restrictive properties of the PCP underlying Kilian’s protocol.Lower bounds. We prove that significantly improving on the bounds that we establish for Kilian’s protocol would imply improving the security analysis of Schnorr’s protocol beyond the current state-of-the-art (an open problem). This partly explains the difficulties in obtaining tight bounds for Kilian’s protocol. Upper bounds. We establish the tightest known bounds on the security of Kilian’s protocol in the standard model, via strict-time reductions and via expected-time reductions. Prior analyses are strict-time reductions that incur large overheads or assume restrictive properties of the PCP underlying Kilian’s protocol. Lower bounds. We prove that significantly improving on the bounds that we establish for Kilian’s protocol would imply improving the security analysis of Schnorr’s protocol beyond the current state-of-the-art (an open problem). This partly explains the difficulties in obtaining tight bounds for Kilian’s protocol.

  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-031-78011-0_6
Scopus ID

2-s2.0-85211931236

Author(s)
Chiesa, Alessandro  

École Polytechnique Fédérale de Lausanne

Dall’Agnol, Marcel

Princeton University

Guan, Ziyi  

École Polytechnique Fédérale de Lausanne

Spooner, Nicholas

University of Warwick

Yogev, Eylon

Bar-Ilan University

Editors
Boyle, Elette
•
Boyle, Elette
•
Mahmoody, Mohammad
Date Issued

2025

Publisher

Springer Science and Business Media Deutschland GmbH

Published in
Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings
Series title/Series vol.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15364 LNCS

ISSN (of the series)

1611-3349

0302-9743

Start page

158

End page

188

Subjects

succinct interactive arguments

•

vector commitment schemes

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
COMPSEC  
Event nameEvent acronymEvent placeEvent date
22nd Theory of Cryptography Conference

Milan, Italy

2024-12-02 - 2024-12-06

FunderFunding(s)Grant NumberGrant URL

Alon Young Faculty Fellowship

Fermi Ma and Julius Vering

Ethereum Foundation

Show more
Available on Infoscience
January 26, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/244779
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés