Bulwark: A proof-of-stake protocol with strong consistency and liveness.

Zhiqiang Du Liangxin Liu Muhong Huang Yanfang Fu Wendong Zhang

Published in: Comput. Networks (2024)

Keyphrases

set intersection
formal proof
lightweight
high level
theorem prover
correctness criterion
theorem proving
replicated data
snapshot isolation
data sets
cryptographic protocols
formal analysis
authentication protocol
communication protocol
tcp ip
file transfer