aboutsummaryrefslogtreecommitdiff
path: root/pyecsca/ec/efd/shortw/modified/variables
diff options
context:
space:
mode:
Diffstat (limited to 'pyecsca/ec/efd/shortw/modified/variables')
-rw-r--r--pyecsca/ec/efd/shortw/modified/variables6
1 files changed, 4 insertions, 2 deletions
diff --git a/pyecsca/ec/efd/shortw/modified/variables b/pyecsca/ec/efd/shortw/modified/variables
index 438494c..d97d2ff 100644
--- a/pyecsca/ec/efd/shortw/modified/variables
+++ b/pyecsca/ec/efd/shortw/modified/variables
@@ -3,6 +3,8 @@ variable X
variable Y
variable Z
variable T
-satisfying x = X/Z^2
-satisfying y = Y/Z^3
+satisfying ZZ = Z^2
+satisfying ZZZ = ZZ*Z
+satisfying x = X/ZZ
+satisfying y = Y/ZZZ
satisfying T = a*Z^4