Scalable Blockchain Protocol Based on Proof of Stake and Sharding.

Yuefei Gao Shin Kawai Hajime Nobuhara

Published in: J. Adv. Comput. Intell. Intell. Informatics (2019)

Keyphrases

lightweight
formal proof
formal analysis
coloured petri nets
highly scalable
theorem prover
interactive theorem proving
theorem proving
tcp ip
file transfer
data streams
database systems
cryptographic protocols
network protocols
case study
data sets
database