Adopt checkpoint format?

Placeholder, to be considered after potential changes to witness communication patterns.