The curve25519 from acw

curve25519's People

Contributors

Stargazers

Watchers

curve25519's Issues

DSA-1 test suite failure

I'm sorry if this is not the right place to report this issue, but the Hackage page http://hackage.haskell.org/package/DSA refers to a broken URL for that package, so I took a guess. I'm citing from http://hydra.cryp.to/build/1095448/nixlog/1/raw:

Running 1 test suites...
Test suite test-dsa: RUNNING...
FAIL p = 151993625346900885460881465633599969975921016089129263103468798351206890019732193660702703846885447109155098938586696963917264972039621313081814654175652607228791975584135515405443820537976696883865993392590185606125017903925903060127981031913822413734569369688846509914385409880544034765806984482233720717463 q = 1075687306435603237856274085635701633380261061959
Basic helper functions:
  ByteString / Integer conversion round-trips: [OK, passed 100 tests]
  ByteString / Integer conversion round-trips (v2): [OK, passed 100 tests]
  Can find appropriate factors: [OK, passed 100 tests]
  Fast modular exponentiation works.: [OK, passed 100 tests]
  Deterministic prime checking works.: [OK, passed 100 tests]
  Miller-Rabin primality test seems to work: [OK, passed 100 tests]
  Shawe-Taylor algorithm generates primes: [OK, passed 100 tests]
DSA Generation functions:
  Probable primes validate: [Failed]
*** Failed! Falsifiable (after 4 tests): 
L1024_N160
<SHA512>
Just (Positive {getPositive = 3})
(used seed 4669183445583997237)
  Provable primes validate: [OK, passed 100 tests]
  Unverifiable g generation works: [OK, passed 100 tests]
  Verifiable g generation works: [OK, passed 100 tests]
...
         Properties   Test Cases   Total       
 Passed  12           61           73          
 Failed  1            0            1           
 Total   13           61           74          
Test suite test-dsa: FAIL

Recommend Projects