TLS 1.3の特徴として、セキュリティ強度が向上した理由はどれか。

ブロックチェーンのスマートコントラクト監査において、リエントラシー（再入）攻撃などの脆弱性を検出するために有効な手法はどれか。