智能合约的可验证离线计算