Canton DAML 技術仕様：関数型契約言語 + Sub-transaction Privacy

ウィキ上の位置づけ

この項目はシステム基盤の配下に置かれる。ピア比較・対照の文脈ではCanton Network 概観 · DAML スマートコントラクトのプライバシー機関チェーン、より広い制度・規制上の境界についてはフィンテックと併せて読む。

主要事実

• DAML は functional + obligation-based な契約言語であり、命令型ではない。^•
• Sub-transaction privacy はデフォルトで有効であり、各参加者は自分に関係する部分だけを参照する。^•
• multi-party atomic transactions をネイティブにサポートする。^•
• Regulator Node はプロトコル級のファーストクラス市民であり、事後調査ではない。^•
• アプリケーション横断の呼び出しはアトミックであり、ブリッジや wrapped token は不要である。^•

仕組み / 動作方法

DAML と Solidity の次元比較。

DAML の「権利義務モデリング」の具体例では、債券契約を「発行会社 は義務 X を負う、holder は権利 Y を持つ、custodian は監査義務 Z を負う」と明示的に記述できる。これは伝統的金融の法的契約セマンティクスに直接対応する（BlackRock BUIDL · トークン化 MMF のベンチマーク · 「stablecoin yield インフラ」 / Apollo ACREDで表現される商品構造との対照）。Solidity では、これらの役割関係をプログラム自身がコーディングする必要があり、誤りが起きやすい。

Sub-transaction privacy の実装では、各 transaction は sub-events に分解され、各 sub-event は関係する参加者だけに暗号化されてブロードキャストされる。Global Synchronizer は順序付けだけを担当し、内容は復号しない。

起源と進化

DAML は Digital Asset の2014-2017 年の初期 POC に起源を持ち、2017 年に OSS 化（GitHub）され、2019 年に Canton Network の標準契約言語となった。2020-2024 年に継続的なイテレーションが進み、DAML 3.x では、より細粒度のプライバシープリミティブとアプリケーション横断 choreography のサポートが追加された。

関連項目

• Wiki Index
• Canton Network 概観 · DAML スマートコントラクトのプライバシー機関チェーン
• Canton MMF Coalition
• CCTP V2 vs Canton · 公開チェーン路線 vs プライベートチェーン路線の根本対峙

出典

• DAML language reference(digitalasset.com)
• Canton Network (Digital Asset) — https://www.canton.network/