comparison src/ur/openidFfi.urs @ 12:c778455fe570

Diffie-Hellman seems to be working
author Adam Chlipala <adam@chlipala.net>
date Sat, 01 Jan 2011 14:00:52 -0500
parents 870d99055dd1
children de04a3fc6b72
comparison
equal deleted inserted replaced
11:e637249abfd2 12:c778455fe570
13 val getOutput : outputs -> string -> option string 13 val getOutput : outputs -> string -> option string
14 14
15 val direct : string -> inputs -> transaction outputs 15 val direct : string -> inputs -> transaction outputs
16 val indirect : queryString -> transaction outputs 16 val indirect : queryString -> transaction outputs
17 17
18 val sha1 : string -> string -> string 18 val sha1 : string -> string
19 val sha256 : string -> string -> string 19 val sha256 : string -> string
20
21 val hmac_sha1 : string -> string -> string
22 val hmac_sha256 : string -> string -> string
20 23
21 type dh 24 type dh
22 val modulus : dh -> string 25 val modulus : dh -> string
23 val generator: dh -> string 26 val generator: dh -> string
24 val public : dh -> string 27 val public : dh -> string
25 28
26 val generate : transaction dh 29 val generate : transaction dh
27 val compute : dh -> string -> transaction string 30 val compute : dh -> string -> transaction string
31 val xor : string -> string -> string