上の手順をSageMathで書くと以下のようになります(多項式環の演算を実装するのが大変なのでSageMathを使いました)。is_samemain()実行してみると、次のようになります(多項式の一部は省略しています)。0xf0618ab81175a58c6ca431635f694874b38d42a6ae07cf7037c89bc798a0e1adc0ff3bf5ad430a9d774388e57d9545c1e6ddfc8848eb70a1e24fec73d52db0e5b22ef90c4a27b569dc81022b0695ca3ce65eac4b3b0541d99245a3f1e952eeee1b551e874df734b575df8840889c89547d69cb45ec2c081a82a6a2eca1f187f3Lこのようにして、共有鍵を共有することができます。正確性や安全性の証明などはこちらを参照してください。