Recursive Proof Composition from Accumulation Schemes
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Topics & Concepts
Computer scienceSublinear functionGeneralizationStatement (logic)Composition (language)Scheme (mathematics)Argument (complex analysis)Theoretical computer scienceConstruct (python library)AlgorithmVerifiable secret sharingDiscrete mathematicsProgramming languageMathematicsLawLinguisticsPhilosophyMathematical analysisPolitical scienceBiochemistrySet (abstract data type)ChemistryCryptography and Data SecurityBlockchain Technology Applications and SecuritySecurity and Verification in Computing