A Proof-of-Stake protocol for consensus on Bitcoin subchains.

Massimo Bartoletti Stefano Lande Alessandro Sebastian Podda

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

Keyphrases

trusted third party
formal proof
coloured petri nets
lightweight
theorem proving
formal analysis
authentication protocol
communication protocol
credit card
cryptographic protocols
network protocols
data sets
digital signature
linear logic