Context

That's the continuation of %DAL: baker incentives (part 1: rewards).

This part basically finishes the integration in the protocol.

Next step is implementing the accuser, see %DAL: baker incentives (part 4: accuser and testing)

Work breakdown

Environment

• (days) new environment (done elsewhere)
• (hours) activate environment (!15659 (merged))
• (hours) expose shard_proof and verify_shard (!15660 (merged))
• (hours) add Bitset module (!15666 (merged))
• (hours) (add and) expose Trap.share_is_trap (!15959 (merged), !16031 (merged))

Protocol

• (hours) new type shard_with_proof (!15677 (merged))
• (days) new operation entrapment_evidence (!15677 (merged))
• (hours) prepare for validation (!15832 (merged))
• (days) validate (!15836 (merged))
• (hours) introduce validation errors
• (days) slash when needed
• (days/weeks) update tests!

Tests:

• test share_is_trap