著 | バナッハ

時間 | 2021.01.27

制作 | NEST ファン (nestfans.com) に著者の許可を得て掲載

制作 | NEST ファン (nestfans.com) に著者の許可を得て掲載なぜトリガー演算子があるのでしょうか?コントラクトの内部ロジックが特定の条件を満たした場合、コントラクトの状態を変更する必要がありますが、このときコントラクトは自動的に実装されず、外部操作によってトリガーされる必要があります。これは、サトシ・ナカモト・アーキテクチャに基づくスマート・コントラクトの性質によって決まります。あらゆるオペレーションは世界的なオークションです。トリガーを自動化しようとする多くのデザインは、このゲームの問題を真剣に考慮していません。。

ゲームの競合: 攻撃/アービトラージ、より本質的には、オンチェーンの動作には支配的な戦略が存在します。トリガーオペレーターの性質は何ですか?本質は、GAS 消費 + 情報伝達コストと状態変化の利点に基づく交換ですが、この交換は (規模の点で) 非線形です。

。その非線形特性により、ある次元で自己強化を形成して価値を蓄積できるのでしょうか？これには、トリガー演算子の慎重な分析が含まれます。一般に、トリガー演算子には次の 3 つのタイプがあります。権限が含まれているかどうか、つまりトリガーされたオブジェクトが制限されているかどうか、借り手と貸し手の両方のように、返済のトリガーは借り手である必要がありますが、清算のトリガーは誰でも可能です。2 つ目は、資産を持ち込むかどうかを含め、トリガーされたときに契約に情報を持ち込むかどうかです。この場合、情報を持たないトリガーの方がガス料金が高く、追加費用は発生しないため、トリガーのコストは変更される可能性があります (契約によっては、追加の特典がある場合があります)。しかし、情報を運ぶには一般に次のものが含まれます。追加のコスト、特に資産を運ぶコスト、少なくとも資本リスクのコストも一種です。最後に、トリガーの有効性が時間に関連しているかどうか

相関が大きければ大きいほど、トリガー戦略への影響が大きくなるため、時間相関もトリガーオペレーターが考慮する必要がある重要な変数です。DeFi 設計では、トリガー オペレーターはゲームのサードパーティの動作として定義されます。つまり、トランザクションの直接の 2 者に基づいてトリガーされるのではなく、サードパーティによって完了され、主に清算に使用されます。 、インセンティブ設計の問題が生じます。さまざまなシナリオでは、さまざまなインセンティブ、特に情報コストと時間効果を追加するかどうかが設計され、これが多くのトリガー オペレーターのさまざまな特性を構成します。完全に情報コストに基づくトリガーは、最終的な受益者がマイナーである場合です。これはオークション動作であり、時間効果のトリガーは次のように設計できます。オランダのオークション

構造なので、値の大部分は実際のトリガーによって所有されます。ただし、誰が価値を所有するかによって 2 つの違いがもたらされることに注意する必要があります。1 つ目は時間速度の違い、2 つ目は参加意欲の違いであり、これはさまざまな DeFi 清算モデルで見ることができます。トリガーオペレーターには清算に加えて、自動ヘッジという非常に重要な機能もあります。CoFiX 2.0 、現時点では、この業界は深く実践されていません。つまり、トリガー オペレーターの核となる価値は深く調査されていません。これは次のとおりです。バージョンプロトコル。また、情報を作成したり積極的に情報を提供したりするトリガー演算子もアプリケーションの一種であり、例えばNESTシステムでは引用符も複雑なトリガー演算子とみなすことができます。今回の清算に限らず、皆さんももっと活用法を開発できると思います。

