(temp)

docs/ja/02-consensus.md

@@ -37,9 +37,9 @@ $t$ は式 `2.` を使って証明 $pi$ から生成することができます
 
 ![VRF Expression](../static/consensus/math_expression.png)
 
-1. $\pi = {\rm vrf\_prove}(S_k, m)$
-2. $t = {\rm vrf\_proof\_to\_hash}(\pi)$
-3. ${\rm vrf\_proof\_to\_hash}(\pi) \overset{\text{?}}{=} {\rm vrf\_verify}(P_k, m, \pi)$
+1. $\pi = {\rm vrf\\_prove}(S_k, m)$
+2. $t = {\rm vrf\\_proof\\_to\\_hash}(\pi)$
+3. ${\rm vrf\\_proof\\_to\\_hash}(\pi) \overset{\text{?}}{=} {\rm vrf\\_verify}(P_k, m, \pi)$
 
 Ostracon では、あるブロックを作成した Proposer による*無作為で検証可能な乱数*によって次の Proposer と Voter を決定します。そして
 ブロックにはそのための VRF Proof フィールド $\pi$ が追加されています。