Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
A proof complexity perspective on effectively zero-knowledge proofs
Jan Krajicek
Ilango (FOCS 2025) invented effectively zero-knowledge proofs, a new variant of zero-knowledge. We reformulate it in the language of logic and give simple proofs (under the same as…
cs.CC2026
Failure of the strong feasible disjunction property
Jan Krajicek
A propositional proof system has the strong feasible disjunction property iff there is a constant such that whenever admits a size proof of w…