Updates the protocol to fix an issue where the server could falsify commitments.
Merge! Just PDF stuff.