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.

1 files changed, 12 insertions, 0 deletions

diff --git a/src/cz/crcs/ectester/applet/ECKeyTester.java b/src/cz/crcs/ectester/applet/ECKeyTester.java
index 7ef6150..e22094b 100644
--- a/src/cz/crcs/ectester/applet/ECKeyTester.java
+++ b/src/cz/crcs/ectester/applet/ECKeyTester.java
@@ -148,6 +148,18 @@ public class ECKeyTester {
         return ecdsaSignature;
     }
 
+    public boolean hasECDH() {
+        return ecdhKeyAgreement != null;
+    }
+
+    public boolean hasECDHC() {
+        return ecdhcKeyAgreement != null;
+    }
+
+    public boolean hasECDSA() {
+        return ecdsaSignature != null;
+    }
+
     public short getSW() {
         return sw;
     }