This repository was archived by the owner on Jan 11, 2023. It is now read-only.
This repository was archived by the owner on Jan 11, 2023. It is now read-only.
Update design doc with protocol analysis #40
Description
Currently the protocol analysis has some TODOs in the proof sections.
We should add proves but they don't need to be complete and rigorous.A sketch of a proof is enough.