Proof: polymorphic serialization
Proof::ToString()
fix ProofOfWork