トランザクション設計は、見た目以上に重要です。Duskでは、インプット、アウトプット、署名、メタデータが明示的に構造化されているため、実行内容の確認や検証が容易になります。しかし、構造が明確になるほど、維持すべき状態も増えます。つまり、明確さと複雑さのトレードオフです。