DAL: bound dal proof's encoding -- Follow-up from "DAL: serialize proofs"

Issue created after : !6643 (comment 1144153265).

Follows up issue #3998 (closed)