Define grammars for each of our intermediate languages

[kwannoel]

In GitLab by @fahree on Feb 25, 2020, 06:56

I posted on Discord a picture of intermediate languages and passes before end-point projection (EPP). https://discordapp.com/channels/655606984514469899/655606984967585832/681632306217484310

We must better define those languages and passes (though our understanding may change before we are complete).

In particular one pass will consist in dividing the DApp into transaction blocks involving a single participant + consensus. Some reordering may or may not be done while dividing the work (e.g. a participant's computations that are not published yet can be moved down to the next transaction by the participant, but for symmetry it might be better to specify the code immediately). But all participants, the contract and the logical model must agree on how exactly the code was transformed into transactions, before any EPP. This might have to be done after transformation to ANF, too, to serialize computations that might otherwise have been done in any order (e.g. x = (@A y) + (@B z) or something.

[kwannoel]

In GitLab by @fahree on Nov 7, 2020, 02:49

assigned to @AlexKnauth and unassigned @fahree

[kwannoel]

In GitLab by @plotnick on Jul 12, 2021, 01:36

added 1 design