Sicherheit durch Mathematik. Garantien durch Dezentralisierung.