Proof-of-Work-based Consensus in Expected-Constant Time.

Juan A. Garay Aggelos Kiayias Yu Shen

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

Keyphrases

theorem prover
directed networks
artificial intelligence
case study
data sets
data structure
preprocessing
relational databases
special case
complete axiomatization