Ouroboros: a provably secure proof-of-stake blockchain protocol
scientific article; zbMATH DE number 6802618