Efficient Algorithms for Broadcast and Consensus Based on Proofs of Work.

Lisa Eckey Sebastian Faust Julian Loss

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

Keyphrases

theorem prover
theorem proving
data broadcasting
formal proof
formal proofs
data dissemination
digital television
mathematical proofs
image segmentation
natural deduction
voting schemes