Follow-up from "Proto,SCORU: Fix encoding for wappred proofs"

The following discussion from !6009 (merged) should be addressed:

• @iguerNL started a discussion: (+6 comments)

  NIT: ProtocolImplementation should probably be Protocol_implementation. Does this need a follow-up issue?