Login / Signup

Proof-of-Work-Based Consensus in Expected-Constant Time.

Juan A. GarayAggelos KiayiasYu Shen
Published in: EUROCRYPT (3) (2024)
Keyphrases
  • theorem prover
  • theorem proving
  • data sets
  • information systems
  • case study
  • automated theorem proving