* reorganize error using DRY principle * rename error `Format` to `Deserialization` * Rename `EncryptionError` to `DiscreteLogError` * resolve errors from rebase * resolve clippy * change `ProofInstructionError` to `ProofError`