logic-blockchains

Let's get down to business...

Blockchain: Super interesting blockchain stuff

Needham-Schroeder: Super interesting key stuff

Name		Name	Last commit message	Last commit date
Latest commit History 71 Commits
BFT_Blockchain.als		BFT_Blockchain.als
Blockchain.als		Blockchain.als
Evil_Miner.als		Evil_Miner.als
Needham–Schroeder.als		Needham–Schroeder.als
No_Time_Fixed.als		No_Time_Fixed.als
No_Time_MitM.als		No_Time_MitM.als
No_Time_No_Eve.als		No_Time_No_Eve.als
PoS_Blockchain.als		PoS_Blockchain.als
README.md		README.md
README.txt		README.txt
Time_Fixed.als		Time_Fixed.als
Time_MitM.als		Time_MitM.als
Time_No_Eve.als		Time_No_Eve.als

Provide feedback