Orion: Zero Knowledge Proof with Linear Prover Time
Tiancheng Xie, Yupeng Zhang, Dawn Song
Topics & Concepts
Gas meter proverComputer scienceLossless compressionAlgorithmScalabilityExpander graphOverhead (engineering)Hash functionZero-knowledge proofMathematical proofTheoretical computer scienceProof complexityAutomated theorem provingCryptographyGraphDiscrete mathematicsMathematicsData compressionProgramming languageDatabaseGeometryCryptography and Data SecurityComplexity and Algorithms in GraphsCryptographic Implementations and Security