Cardano's Non-Interactive Proof-of-work