Parallel Repetition of $$(k_1,\dots ,k_{\mu })$$-Special-Sound Multi-round Interactive Proofs
Thomas Attema, Serge Fehr
Topics & Concepts
Mathematical proofSoundnessGas meter proverComputer scienceCompleteness (order theory)Repetition (rhetorical device)Zero-knowledge proofMeasure (data warehouse)Discrete mathematicsAlgorithmMathematicsProgramming languageData miningCryptographyLinguisticsPhilosophyMathematical analysisGeometryCryptography and Data SecurityComplexity and Algorithms in GraphsLogic, programming, and type systems