ページを読んでいるときに確定的ファイナリティが意味すること

「承認は何回待てばよいか」への短い答えは待つ必要はないです。この問いはこのチェーンには当てはまらず、それに答えるはずのカウンターは、このサイトのすべてのページから意図的に取り除かれています。

確率的か、確定的か

プルーフ・オブ・ワーク、あるいは最長チェーン型のプルーフ・オブ・ステークのネットワークでは、ブロックはおそらく恒久的であるにすぎません。競合するチェーンが追い越しうるため、いま見ているブロックが再編成で消える可能性があります。上にブロックが積み上がるほど確からしさが増す — 承認数が測っているのはそれです。状態ではなく、決して 1 に届かない確率です。取引所が待たせるのはこのためです。

Arc は BFT 合意である Malachite を使います。プロポーザーがブロックを提案し、バリデータが投票し、投票権の 3 分の 2 を超えて precommit された時点でそのブロックはコミットされます。コミットされたとは確定したという意味であり、「高い確率で確定」ではありません。負ける相手となる競合チェーンが存在しないからです。矛盾するブロックが生じるにはバリデータ集合の 3 分の 1 を超える側が相反する 2 つのものに署名する必要があり、それはハードウェアで勝てる競争ではなく、検出可能で責任を特定できるプロトコル違反です。

実際にはファイナリティは 1 秒以内、ブロックが見えるようになるのと同じ瞬間に到達します。

これがこのサイトで変えること

• 承認数のカウンターがありません。トランザクションは成功か失敗を、そのブロックは確定済みを示します。増えていく数字はありません。増えていく数字は、あなたが向かっている安全のしきい値があることを意味してしまいますが、そんなものはないからです。
• 再編成も、オーファンブロックも、フォークしたブロックもありません。アンクルの一覧も「フォークしたブロック」のページもありません。そうした産物が生まれ得ないからです。
• 高さをキーにしたページはすべて恒久的です。ブロックページやトランザクションページは一度描画されたら決して変わらないため、Arcscan は再検証するのではなく永久にキャッシュします。このサイトが速いのはそれが理由で、最適化というよりチェーンの性質です。
• ここで読んだことを読まなかったことにはできません。このサイトに見える送金は、恒久的に起きたことです。誰も — 私たちも、バリデータも、発行体も — それを取り消せません。

正直な但し書き

チェーンのファイナリティと、チェーンについての私たちの視界は同じではありません。Arcscan はノードから読み、ノードは遅れることがあり、一部のページはさらに遅れうるインデックスから作られます。したがって最近のトランザクションが Arc では確定していながら、ここでは一瞬見えないということが起こり得ます。

だからこのエクスプローラーは、区別できるあらゆる場所で両者を分けています。インデックスから提供されるページはその旨とカバレッジを明記し、ネットワークステータスのページは当方のヘッド高、その古さ、インデックスがどれだけ遅れているかを公開します。「まだ見つかりません。当方のノードはブロック N です」は正直な答えであり、「保留中」はそうではありません。

Arcscan が止まる場合がひとつあります。Arc は再編成できないため、受け取ったブロックヘッダーが直前のものとつながらないなら、それは単に遅れているのではなく深刻に何かが壊れているということです。その状態は計数され、ステータスページで公開され、誤りかもしれないチェーン履歴を提供し続けさせる代わりに、このサービスをローテーションから外します。