Question about 'functionalities' in Ouroboros paper

I’ve been reading the Ouroboros paper ( in hopes of building a better understanding of the security guarantees of the algorithm.

Something I can’t quite wrap my head around: what exactly does a ‘functionality’ as described by the paper represent in the real world? As far as I understand it, it’s a turing machine that represents the ‘running’ of the protocol, but this doesn’t seem quite right.

This is perhaps not a Beginners question, you might get more responses in Developers.


moved to developers