Proof-of-Stake Sidechains.

Peter Gazi Aggelos Kiayias Dionysis Zindros

Published in: IEEE Symposium on Security and Privacy (2019)

Keyphrases

theorem prover
mathematical proofs
probabilistic model
theorem proving
social networks
computer vision
multi agent
relational databases
evolutionary algorithm
proof planning