Add DiffEnvelope and its deserialization method