Discuss the Praos specification with the researchers #23
Description
We shall discuss with the researchers whether our Praos specification is feasible. Concretely, we shall ask them about the following things:
- Is this a correct specification of Praos?
- Are our design decisions documented as per Document the design decisions of the Praos specification #22 appropriate?