Login / Signup

Extortion of a Staking Pool in a Proof-of-Stake Consensus Mechanism.

Alpesh BhudiaAnna CartwrightEdward J. CartwrightJulio Hernandez-CastroDarren Hurley-Smith
Published in: COINS (2022)
Keyphrases
  • computational model
  • theorem prover
  • theorem proving
  • similarity measure
  • real time
  • databases
  • data mining
  • relational databases
  • linear logic
  • mathematical proofs