Mercurial > openid

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Tue Dec 28 19:57:25 2010 -0500
+++ b/src/ur/openidFfi.urs	Wed Dec 29 12:16:32 2010 -0500
@@ -15,4 +15,13 @@
 val direct : string -> inputs -> transaction outputs
 val indirect : queryString -> transaction outputs
 
+val sha1 : string -> string -> string
 val sha256 : string -> string -> string
+
+type dh
+val modulus : dh -> string
+val generator: dh -> string
+val public : dh -> string
+
+val generate : transaction dh
+val compute : dh -> string -> transaction string