DEX
Pactol
オンチェーンで決済する無期限先物取引所。川にちなむ名である。
存在理由
どの取引所も、いまも資金を保有していると信じるよう求める。Pactol は、そう信じる必要がないように作られている。5分ごとにソルベンシーを証明し、証明が止まれば、誰の許可も得ずに出金できる。
5 min
ソルベンシー証明の公開間隔
MIT
オープンソースの検証ツール。当社抜きで確認できる
0
保有する実資金。テストネットのみ
仕組み
ハイブリッド設計である。速度のためにオフチェーンの決定論的マッチングエンジンを置き、カストディと決済はオンチェーンに置くことで、会場が静かに債務超過へ陥ることを防ぐ。エンジンはイベントソースで再実行可能であり、その執行は信用に委ねるのではなく独立に監査できる。
5分ごとにソルベンシーの証明を公開する。利用者に対する債務がボールトの実残高を超えないという暗号学的なコミットメントであり、当社に尋ねるのではなく、オープンソースのツールを持つ誰もが検証できる。オペレーターがコミットを止めた場合は、脱出用の経路により、利用者は最後の正直な状態に対して直接出金できる。
01
マッチング、証拠金、ファンディング、清算は、決定論的なエンジンでオフチェーンに動く。取引に足る速さで、かつ再実行可能であるため、その執行は信用ではなく監査の対象となる。
02
カストディと決済はオンチェーンにある。5分ごとに会場は負っている債務の暗号学的な合計をコミットし、コントラクトはボールトの実残高を超えるコミットメントを拒否する。
03
コミットが止まれば脱出用の経路が開き、利用者は最後の正直な状態に対して直接出金する。オペレーターは沈黙によって資金を閉じ込めることができない。
現時点で真であること
- 決定論的なマッチング、証拠金、ファンディング、清算のエンジンを構築済み
- カストディおよびソルベンシー証明のコントラクトを公開テストネットにデプロイ済み
- オープンソースの検証ツール。当社を信用せずにソルベンシーを確認できる
そうでないこと
- テストネットのみ。ローンチしておらず、実資金は一切保有していない
- 外部のセキュリティ監査はなく、MIDS の統合もまだない