Clear–Prove Anything About Your Solidity Smart Contracts