Towards a Verified Model of the Algorand Consensus Protocol in Coq
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon Moore, Karl Palmskog, Lucas Peña, Grigore Roşu
Topics & Concepts
LivenessComputer scienceProtocol (science)Asynchronous communicationTheoretical computer scienceModel checkingProof assistantCertificationProof-of-work systemDistributed computingBlockchainComputer networkComputer securityMathematical proofMathematicsLawAlternative medicinePolitical sciencePathologyGeometryMedicineBlockchain Technology Applications and SecurityDistributed systems and fault toleranceSecurity and Verification in Computing