Ligero: lightweight sublinear arguments without a trusted setup
Scott Ames, Carmit Hazay, Yuval Ishai, Muthuramakrishnan Venkitasubramaniam
Topics & Concepts
Gas meter proverComputer scienceRandom oracleSoundnessZero-knowledge proofMathematical proofTheoretical computer scienceSecurity parameterCommunication complexityOracleProtocol (science)Hash functionCryptographySimple (philosophy)Discrete mathematicsAlgorithmPublic-key cryptographyMathematicsProgramming languageEncryptionComputer networkAlternative medicinePathologyGeometryEpistemologyMedicinePhilosophyCryptography and Data SecurityComplexity and Algorithms in GraphsCryptographic Implementations and Security