Update protocol-design.md