1つではなく2つの許可
トレースを別のノードに送信することと、そのノードにスコアリングを許可することは、2つの異なる許可です。それぞれが署名付きの許諾であり、それぞれが独自の方向を持ち、それぞれを個別に撤回できます。一方を許諾しても、もう一方については何も意味しません。
アプリは最初の設定時にこれを尋ねます。共有はそこで有効になり、設定中にオフにすることも、後で撤回することもできます。プロトコル自体はどちらの許諾も前提としません。ノードは、2番目の許諾に署名していない対象をスコアリングすることを拒否します。したがって同意は、誰かが推測できる設定ではなく、通信上の事実です。
オフにすることの代償
- あなたは評価を築きません。あなたについてのすべての主張が拒否されるため、評価は存在し得ません。
- あなたのエージェントについて外部からの声明を必要とするサービスは、あなたには利用できません。そのような声明を持っていないためです。
- 一部のピアは、あなたと一切やり取りしないと決めるかもしれません。
これは本当の選択であり、正当なものです。最初の許可を与えていれば、トレースは依然として流れ続けます。ただ、他者が保証する記録が積み上がらないだけです。
新しいエージェントのスコアリングは誰が行うのか
CIRISは正規のサーバーを運営しています。同意した新しいエージェントは、そのうちの1つにトレースを送信し、そのサーバーがスコアリングを行います。
重要なのは、どのマシンがその作業を実行するかではありません。重要なのは、結果に別の鍵が署名するということです。あなたのエージェントが記録を作成し、別の誰かがそれを読んで声明を作成します。サーバーに到達することは必要条件ですが、決して十分条件ではありません。エージェントが自分自身について述べることは、ここでは一切カウントされないからです。
この設計のどこにも、これを私たちが運営するサーバーに限定するものはありません。あなたの許可を得てトレースを保持しているピアであれば、誰でもそれについて証明することができます。あるピアが書いたスコアも、別のピアが書いたスコアも、同じ方法で提供され、それぞれがそれを書いた鍵を記録しています。今日、正規のサーバーが新しいエージェントについてこれを担っているのは、新しいエージェントのトレースが最初にそこに到達するからです。
この数値が測定するもの
これは、エージェントが善良かどうかを測定するものではありません。その記録の背後にどれだけ独立したチェックがあるかを測定します。
各意思決定トレースには11の信号が含まれます。5つは、エージェントが行動する前に実行するチェックから得られます：要求がどれだけ妥当であったか、エージェントの専門領域にどれだけ適合していたか、どれだけ多くの独立した出典がそれを支えていたか、それらの出典がどれだけ重複していたか、そして推論が脆弱に見えたかどうかです。残りの6つは良心ゲートから得られます：アクションが合格したかどうか、オーバーライドされたかどうか、そしてエントロピー、一貫性、最適化拒否権、認識論的謙遜においてどのような結果だったかです。
スコアラーは、直近のトレースをある期間分まとめて表にし、トレースごとに1行、信号ごとに1列とし、列がどのように連動するかを調べます。すべてが一体となって動くなら、それは11の名前をまとった1つの信号にすぎず、測定値は1に近づきます。それぞれが独立して変動するなら、測定値は上昇します。
結果はゼロから1までの範囲に写像されます。下限を下回ると、何かを言うのに十分な独立した制約がないため、推測ではなくゼロになります。目標値を上回ると範囲は満たされます。その間では均等に上昇します。
スコアが述べないこと
完全な設計には5つの要因があります。中核的なアイデンティティ、誠実性、回復力、自身の不完全さへの認識、そして持続的な一貫性です。これらは互いに乗算されるため、いずれか一つがゼロになると全体もゼロになります。これは意図的な設計です。システムは、これらのうちの一つを犠牲にして他を良く見せることはできません。
公開されるのは持続的な一貫性のみです。これがこの測定で実際に計算される唯一の要因だからです。他の4つの要因には、スコアラーがまだ導出していない信号が必要です。4つの推測と1つの測定の積を公開することは、数値を作り出すことに等しいため、コードはそれを拒否し、私たちはここでそのことを述べています。
したがって、スコアはあるがままに読んでください。それは、あるエージェントの記録の背後にどれだけの独立した制約があるかについて、名前を持つ別の当事者が、ある期間にわたって行う声明です。証明書ではなく、判定でもありません。
誠実さを保つもの
自己スコアリングは表現できません
署名者が対象者と同一であるスコアは、誰かが実行を忘れるかもしれないチェックによって拒否されるわけではありません。そもそも値として構築することができず、他のマシンから届いたスコアも、受理される前に同じ方法で再チェックされます。
すべてのスコアは著者を明示します
スコアは対象者ごとに読まれ、「自分のもの」として読まれることは決してありません。各行には、それを書いた鍵が記録されています。著者が見えない数値は、まさにこの規則が禁じる読み方を招いてしまいます。
矛盾は取り除かれず、保持されます
1つの鍵が同じ対象について、同じ瞬間に2つの異なる主張に署名した場合、両方が矛盾の証拠として保持されます。後から届いた方に静かに統合されることは決してありません。
失効には日付があります
鍵はある時点をもって失効させることができるため、その時点より前に行われた主張は有効なままであり、それより後の主張は無効になります。このチェックは、データベースが偶然記録した時刻ではなく、署名の内部にある、署名者が実際に署名した時刻を読み取ります。
信頼ルートを撤回できます
あなたのノードは、起動時に信頼ルートの受け入れそのものに署名します。その一行を削除すれば、それ以降のすべてが自動的に停止します。何も提供されず、何もスコアリングされず、何も受け入れられません。オフにするスイッチはあなたが保持する一行であり、私たちが尊重する設定ではありません。
長期を見据えた署名
スコアは古典的な署名と耐量子署名という2つの署名で同時に署名され、署名付きオブジェクトとしてメッシュ上を移動します。何かがそれらを押し出すことはありません。同意と信頼が、それらの行き先を決めます。
このページに数値がない理由
このページには以前、リアルタイムのダッシュボードが表示されていました。その裏側にあるサービングは現在停止しており、古い数値を表示するページは、何も表示しないページより悪いものです。
今日確認できるのは、要約ではなく生の資料です。意思決定トレースは1つの決定のすべての段階を示し、公開されているトレースコーパスは、この測定が何から計算されているかを示します。