Login / Signup

Proof-of-Useful-Randomness: Mitigating the Energy Waste in Blockchain Proof-of-Work.

Efe Ulas Akay SeyitogluAttila Altay YavuzThang Hoang
Published in: SECRYPT (2021)
Keyphrases
  • theorem prover
  • theorem proving
  • metadata
  • expert systems
  • artificial intelligence
  • energy consumption
  • linear logic
  • natural deduction
  • proof search
  • geometry theorem proving