Proof-Carrying Data Without Succinct Arguments
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
Topics & Concepts
Random oracleConstruct (python library)Computer scienceCryptographyTheoretical computer scienceOracleDiscrete logarithmZero-knowledge proofArgument (complex analysis)Scheme (mathematics)Cryptographic primitiveVerifiable secret sharingCommitment schemeSimple (philosophy)RandomnessModular designDiscrete mathematicsMathematicsAlgorithmEncryptionCryptographic protocolPublic-key cryptographyComputer securityProgramming languageBiochemistryPhilosophyChemistryStatisticsMathematical analysisSet (abstract data type)EpistemologyCryptography and Data SecurityComplexity and Algorithms in GraphsBlockchain Technology Applications and Security