Question about 'functionalities' in Ouroboros paper

security

#1

I’ve been reading the Ouroboros paper (https://eprint.iacr.org/2016/889.pdf) 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.


#2

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


#3

moved to developers