ecdsa (empty) → 0.1

raw patch · 5 files changed

+120/−0 lines, 5 filesdep +basedep +bytestringdep +crypto-apisetup-changed

Dependencies added: base, bytestring, crypto-api, crypto-pubkey-types, hecc

Files

• COPYING +13/−0
• ECDSA.hs +68/−0
• README +1/−0
• Setup.hs +3/−0
• ecdsa.cabal +35/−0

@@ -0,0 +1,13 @@+Copyright © 2014, Stephen Paul Weber <singpolyma.net>++Permission to use, copy, modify, and/or distribute this software for any+purpose with or without fee is hereby granted, provided that the above+copyright notice and this permission notice appear in all copies.++THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES+WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF+MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR+ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES+WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN+ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF+OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

@@ -0,0 +1,68 @@+module ECDSA (+	Signature(..),+	PublicKey(..),+	PrivateKey(..),+	sign,+	publicFromPrivate,+	publicToBytes,+	signatureEncodeDER,+	pmul+) where++import Data.Bits+import qualified Data.ByteString as BS++import Crypto.Types.PubKey.ECDSA (Signature(..), PrivateKey(..), PublicKey(..))+import Crypto.Types.PubKey.ECC (Curve(CurveFP), CurvePrime(..), CurveCommon(..), Point(..))++import Codec.Crypto.ECC.Base (modinv)++import Crypto.Random (genBytes, GenError, CryptoRandomGen)+import Crypto.Util (bs2i, i2bs, i2bs_unsized)++import ECDSA.Util++sign :: (CryptoRandomGen g) => PrivateKey -> BS.ByteString -> g -> Either GenError ((Integer, Integer), g)+sign (PrivateKey curve@(CurveFP (CurvePrime _ (CurveCommon {ecc_g = g, ecc_n = n}))) d) hash gen = do+	(bytes, gen') <- genBytes (lengthBytes n) gen+	let k = (bs2i bytes `mod` (n-1)) + 1+	let r = (\(Point x _) -> x) (pmul (curve, g) k) `mod` n+	let s = ((bs2i hash + (r*d)) * modinv k n) `mod` n+	return ((r,s), gen')+	where+sign _ _ _ = error "TODO: binary curves"++publicFromPrivate :: PrivateKey -> PublicKey+publicFromPrivate (PrivateKey curve@(CurveFP (CurvePrime _ (CurveCommon {ecc_g = g}))) d) =+	PublicKey curve (pmul (curve, g) d)+publicFromPrivate _ = error "TODO: binary curves"++-- This is used in Ripple, not sure if standard+publicToBytes :: PublicKey -> BS.ByteString+publicToBytes (PublicKey (CurveFP (CurvePrime _ (CurveCommon {ecc_n = n}))) (Point x y)) =+	BS.singleton (if y `mod` 2 == 0 then 0x02 else 0x03)+	`BS.append`+	i2bs (8 * lengthBytes n) x+publicToBytes _ = error "TODO: binary curves"++signatureEncodeDER :: Signature -> BS.ByteString+signatureEncodeDER (Signature r s) = BS.concat [+		BS.singleton 0x30,+		BS.singleton (fromIntegral $ 4 + BS.length rb' + BS.length sb'),+		BS.singleton 0x02,+		BS.singleton (fromIntegral $ BS.length rb'),+		rb',+		BS.singleton 0x02,+		BS.singleton (fromIntegral $ BS.length sb'),+		sb'+	]+	where+	-- If high bit is set, prepend an extra zero byte (DER signed integer)+	rb' | BS.head rb .&. 0x80 /= 0 = 0 `BS.cons` rb+	    | otherwise = rb++	sb' | BS.head sb .&. 0x80 /= 0 = 0 `BS.cons` sb+	    | otherwise = sb++	rb = i2bs_unsized r+	sb = i2bs_unsized s

@@ -0,0 +1,1 @@+Wraps the stuff in hecc to do ECDSA.

@@ -0,0 +1,3 @@+import Distribution.Simple++main = defaultMain

@@ -0,0 +1,35 @@+name:            ecdsa+version:         0.1+cabal-version:   >= 1.8+license:         OtherLicense+license-file:    COPYING+category:        Crypto+copyright:       © 2014 Stephen Paul Weber+author:          Stephen Paul Weber <singpolyma@singpolyma.net>+maintainer:      Stephen Paul Weber <singpolyma@singpolyma.net>+stability:       experimental+tested-with:     GHC == 7.4.1+synopsis:        Basic ECDSA signing implementation+homepage:        https://github.com/singpolyma/ecdsa-haskell+bug-reports:     https://github.com/singpolyma/ecdsa-haskell/issues+build-type:      Simple+description:+        Wraps the stuff in hecc to do ECDSA.++extra-source-files:+        README++library+        exposed-modules:+                ECDSA++        build-depends:+                base == 4.*,+                bytestring,+                hecc,+                crypto-pubkey-types,+                crypto-api++source-repository head+        type:     git+        location: git://github.com/singpolyma/hecc.git