Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #3 to TR22-127 | 30th September 2025 14:05

Kolmogorov Complexity Characterizes Statistical Zero Knowledge

RSS-Feed




Revision #3
Authors: Eric Allender, Shuichi Hirahara, Harsha Tirumala
Accepted on: 30th September 2025 14:05
Downloads: 9
Keywords: 


Abstract:

We show that a decidable promise problem has a non-interactive statistical zero-knowledge proof
system if and only if it is randomly reducible via an honest polynomial-time reduction to a promise
problem for Kolmogorov-random strings, with a superlogarithmic additive approximation term. This
extends work by Saks and Santhanam (CCC 2022). (Saks and Santhanam showed that promise
problems that can be reduced in this way to such an approximation of the Kolmogorov-random
strings have (possibly interactive) zero-knowledge proof systems, and they did not address the
converse implication.) We build on this to give new characterizations of Statistical Zero Knowledge
SZK, as well as the related classes NISZKL and SZKL.



Changes to previous version:

Theorem 42 in this revision is a significant improvement over Theorem 43 in the previous version. There are other minor changes.


Revision #2 to TR22-127 | 13th September 2023 19:20

Kolmogorov Complexity Characterizes Statistical Zero Knowledge





Revision #2
Authors: Eric Allender, Shuichi Hirahara, Harsha Tirumala
Accepted on: 13th September 2023 19:20
Downloads: 487
Keywords: 


Abstract:

We show that a decidable promise problem has a non-interactive statistical zero-knowledge proof system if and only if it is randomly reducible to a promise problem for Kolmogorov-random strings, with a superlogarithmic additive approximation term. This extends recent work by Saks and Santhanam (CCC 2022). We build on this to give new characterizations of Statistical Zero Knowledge (SZK), as well as the related classes NISZK_L and SZK_L.



Changes to previous version:

Section 7 is new (removing the "honesty" assumption). Additional material in Section 8. Other minor changes.


Revision #1 to TR22-127 | 22nd November 2022 21:52

Kolmogorov Complexity Characterizes Statistical Zero Knowledge





Revision #1
Authors: Eric Allender, Shuichi Hirahara, Harsha Tirumala
Accepted on: 22nd November 2022 21:52
Downloads: 620
Keywords: 


Abstract:

We show that a decidable promise problem has a non-interactive statistical zero-knowledge proof system if and only if it is randomly reducible via an honest polynomial-time reduction to a promise problem for Kolmogorov-random strings, with a superlogarithmic additive approximation term. This extends recent work by Saks and Santhanam (CCC 2022). We build on this to give new characterizations of Statistical Zero Knowledge (SZK), as well as the related classes NISZK_L and SZK_L.



Changes to previous version:

The main theorems are now stated in terms of "honest" reductions. Some minor typos were fixed, a new theorem was added, etc.


Paper:

TR22-127 | 12th September 2022 19:01

Kolmogorov Complexity Characterizes Statistical Zero Knowledge





TR22-127
Authors: Eric Allender, Shuichi Hirahara, Harsha Tirumala
Publication: 13th September 2022 20:21
Downloads: 789
Keywords: 


Abstract:

We show that a decidable promise problem has a non-interactive statistical zero-knowledge proof system if and only if it is randomly reducible to a promise problem for Kolmogorov-random strings, with a superlogarithmic additive approximation term. This extends recent work by Saks and Santhanam (CCC 2022). We build on this to give new characterizations of Statistical Zero Knowledge (SZK), as well as the related classes NISZK_L and SZK_L.



ISSN 1433-8092 | Imprint