Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



WEBSITE > HOME:
About the ECCC

What we do and why

The Electronic Colloquium on Computational Complexity (ECCC) was established in 1994 as a forum and repository for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Posting on the ECCC has the status of a technical report. The Electronic Colloquium on Computational Complexity welcomes papers, short notes, and surveys, with
  • relevance to the theory of computation,
  • clear mathematical profile, and
  • strictly mathematical format.

Central topics

  • models of computation and their complexity.
  • complexity bounds and trade-offs (with the emphasis on lower bounds).
  • complexity theoretic aspects of specific areas including coding theory, combinatorics, cryptography, game theory, logic, machine learning, optimization, property testing, and quantum computation.
For more details see the Call for Papers.

More reading

Here are some papers on the idea and concept of electronic colloquia and ECCC.

Latest News
9th April 2023 12:21

Service Interruption

In the last few days, a Denial of Service attack was launched on universities in Israel, leading the administrators of the Israel Academic network to block access to it from the global internet. Consequently, websites such as ECCC have been accessible only from within the Israeli and European academic networks.

It seems that this blocking was just removed, and we hope it will not be put back in the future.

Needless to say, deciding on such blocking is not in our control, but we do apologize for this disruption of service.


-> Older news


Latest Report Titles
Latest Reports
TR26-098 | 11th June 2026
YaoChing Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan

SNARGs for NP from Unprovability of Mathematical Theorems

Modern cryptography relies on the intractability of computational problems. We present an approach to build cryptography from a new source of hardness: proving mathematical theorems.

Our main result is a construction of succinct non-interactive arguments (SNARGs) for NP under standard derandomization (prBPP = prP) and cryptographic assumptions (LWE and SXDH), ... more >>>


TR26-097 | 9th June 2026
Karthik Sheshadri

A symmetric determinantal lower bound for diagonal power sums\\ via polar degree

The symmetric determinantal complexity $\sdc(f)$ of a polynomial $f$ is the
least $m$ such that $f=\Det(M)$ for an $m\times m$ symmetric matrix $M$ of
affine-linear forms. We prove, over $\CC$, that
\[
\sdc\!\left(\sum_{i=1}^n x_i^n\right)
\ge \left(\frac{1}{2e}-o(1)\right)n^2 .
\]
The result is a symmetric companion to the author's non-symmetric ... more >>>


TR26-096 | 14th June 2026
Emanuele Viola

The dream XOR lemma is false

I refute the 1995 dream XOR lemma conjecture by Goldreich, Nisan, and Wigderson. I also give a counterexample to the XOR lemma for low-degree polynomials.

more >>>

-> Older reports


ISSN 1433-8092 | Imprint