Proof of Luck: an Efficient Blockchain Consensus Protocol.

Mitar Milutinovic Warren He Howard Wu Maxinder Kanwal

Published in: CoRR (2017)

Keyphrases

lightweight
theorem prover
formal proof
computationally efficient
formal analysis
communication protocol
application layer
network protocols
coloured petri nets