SPARKs: Succinct Parallelizable Arguments of Knowledge
Naomi Ephraim, Cody Freitag, Ilan Komargodski, Rafael Pass
Topics & Concepts
Parallelizable manifoldComputer scienceSPARK (programming language)Leverage (statistics)Hash functionGas meter proverComputationOverhead (engineering)Theoretical computer scienceZero-knowledge proofArgument (complex analysis)Time complexityAlgorithmProgramming languageMathematicsCryptographyArtificial intelligenceMathematical proofGeometryChemistryBiochemistryCryptography and Data SecurityComplexity and Algorithms in GraphsSecurity and Verification in Computing