aboutsummaryrefslogtreecommitdiffhomepage
path: root/pyecsca/ec/efd/shortw/projective-1/variables
diff options
context:
space:
mode:
Diffstat (limited to 'pyecsca/ec/efd/shortw/projective-1/variables')
-rw-r--r--pyecsca/ec/efd/shortw/projective-1/variables7
1 files changed, 7 insertions, 0 deletions
diff --git a/pyecsca/ec/efd/shortw/projective-1/variables b/pyecsca/ec/efd/shortw/projective-1/variables
new file mode 100644
index 0000000..49b8f7a
--- /dev/null
+++ b/pyecsca/ec/efd/shortw/projective-1/variables
@@ -0,0 +1,7 @@
+name projective coordinates with a4=-1
+assume a = -1
+variable X
+variable Y
+variable Z
+satisfying x = X/Z
+satisfying y = Y/Z