Text this: Axiomatization of Blockchain Theory.