diff options
| author | J08nY | 2020-03-03 22:32:13 +0100 |
|---|---|---|
| committer | J08nY | 2020-03-03 22:32:13 +0100 |
| commit | deca0e3d89ff4483dd6b6b4ad99b3400145bee5b (patch) | |
| tree | bfe240b4fa6092e09c9abdc25243b78cb7f97e22 /pyecsca/ec/efd/shortw/w12-0/variables | |
| parent | 9ed79b918009580a04649c7acdce63247d2314ed (diff) | |
| download | pyecsca-deca0e3d89ff4483dd6b6b4ad99b3400145bee5b.tar.gz pyecsca-deca0e3d89ff4483dd6b6b4ad99b3400145bee5b.tar.zst pyecsca-deca0e3d89ff4483dd6b6b4ad99b3400145bee5b.zip | |
Diffstat (limited to 'pyecsca/ec/efd/shortw/w12-0/variables')
| -rw-r--r-- | pyecsca/ec/efd/shortw/w12-0/variables | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pyecsca/ec/efd/shortw/w12-0/variables b/pyecsca/ec/efd/shortw/w12-0/variables index 5d8326e..5a0ec46 100644 --- a/pyecsca/ec/efd/shortw/w12-0/variables +++ b/pyecsca/ec/efd/shortw/w12-0/variables @@ -3,5 +3,6 @@ assume b = 0 variable X variable Y variable Z +satisfying ZZ = Z^2 satisfying x = X/Z -satisfying y = Y/Z^2 +satisfying y = Y/ZZ |