スマートコントラクトが安全であることを証明することは不可能です