1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
module AliceBob
( module AliceBob
, SecretKey
, PublicKey
, CryptoFailable(..)
, secretKey
, publicKey
, toPublic
) where
import Crypto.PubKey.Curve25519 (SecretKey,PublicKey,secretKey,publicKey,toPublic)
import Crypto.Error
import Data.Word
import Data.ByteString as B
alicesk_bytes :: [Word8]
alicesk_bytes =
[0x77,0x07,0x6d,0x0a,0x73,0x18,0xa5,0x7d
,0x3c,0x16,0xc1,0x72,0x51,0xb2,0x66,0x45
,0xdf,0x4c,0x2f,0x87,0xeb,0xc0,0x99,0x2a
,0xb1,0x77,0xfb,0xa5,0x1d,0xb9,0x2c,0x2a
]
alicesk :: SecretKey
CryptoPassed alicesk = secretKey $ B.pack alicesk_bytes
alicepk_bytes :: [Word8]
alicepk_bytes =
[0x85,0x20,0xf0,0x09,0x89,0x30,0xa7,0x54
,0x74,0x8b,0x7d,0xdc,0xb4,0x3e,0xf7,0x5a
,0x0d,0xbf,0x3a,0x0d,0x26,0x38,0x1a,0xf4
,0xeb,0xa4,0xa9,0x8e,0xaa,0x9b,0x4e,0x6a
]
alicepk :: PublicKey
alicepk = toPublic alicesk
bobsk_bytes :: [Word8]
bobsk_bytes =
[0x5d,0xab,0x08,0x7e,0x62,0x4a,0x8a,0x4b
,0x79,0xe1,0x7f,0x8b,0x83,0x80,0x0e,0xe6
,0x6f,0x3b,0xb1,0x29,0x26,0x18,0xb6,0xfd
,0x1c,0x2f,0x8b,0x27,0xff,0x88,0xe0,0xeb
]
bobsk :: SecretKey
CryptoPassed bobsk = secretKey $ B.pack bobsk_bytes
bobpk :: PublicKey
bobpk = toPublic bobsk
|