時間の経過とともに、トリガー演算子は、その非線形性と広範性により、チェーン上で価値を取得する最初の演算子になります (住宅ローン、取引などはすべて線形演算子であり、価値を蓄積できません)。GAMEさらに重要な問題は、トリガー オペレーターが独立してトリガーを構成できるかどうかです。?各トリガーオペレーターは特定の「シナリオ」に従うため、統一されたインセンティブシステムの下でさまざまなシナリオを完了することは困難です。これは、基礎となるコマンドの標準化であるため、各コマンドが消費するガスの量を指定するイーサリアムとは異なります。コントラクト構造を選択します。独立したトリガー オペレーター GAME が関与する場合、入力値と出力値の一貫性を確保するために、同じ基準に従ってトリガー モデルを設計するために異なるトリガー シナリオが必要になるのと同じです。これは、すべてのコントラクトがない限り実行が困難です。は同じ基準に基づいて策定されていますが、これは重要な研究の方向性でもあります。トリガーはスマート コントラクト開発の開始点であるべきですか?

。ここで次のことについて話し合うことができます。C=g+xオペレーターをトリガーするためのコストには 3 種類あり、1 つは GAS 料金 g、もう 1 つは正味情報コスト x です。各操作の合計コストは次のとおりです。Y0=F(V)、GAME に簡略化された後、その収入は統一トークンで表され、Y として記録されます。シーンには時間要素が含まれる可能性があるため、時間係数 t とシーン係数 s を割り当てる必要があることに注意してください。 、システム全体が正常に動作する必要があり、誰かが値 V を提供する必要があります。つまり、基本報酬 Y0 は V に関連している必要があります。C=g+x，Y=stY0=st F(V)(特に、ここにはランダムな要素はなく、すべて決定的な変数です。) すべてのシナリオが対称的で裁定取引がないことが必要な場合、F は一貫性があり線形である必要があります。その場合、この GAME は次のように表すことができます。特定の操作 C は Y を取得します。この式から、シナリオ間のアービトラージが必要ない場合、s はすべてのシナリオに対して対称でなければならないことがわかります。そうでない場合、g の競合に現れ、t 自体は線形です。この場合、Y の出力です。と C はほぼ線形関係を確立しており、自己強化特性を形成する可能性は低く、完全にオープンな契約では 100% コピーできます。

上記の分析から、トリガーオペレーターが独立した GAME になるためには、ランダムオペレーターを導入する必要があります。ただし、大規模なゲームのリンクとして、トリガー オペレーターはいくつかの自己強化特性を備えている場合があります。たとえば、ヘッジや見積りに使用されますが、価値を提供する他の参加者も存在するため、オペレーターのインセンティブは完全に線形ではありません。

。 NEST を例にとると、クオートのトリガーにはコストが必要ですが、NEST の値は呼び出し元によって決定され、呼び出し元の値は NEST のマイニングと線形関係を確立しません。これは、NEST の自己強化特性につながります。 NESTシステム。同様に、CoFiX のヘッジインセンティブは、ヘッジ取引によって完全に決定されるのではなく、通常の取引の金額によって共同で決定されるため、この部分はヘッジインセンティブと線形関係を持ちません。戻ると、上の式では、s が対称的ではなく、より高い s がランダムに現れる、または F が線形ではないなど、いくつかの修正を行うこともできます。これは、大量のトリガーを刺激することと同等であり、このタイプの設計はいくつかのあいまいな非線形構造を導入することが可能であり、その結果、再現できない特別なバランスが形成されることがあります。このデザインは複数のシナリオ間のゲームに似ています、またはシーン ギャンブルは、シーンを提供する際のトリガーの役割を十分に反映しておらず、このタイプの均衡がどのような独自の特性を生み出すのかもわかりません。また、線形構造がコピーされることによる欠点を解消するためにランダムな属性を追加できることにも言及していますが、ランダム性が追加されると、すべての線形演算子が次のようなものになる可能性があります。宝くじモデル

は、オペレータの内部参加者のトランザクション ゲームのみをサポートし、外生的な価値を持たないため、望ましい方向ではありません。概要: トリガー オペレーターの非線形構造を大規模な契約と組み合わせて、大きな経済的価値を持つ特定の自己強化型非協力ゲームを形成することはできますが、独立して GAME の設計を完了して価値を蓄積することはできません。