From 565d312568da433f213b3d7ea67861b7784b2115 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Thu, 30 Mar 2017 01:51:46 +0200
Subject: Added more documentation, anomalous curves, support command.

 - Added CURVES.md, FORMAT.md and TESTS.md that talk a bit about what
   ECTester actually does/support.
 - Added anomalous curves (where |F_p| = #|E(F_p)|), meaning these curves
   have a trace of one and ECDLP over them reduces to easy DLP over
   multiplicative F*_p. These concrete curves are from Atsuko Miyaji's
   paper: Elliptic curves over F_p Suitable for Cryptosystems.
 - Added Support command that queries the results of KeyAgreement and
   Signature allocations.
 - Renamed smallpub curves to nonprime curves.
 - Fixed nonprime curves test suite.
---
 src/cz/crcs/ectester/data/anomalous/curves.xml     | 74 +++++++++-------------
 .../crcs/ectester/data/anomalous/miyaji128a1.csv   |  1 +
 .../crcs/ectester/data/anomalous/miyaji128a2.csv   |  1 +
 .../crcs/ectester/data/anomalous/miyaji128b1.csv   |  1 +
 .../crcs/ectester/data/anomalous/miyaji128b2.csv   |  1 +
 5 files changed, 33 insertions(+), 45 deletions(-)
 create mode 100644 src/cz/crcs/ectester/data/anomalous/miyaji128a1.csv
 create mode 100644 src/cz/crcs/ectester/data/anomalous/miyaji128a2.csv
 create mode 100644 src/cz/crcs/ectester/data/anomalous/miyaji128b1.csv
 create mode 100644 src/cz/crcs/ectester/data/anomalous/miyaji128b2.csv

(limited to 'src/cz/crcs/ectester/data/anomalous')

diff --git a/src/cz/crcs/ectester/data/anomalous/curves.xml b/src/cz/crcs/ectester/data/anomalous/curves.xml
index c478657..b0b9b02 100644
--- a/src/cz/crcs/ectester/data/anomalous/curves.xml
+++ b/src/cz/crcs/ectester/data/anomalous/curves.xml
@@ -1,48 +1,32 @@
 <?xml version="1.0" encoding="UTF-8" ?>
 <curves xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:noNamespaceSchemaLocation="../schema.xsd">
-    <!--
-    <curve>
-        <id>anomalousp128</id>
-        <bits>128</bits>
-        <field>prime</field>
-        <file>anomalousp128.csv</file>
-    </curve>
-    <curve>
-        <id>anomalousp160</id>
-        <bits>160</bits>
-        <field>prime</field>
-        <file>anomalousp160.csv</file>
-    </curve>
-    <curve>
-        <id>anomalousp192</id>
-        <bits>192</bits>
-        <field>prime</field>
-        <file>anomalousp192.csv</file>
-    </curve>
-    <curve>
-        <id>anomalousp224</id>
-        <bits>224</bits>
-        <field>prime</field>
-        <file>anomalousp224.csv</file>
-    </curve>
-    <curve>
-        <id>anomalousp256</id>
-        <bits>256</bits>
-        <field>prime</field>
-        <file>anomalousp256.csv</file>
-    </curve>
-    <curve>
-        <id>anomalousp384</id>
-        <bits>384</bits>
-        <field>prime</field>
-        <file>anomalousp384.csv</file>
-    </curve>
-    <curve>
-        <id>anomalousp521</id>
-        <bits>521</bits>
-        <field>prime</field>
-        <file>anomalousp521.csv</file>
-    </curve>
-    -->
-</curves>
\ No newline at end of file
+	<curve>
+		<id>miyaji128a1</id>
+		<bits>128</bits>
+		<field>prime</field>
+		<file>miyaji128a1.csv</file>
+		<desc>First curve in the "Proposed scheme A" section of Atsuko Miyaji's paper.</desc>
+	</curve>
+	<curve>
+		<id>miyaji128a2</id>
+		<bits>128</bits>
+		<field>prime</field>
+		<file>miyaji128a2.csv</file>
+		<desc>Second curve in the "Proposed scheme A" section of Atsuko Miyaji's paper.</desc>
+	</curve>
+	<curve>
+		<id>miyaji128b1</id>
+		<bits>128</bits>
+		<field>prime</field>
+		<file>miyaji128b1.csv</file>
+		<desc>First curve in the "Proposed scheme B" section of Atsuko Miyaji's paper.</desc>
+	</curve>
+	<curve>
+		<id>miyaji128b2</id>
+		<bits>128</bits>
+		<field>prime</field>
+		<file>miyaji128b2.csv</file>
+		<desc>Second curve in the "Proposed scheme B" section of Atsuko Miyaji's paper.</desc>
+	</curve>
+</curves>
diff --git a/src/cz/crcs/ectester/data/anomalous/miyaji128a1.csv b/src/cz/crcs/ectester/data/anomalous/miyaji128a1.csv
new file mode 100644
index 0000000..b1a84a0
--- /dev/null
+++ b/src/cz/crcs/ectester/data/anomalous/miyaji128a1.csv
@@ -0,0 +1 @@
+80000000000001a86a91e9356e5fee11,1210cb7f8a3466b805b546960dd43f69,644a5a3e53a634ee06fa903172806914,55b40a8932013efa328cbe8abaf2f4ec,44375dc6a29cac1982fbf98c86da2707,80000000000001a86a91e9356e5fee11,1
diff --git a/src/cz/crcs/ectester/data/anomalous/miyaji128a2.csv b/src/cz/crcs/ectester/data/anomalous/miyaji128a2.csv
new file mode 100644
index 0000000..70098c0
--- /dev/null
+++ b/src/cz/crcs/ectester/data/anomalous/miyaji128a2.csv
@@ -0,0 +1 @@
+fffffffffffffe1c2758f379fd46b0d9,5e2336fa13c5c6ce7add23893c0dfec7,7bf26de6e350dc183c58c09ad8237e00,1d8b7c787fdc92d299ec14e7916e5f7d,67621e61f115a2544364c1cd52e3cfa7,fffffffffffffe1c2758f379fd46b0d9,1
diff --git a/src/cz/crcs/ectester/data/anomalous/miyaji128b1.csv b/src/cz/crcs/ectester/data/anomalous/miyaji128b1.csv
new file mode 100644
index 0000000..5c1f8b8
--- /dev/null
+++ b/src/cz/crcs/ectester/data/anomalous/miyaji128b1.csv
@@ -0,0 +1 @@
+800000000000037554ac874c19cdaedf,00000000000000000000000000000000,000000000000000000000000000000c0,635217788a2ff48664a09cb3cdf72b2e,5e69c2309032ef3cb1e41b1a245822be,800000000000037554ac874c19cdaedf,1
diff --git a/src/cz/crcs/ectester/data/anomalous/miyaji128b2.csv b/src/cz/crcs/ectester/data/anomalous/miyaji128b2.csv
new file mode 100644
index 0000000..fdb77a0
--- /dev/null
+++ b/src/cz/crcs/ectester/data/anomalous/miyaji128b2.csv
@@ -0,0 +1 @@
+fffffffffffffe2a71fec762d2427ce7,00000000000000000000000000000000,000000000000000000000000000000c0,428e6765064e4a745b2aaae87ef7f0f7,3daee1541c98c3d51eec13a1f6177531,fffffffffffffe2a71fec762d2427ce7,1
-- 
cgit v1.2.3-70-g09d2