Anonymous Lottery In The Proof-of-Stake Setting.

Foteini Baldimtsi Varun Madathil Alessandra Scafuro Linfeng Zhou

Published in: CSF (2020)

Keyphrases

peer to peer
theorem prover
search algorithm
database
information retrieval
decision trees
utility function
theorem proving
payment scheme
complete axiomatization