Proof-of-Work Sidechains.

Aggelos Kiayias Dionysis Zindros

Published in: Financial Cryptography Workshops (2019)

Keyphrases

theorem proving
management system
theorem prover
proof planning
data mining
image sequences
multi agent
mathematical proofs