diff options
Diffstat (limited to 'pyecsca/ec/efd/shortw/w12-0')
| -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 |