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 beProtocol_implementation
. Does this need a follow-up issue?