val proofJson: String
the presented proof JSON format
proofJson - the presented proof JSON format
proofJson