書かれたコンプライアンスルールと、実際に実行されるルールの違い。
newton について新しく説明するときに一番難しいのは、このシステムにおけるコンプライアンスが文書でも方針マニュアルでもないという点だと思います。すべての取引の直前に実行される、実際の動くコードです。
mewton は rego という名前の言語を使ってこれらのルールを書きます。これは、クラウド基盤におけるアクセス制御を行うために大手テック企業のチームが使っているのと同じ言語です。読みやすく、シンプルで、同じ入力を与えれば常に同じ結果を返します。驚きはなく、解釈の余地もありません。
regoにおける制裁チェックは、単純な条件のリストのように見えます。送信者はフラグ付けされているか。受信者はフラグ付けされているか。管轄は許可されているか。いずれか1つの条件が失敗すれば、答えはdeny（拒否）となり、その取引は実行されません。これは精算後のレビューとしてではなく、精算の前に行われます。
私が本当に面白いと感じるのは、その組み立て（コンポーザブル）やすさです。プロトコルがすべてのための巨大な単一ルールを書き下すわけではありません。小さく的を絞ったモジュールを書きます。制裁モジュール、KYCモジュール、速度（バリューロ）制限モジュール。各モジュールは1つのことをきれいに実行し、特定の状況に必要なものを組み合わせて積み重ねます。
任意の取引で実行されるポリシーファイルは、ipfs上でコンテンツ・アドレスによって保存されます。つまり、取引を評価したルールの正確なバージョンは、永久に参照可能です。規制当局は、特定の日付にどのポリシーが適用されていたのかを尋ねる必要がありません。コンプライアンスの受領証（レシート）は、ファイルを直接指しています。
そして、regoが純粋な関数型言語だからこそ、同じ入力は常に同じ出力を生みます。これがゼロ知識チャレンジの仕組みを可能にしているのです。もしオペレーターが誤った結果にサインしたとしても、誰でもまったく同じポリシーを再実行して、正しい答えを証明できます。
