Login / Signup

Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake [Extended Abstract]y.

Iddo BentovCharles LeeAlex MizrahiMeni Rosenfeld
Published in: SIGMETRICS Perform. Evaluation Rev. (2014)
Keyphrases
  • extended abstract
  • theorem proving
  • theorem prover
  • databases
  • automated theorem proving
  • linear logic
  • search engine
  • multimedia
  • complete axiomatization
  • geometry theorem proving