Login / Signup

Algorithmic balancing of hashrate in a Proof-of-Work (PoW) consensus protocol.

Alexander HobbsAndrew KesslerRichard De Moliner
Published in: BRAINS (2022)
Keyphrases
  • formal proof
  • coloured petri nets
  • theorem prover
  • lightweight
  • authentication protocol
  • tcp ip
  • clustering algorithm
  • sensor networks
  • security analysis
  • cryptographic protocols
  • communication protocols
  • directed networks