Proof of Luck: an Efficient Blockchain Consensus Protocol.

Mitar Milutinovic Warren He Howard Wu Maxinder Kanwal

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

formal proof
lightweight
network protocols
theorem prover
database
real time
neural network
genetic algorithm
social networks
website
formal analysis
tcp ip
cryptographic protocols
linear logic