Proof-of-Work Sidechains.

Aggelos Kiayias Dionysis Zindros

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

Keyphrases

theorem proving
case study
databases
artificial intelligence
feature extraction
computer science
preprocessing
lower bound
mobile robot
linear logic
natural deduction
logical rules
geometry theorem proving