Introduction¶
We first describe on the highest level of abstraction what it means to be a correct implementation of Anoma and how it is structured. This already involves some design choices and assumptions, like identifying the participating entities, their actions, and the hardware needed.