中央清算機関は何のためにあるのか
それがなければ、エクスポージャーは相対です。取引する相手ひとりひとりが、下し続けなければならない与信判断であり、その数は増えていきます。n 人の参加者は最大で n(n-1)/2 本の関係を生み、そのそれぞれに独自の条件、独自の担保、そして「あなたにいくら値するか」についての独自の見解があります。デフォルトは起きた場所にとどまりません。あなたに支払えない相手は、同時に他の四者にも支払えていないからです。
CCP は、債務引受（ノベーション）という法的な手続きによって、この網をハブに置き換えます。買い手と売り手のあいだの契約は消滅し、二本の契約に置き換わります。買い手はクリアリングハウスと向き合い、クリアリングハウスは売り手と向き合います。こうして、すべての売り手に対する買い手であり、すべての買い手に対する売り手になります。
相対：エクスポージャーは n(n-1)/2 本
債務引受：エクスポージャーは n 本
参加者 A
参加者 C
参加者 B
参加者 D
参加者 A
参加者 C
参加者 B
参加者 D
クリアリングハウス
相手ごとに別々の与信判断が必要で、デフォルトは起きた場所にとどまりません。
ハブはすべての売り手に対する買い手であり、すべての買い手に対する売り手です。評価する相手はひとつ、証拠金ルールはひとつ、損失を吸収する順序もひとつ。
機関であることの代償
上の四つの利点は、どれも制約を伴って届きます。その制約はすべて、CCP が仕組みではなく会社であることから来ています。
暗号資産がこれまでに出した二つの答えは、どちらもより良くはならず、より悪くなっています。中央集権型取引所とは、市場そのものを運営し担保も保管する CCP であり、監督は存在せず、保有していると主張する証拠金を検証する手段もありません。初期のオンチェーンの場は逆の方向に振れ、クリアリングハウスをまったく持ちませんでした。相対のプール、外部の keeper、そして誰かがトランザクションを送るのが割に合うと判断したときにだけ起きる強制決済です。
同じ機能を、機関なしで
Intention は CCP の職務一覧をそのまま引き取り、カーネル実行のコンポーネントとして実装しています。
あの表の一行は、ほかの行より重いものを担っています。伝統的な市場では、中央清算機関と、誰が何を保有しているかの記録を持つ機関——保管振替機関——は、意図的に別の法人です。対手方リスクを負う当事者が、同時に誰が何を所有しているかの帳簿の管理者でもある状態は望ましくありません。私的な帳簿と単一の機関という組み合わせには、それを照らし合わせるものが何もないからです。分離そのものが照合の役割を果たしています。
クリアリングハウスはその両方です。すべてのポジションの対手方であり、同時にその記録の唯一の書き手でもあります。この統合がここで安全なのは、分離が存在した理由そのものによります。帳簿が私的でないからです。残高、ポジション、保険基金の移動はすべて公開された状態であり、それを引き起こした取引に帰属します。ウォーターフォールは閾値で走り、誰にも裁量はありません。そして連鎖の全体がブロックのひとつの単位としてコミットされるか中断されます。機関の分離が買っていたものを、ここでは帳簿が読めることが買っています。
以上のどれも、プロトコルがあらゆる面で CCP より安全だという主張ではありません。CCP には資本があり、監督者がおり、一世紀分のデフォルト処理の実務が背後にあります。CCP が持たないのは、デフォルトが起きているあいだに誰でも読める台帳と、人が発動を決めなくても走るウォーターフォールです。この設計が買っているのはその二つで、買い方は、クリアリングハウスを取引の当事者ではなくブロックの関数にすることです。
書き換えるのはひとつだけ
プロトコルの内部では、クリアリングハウスが、誰かの残高、ポジション、証拠金、建玉が変わる唯一の経路です。約定の決済はここを通ります。強制決済、自動デレバレッジ、資金調達の決済、証拠金の拘束も同じです。 この排他性が設計そのものです。状態を保持するモジュール（アカウント、ポジション、板）はデータを保存し、それを変更する操作を公開しますが、自分から何かを開始することはありません。台帳が動く場所はひとつです。つまり、監査する場所がひとつ、計測を仕込む場所がひとつ、呼び出し側の全員が忘れずにいてくれることを祈らずに不変条件を強制できる場所がひとつ、ということです。計算式と効果の分離
いくらかを決めるルールは、純粋なステートレス関数として実装されています。必要証拠金、強制決済価格、デレバレッジ対象の選定、手数料の計算、建玉上限、レバレッジティアです。値を受け取って値を返します。台帳の状態を読まず、何も書き換えません。 クリアリングハウスがそれらを呼び出し、結果を適用します。リスク計算式：純粋関数、書き込みなし
クリアリングハウス：唯一の変更主体
証拠金
約定の決済
強制決済
証拠金の拘束
デレバレッジ対象の選定
強制決済の執行
手数料
デレバレッジ
建玉上限
資金調達の決済
アカウント · ポジション · 建玉の状態書き込みは一箇所、リプレイは分岐しない
値
書き込み
証拠金と拘束
アカウントの余力は、残高だけでは決まりません。未約定注文は、それが建てうるポジションに対して余力を拘束します。そのため、同じ担保資産を二つの注文に約束しておいて、両方が約定してはじめて矛盾に気づく、ということは起こりません。 拘束は、注文が出され、変更され、取り消され、約定するのに合わせてクリアリングハウスが維持します。未約定注文の下でポジションが変われば、拘束は計算し直されます。だからこそ、その後に縮小したポジションに対して板に残っているリデュースオンリー注文は、古いまま放置されず再評価されます。 証拠金はティア制です。必要額はガバナンスが定めた範囲の中でポジションサイズに応じて増えるため、解消が難しくなるほど大きいポジションは、それに比例して大きい必要額を負います。取引側から見た説明はマージンモードとレバレッジを参照してください。デフォルト・ウォーターフォール
これは上の節で説明した CCP の仕組みそのもので、委員会だけを取り除いたものです。カーネルはマッチングの前にリスクステージを固定の順序で走らせます。裁量的なフローを受け入れる前に、強制的なフローを解消するためです。 アカウントが自分の損失を賄えない場合、その不足額は決まった順序の吸収層を落ちていきます。マッチング前、固定の順序で走るリスクステージ
1 · ヴォールトのデレバレッジ
2 · 強制決済
3 · 自動デレバレッジ
自分の損失を賄えないアカウント
板に対して決済破産価格を上限とする
保険基金プロトコル状態。強制決済のペナルティで積み立て、マルチシグではない
反対ポジションの自動デレバレッジ誰でも再計算できる決定的なスコアで選定
解消
不足額が残る
不足額が残る
資金調達率
資金調達率は継続的にサンプリングされ、決済時点のポジションに対してスケジュールどおりに決済されます。値はマーク価格のインデックス価格に対するプレミアムから導出され、プロトコルが定める上下限で丸め込まれます。ブロック実行の内部でクリアリングハウスのステージとして走るため、資金調達の支払いは、他の状態変化と同じ帰属を持つプロトコル操作です。外部プロセスによる定期的な一括処理ではありません。 料率、間隔、プレミアムの計算方法は資金調達率を参照してください。なぜこれがプロトコルの中にあるのか
もう一つの選択肢、つまりマッチングエンジンに反応するコントラクト群としてクリアリングを組む方法には、隙が生まれます。約定と証拠金チェックの間には、アカウントが証拠金不足でありながら、それを何かが観測できる状態が存在します。トリガーとkeeperのトランザクションの間には、ポジションが強制決済されているべきなのにされていない状態が存在します。 約定が証拠金チェックを引き起こし、それが強制決済を発動し、それが保険基金を取り崩し、そこからデレバレッジが起きることもあり、それがさらなる証拠金チェックを生みます。ここではこの連鎖の全体が、ブロックのひとつの単位としてコミットされるか、中断されるかのどちらかです。違反が観測できるのに、それへの対応がまだ動いていない、という中間状態は存在しません。 これは CCP が約束しながら果たせない性質です。CCP の保証はルールブックの中にあり、その台帳は一日の終わりに閉じるからです。ここでは、保証とは実行そのものです。次に読む
マッチング
クリアリングハウスが決済する約定は、ここから来ます。
IntentionKernel
強制的なフローを裁量的なフローより先に置く、ステージの順序です。
強制決済
しきい値、強制決済のウォーターフォール、トレーダーから何が見えるのかです。
資金調達率
料率、間隔、プレミアムの計算です。