Formal Verification of Blockchain Byzantine Fault Tolerance
Pierre Tholoniat, Vincent Gramoli
Topics & Concepts
Byzantine fault toleranceBlockchainCorrectnessComputer scienceScalabilityAdversarySimple (philosophy)Code (set theory)Fault toleranceDistributed computingTheoretical computer scienceComputer securityAlgorithmProgramming languageOperating systemSet (abstract data type)EpistemologyPhilosophyDistributed systems and fault toleranceBlockchain Technology Applications and SecurityCognitive Functions and Memory