Mixinカーネル
Mixinネットワークの核心はMixinカーネルと呼ばれる。Mixinカーネルは有限のカネールノードで未使用トランザクションの出力を処理するために修档、非同時の複雑な自己修復機能によって管理される非周期グラフである。
ゴースト出力
MixinカーネルはビットコインのUTXO(未使用トランザクションの出力)モデルを用いてトランザクションを処理する讥邻。更に院峡、アドレス再利用問題がないので、CryptoNote[0]という一回限りの鍵の導出アルゴリズムを用いてプライバシーを改善する发魄。一回限りの鍵をゴーストアドレス(幽霊アドレス)と呼ばれており俩垃、それと連攜してる出力をゴースト出力(幽霊出力)と呼ばれている。
このアルゴリズムでは苹粟、一つのユーザー秘密鍵が2つの異なる楕円曲線鍵のペア(a,b)になっており跃闹、公開鍵は(a,b)から得た2つの公開楕円曲線鍵のペアでできている。
アリスがボッブに支払う場合掷贾、アリスはまずボッブの公開鍵(A,B)を取得し荣茫、更に场靴、少なくとも3つの亂數(shù)を含むゴーストアドレスを獲得する港准。ボッブのために異なるゴーストアウトプットが3つ作られていることが保証される咧欣。
3つのゴースト出力閾値はより良くプライバシーを守る事できるが、出力の亂數(shù)の數(shù)が要求される衩椒。
ゴーストアドレスが引き出された後哮兰、アリスはCryptoNoteアルゴリズムを用いて取引に署名する。
注意すべきことは阁将、プライバシー保護のため右遭、アリスが取引入力としてランダムUTXOを使うのは強制的である。取引が署名された後吹榴、アリスはそれをMixinカーネルに渡す滚婉。
取引をゴーストアドレスの特徴によって認識できるのはボッブだけである。ボッブは彼の追跡鍵(a,B)を用いて出力情報を解読できる婿斥。
ある取引の資産情報をすべて大衆(zhòng)に公開し哨鸭、アドレスを透明化にしたい場合像鸡、取引の追跡鍵(a,B)を公開すると、誰でも取引を認識できるようになる只估。一方、秘密鍵bがなければ誰でも取引を使うことができない锌云。
非同期ビザンチン?フォールト?トレラント性(BFT)グラフ
Minxinのカーネルノードは一つ當たり10,000のXINを確保することができる桑涎。500,000XINが巡回して供給しているから、存在するカーネルノードは50を超えることがない攻冷。重みが極端に集中することを防ぐため、カーネルは7つのカーネルノードを揃わないとは起動できないようになっている里烦。
カーネルノードは離れた網(wǎng)狀トポロジーを構(gòu)成し禁谦、取引した記録の検証、保管を行う别厘。ブロックチェーンと違い拥诡、Mixinカーネルではブロックがなく、取引は直ちにできるだけ急速に送信される冗懦。
典型的なMixinカーネルの取引は次のような手順に従う仇祭。
アリスの取引はMixinカーネルに送信され、b個の無作為に選ばれたノード(グループA)に受信される没讲。
ノードは全て同じ取引の検証を行う礁苗。
1) 輸入は消耗されない。
2) 輸入量と輸出量は有効な範囲に収まる嘁信。
3) 輸入の全ての署名を確認する疏叨。
4) 輸入量の合計は輸出量の合計と等しい。
3. ノードは有効な取引でカーネルのスナップショットを作り卦溢、スナップショットをベースユニットとしてカーネルに保存し、DAG(閉路のない有効グラフ)の構(gòu)成に使う既绕。一つのスナップショットは以下のものからなる:
1) データ本體の取引
2) ノードの元のスナップショットのハッシュ値
3) ノードの署名
4.署名されたスナップショットはできるだけ早く他のb個の無作為に選ばれたノードに送信される涮坐。ノードがスナップショットを受信して「2.」で書かれた手順で検証したのち袱讹、新しいスナップショットは速やかに作成される。新しいスナップショットは受信したスナップショットと同じデータ本體を持つ捷雕。參照されたスナップショットのハッシュ値は救巷、このノードの元のスナップショットのハッシュ値と新しいスナップショットのハッシュ値のペアである。
5.手順「4.」はノードが「取引は2/3K以上のノードに承認または拒絶された」と確認できるまで繰り返される浦译。スナップショットはどれもグループAまで遡る親スナップショットを參照するため精盅、新しいノードは元のスナップショットがスナップショットを意識していることを簡単に察知する。したがって叹俏、このような手続きで無駄な仕事を避けることができる。
6.上述の手続きにおいて屡谐、取引は平均K/b^2ラウンド以內(nèi)に承認または拒絶される蝌数。カーネルの典型的なサイズを考えると、遅延はほとんど一秒以內(nèi)に抑えられ亭珍、數(shù)秒以內(nèi)になることが保証される枝哄。
非同期BFTの一致により挠锥、二重支払いは不可能である。UTXOの特性により蓖租、スナップショットの順番は獨立であり、DAG內(nèi)の高度な同時実行は保証される齐婴。