This adds some brief notes on trust assumptions for contact tracing and adds notes on ideal functionality. The notes on trust assumptions have some conceptual overlap with the description of the ideal functionality. However, this version is still missing two blocks of text from the Google Doc (in #8) which already covers some of those topics, in maybe a better way, so I didn't refactor and merge them yet.
I also changed the description of the strawman proposal so that it matches with the description of the ideal functionality. I think that there is a nice route to get to the current CEN key schedule from the observation about the properties that the strawman proposal fails to meet.
This adds some brief notes on trust assumptions for contact tracing and adds notes on ideal functionality. The notes on trust assumptions have some conceptual overlap with the description of the ideal functionality. However, this version is still missing two blocks of text from the Google Doc (in #8) which already covers some of those topics, in maybe a better way, so I didn't refactor and merge them yet.
I also changed the description of the strawman proposal so that it matches with the description of the ideal functionality. I think that there is a nice route to get to the current CEN key schedule from the observation about the properties that the strawman proposal fails to meet.
Closes #5 Closes #6