Sumcheck Arguments and Their Applications
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
Topics & Concepts
Computer scienceSatisfiabilityTheoretical computer scienceClass (philosophy)Argument (complex analysis)Zero-knowledge proofProtocol (science)CryptographyScheme (mathematics)Discrete logarithmGas meter proverComplexity classTime complexityDiscrete mathematicsMathematicsAlgorithmArtificial intelligenceComputer securityEncryptionPublic-key cryptographyMathematical proofPathologyAlternative medicineBiochemistryChemistryMedicineGeometryMathematical analysisCryptography and Data SecuritySecurity and Verification in ComputingAdvanced Authentication Protocols Security