Shorter Non-interactive Zero-Knowledge Arguments and ZAPs for Algebraic Languages
Geoffroy Couteau, Dominik Hartmann
Topics & Concepts
Zero-knowledge proofSoundnessComputer scienceCryptographyPairingCryptosystemDiscrete mathematicsAlgebraic numberTheoretical computer scienceCryptographic protocolGas meter proverCompilerMathematicsMathematical proofProgramming languageAlgorithmSuperconductivityPhysicsQuantum mechanicsMathematical analysisGeometryCryptography and Data SecurityComplexity and Algorithms in GraphsPrivacy-Preserving Technologies in Data