スマートコントラクトリスクを定量化することは大きな解放となります。