TonProof constructor

TonProof()