Non-interactive Zero-Knowledge Proofs to Multiple Verifiers
Kang Yang, Xiao Wang
Topics & Concepts
Gas meter proverMathematical proofComputer scienceRandom oracleZero-knowledge proofDiscrete mathematicsSatisfiabilityScalabilityOracleConstruct (python library)Multiplication (music)Theoretical computer scienceMathematicsCombinatoricsProgramming languageComputer networkPublic-key cryptographyEncryptionGeometryDatabaseCryptography and Data SecurityComplexity and Algorithms in GraphsPrivacy-Preserving Technologies in Data