A Distributed Clock Synchronization Protocol for Proof of Stake Blockchains.
Yuya MikiKazuyuki ShudoPublished in: Blockchain (2022)
Keyphrases
- interprocess communication
- lightweight
- distributed systems
- distributed environment
- cooperative
- multi agent
- multi party
- wide area network
- mobile agents
- computer networks
- formal proof
- remote server
- group communication
- tcp ip
- communication protocols
- real time
- load balancing
- cryptographic protocols
- security protocols
- formal analysis
- agent technology
- distributed database systems
- embedded systems