今... 2枚のコインがあります $BTW

$HEMI 長期のレーダーに載せておきます。

とにかくみんな ☺️

誰が何を入札したのか誰にも分からないまま、リーダーがどう選ばれるのかを実際に理解したかったので、ブラインド入札(blind bid)セクションの証明についてしばらく調べていました。

各入札は8つのフィールドの束で、マークルツリーにコミットされます。ステーク額へのコミットメント、そして a.

ハッシュ化された秘密、その秘密の暗号化された版、ステルスアドレス、適格性の高さ(eligibility heights)です。これらのどれも、それぞれ単体ではあなたが誰か、あるいはどれだけステークしているのかを明かしません。

スコア自体は、あなたの秘密と入札、ラウンド、ステップを一緒にハッシュすることで算出されます。そのスコアが(ダイナミックに再計算される)しきい値を超えたら、その時点で...

ネットワーク上では、そのステップのリーダーはあなたになります。あなたが適格だと知るために、他の誰もあなたのステークを見る必要はありません。

そのスコアが正当であることを他の全員に証明するには、1つのゼロ知識証明(zero knowledge proof)の中に13個もの別々の条件が必要で、1つの証明でそれを正しく運ぶにはかなり広い(ミスが起きやすい)面があります。

まだ、同じラウンドか同じステップで2つの入札がしきい値を超えた場合にどうなるのかは整理できていません。その部分はまだ完全には理解できていません。
同点があるときは、削減(reduction)フェーズで処理されますか?それとももっと前の段階で解決されますか??

#dusk @Dusk $DUSK