Mercurial > openid
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 |