Update protocol-proposal.md