Mercurial > openid
diff 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 |
line wrap: on
line diff
--- a/src/ur/openidFfi.urs Wed Dec 29 16:25:32 2010 -0500 +++ b/src/ur/openidFfi.urs Sat Jan 01 14:00:52 2011 -0500 @@ -15,8 +15,11 @@ val direct : string -> inputs -> transaction outputs val indirect : queryString -> transaction outputs -val sha1 : string -> string -> string -val sha256 : string -> string -> string +val sha1 : string -> string +val sha256 : string -> string + +val hmac_sha1 : string -> string -> string +val hmac_sha256 : string -> string -> string type dh val modulus : dh -> string @@ -25,3 +28,4 @@ val generate : transaction dh val compute : dh -> string -> transaction string +val xor : string -> string -> string