何がどこへ移動し、何がお客様のシステムから決して出ないか。

アプリケーションは、エージェントの行動、申告又は決済などの事象が発生した瞬間に記録を作成します。

記録は固定されたバイナリ形式で符号化されるため、同一の記録は常に同一のバイト列を生成し、いずれのフィールドも再解釈され得ません。

記録は、その保有者のみが保持する鍵を用い、製品固有のコンテキスト文字列の下でML DSAにより署名されます。

符号化された記録及びその署名に対して、製品固有のドメインラベルを用いたSHA3 256フィンガープリントが計算されます。

フィンガープリントは新たに生成されるランダムなソルトと結合されるため、公開される情報を用いて記録に関する推測を確認することはできません。

各リーフはRFC 9162に従ったマークルツリーにまとめられるため、1つのコミットメントで数千件の記録を対象とすることができます。

バッチツリーのルートは、ネットワーク、コントラクト、署名者、記録種別及びバッチサイズに結び付けられます。

コミットメントは、ML DSA 65で署名されたトランザクションにより、公式のQstampコントラクトへ送信されます。

ML DSA 65で署名するバリデータの委員会がブロックを確定させ、通常は約0.2秒以内に完了します。

コントラクトは、署名者、コミットメント及び記録種別を伴うイベントを発行し、これはQVMScan上で確認できます。

各記録は、その包含パス、ソルト及びトランザクションを伴う独自のレシートを受け取り、これは記録とともに保存されます。

送信後に接続が失敗した場合、保留中のスタンプが保持され、アンカリングは後で完了します。これにより、いずれの記録も二重にアンカーされることはありません。

検証者は、ML DSA署名を、記録に記載された公開鍵及び検証者が想定する信頼された鍵と照合して確認します。

記録が以前の記録に依拠している場合、各リンクされた記録が、名指しされたものと正確に一致し、かつ有効に署名されていることが確認されます。

職務分離、累計額、時系列の順序及びアンカリング遅延の限度など、製品固有の規則が適用されます。

リーフが再計算され、そのパスがコミットされたルートまで確認されます。

検証者は、ネットワーク上で、トランザクションが確定していること及びコントラクトがそのコミットメントを発行したことを確認します。

結果は有効、無効又は判定不能のいずれかであり、すべての確認項目が示されます。証跡が欠けている場合、有効という結果が生じることは決してありません。