同様に、AleoのゼロナレッジDSLなどの新しいプライバシー重視のプログラミングモデルにより、開発者はコンプライアンスチェックをスマートコントラクトとAIワークフローに 直接 組み込むことができ、規制遵守の証明がコード自体の一部になります。