comparison src/ur/openidFfi.urs @ 8:870d99055dd1

Diffie-Hellman started but not fully tested; successfully checked signature from AOL
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Dec 2010 12:16:32 -0500
parents 976121190b2d
children c778455fe570
comparison
equal deleted inserted replaced
7:976121190b2d 8:870d99055dd1
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 sha256 : string -> string -> string 19 val sha256 : string -> string -> string
20
21 type dh
22 val modulus : dh -> string
23 val generator: dh -> string
24 val public : dh -> string
25
26 val generate : transaction dh
27 val compute : dh -> string -> transaction string