トラストレスなエージェントと検証済みの実行@AutomataNetwork @deligongを導入