SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients
Hamza Abusalah, Georg Fuchsbauer, Peter Gaži, Karen Klein
Topics & Concepts
Computer scienceMathematical proofBlockchainGas meter proverTheoretical computer scienceZero-knowledge proofConstruct (python library)Proof-of-work systemGraphArgument (complex analysis)Computer securityCryptographyProgramming languageMathematicsChemistryGeometryBiochemistryBlockchain Technology Applications and SecurityNanocluster Synthesis and Applications