RandChain: Decentralised Randomness Beacon from Sequential Proof-of-Work.

Runchao Han Jiangshan Yu Haoyu Lin

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

Keyphrases

multi agent systems
wireless sensor networks
conflict resolution
sequential search
theorem prover
discrete event systems
petri net
geometry theorem proving
random number
autonomous agents
theorem proving
localization algorithm
max sum algorithm
database
search algorithm
case study
search engine
databases
data sets