|
|
|---|
|
|
|
|---|
Screens where console printing goes.
Leo provides console print statements, which are not represented in the zero-knowledge circuits but are executed as part of the calculation of outputs from inputs: in the course of this execution, console print statements print things on the screen.
In order to formally model this aspect of Leo'd dynamic semantics, we introduce a notion of screen as a collection of printed messages. The screen is initially empty, and it is extended with messages as console print statements are executed. This represents not the totality of the screen as one might think of, but just the portion that is relevant to one run of a Leo program.