Expand description

Shielded transfer serialization formats for finalized data.

§Correctness

crate::constants::state_database_format_version_in_code() must be incremented each time the database format (column, serialization, etc) changes.