From 7ac05fe01944c2585650a02bc7cc1d988132ce9a Mon Sep 17 00:00:00 2001 From: tnasu Date: Wed, 9 Nov 2022 18:41:44 +0900 Subject: [PATCH] (temp) --- docs/ja/02-consensus.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/ja/02-consensus.md b/docs/ja/02-consensus.md index 1c26178b0..aa99fb0c0 100644 --- a/docs/ja/02-consensus.md +++ b/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$ が追加されています。