学ぶ · ストップ 4/6

全体のつながり

スタックの上から下まで、ひとつの物語で: あなたの鍵を握った泥棒からさえコインを守るボールトです。前のストップで出会った各レイヤーが、ここでひとつずつ仕事をします。

  1. 1
    あなた

    強制する価値のあるルールから始める

    「このコインは24時間の遅延の後にのみ、しかも自分のアドレスにのみ引き出せる — 今夜誰が鍵を盗もうとも。」この一文がボールトです。

  2. 2
    Silverscript

    ルールをコードとして書く

    許可される状態変化を記述する数十行: 旧状態 + あなたのリクエスト + トランザクションの事実 → 許可される新しい状態。それ以外は一切許されません。

  3. 3
    Kaspa Script

    コンパイラがロックを加工する

    Silverscriptがあなたのルールを、Kaspa Script — チェーンが理解する生のコベナント — にコンパイルします。この層を手作業で配線することはなく、コンパイラが行います。

  4. 4
    Kaspaコンセンサス

    入金 — ルールが物理法則になる

    コインをコベナントに送ります。この瞬間から、ルールは約束でも会社のポリシーでもありません: ネットワーク上のすべてのノードが、支出が試みられるたびに検証します。

  5. 5
    Kaspaコンセンサス

    泥棒が試みる — チェーンはノーと言う

    盗んだ鍵を持つ誰かが、即時引き出しをブロードキャストします。その支出は遅延ルールを破るため、コンセンサスは、投入口に合わないコインのようにトランザクションを拒否します。何も起こらなかったのと同じです。

  6. 6
    エクスプローラー

    誰でも検証できる

    コベナントとそのルール、履歴は公開されています。kascov.ioのようなエクスプローラーを見れば、どの企業も介在せず、自らを守り続けるボールトがそこに座っているのが分かります。

複数コントラクトのアプリも同じ物語に一章加わるだけです: Argentが複数のコベナントをひとつのアプリケーションとして配線し、そのうえですべてがコンパイルされます。

チェックポイント — クイズ2問

コベナントのボールトに入金した後、ルールを検証するのは誰ですか?

あなたの鍵を盗んだ泥棒にできることは…

Esc to close