Mercurial > openid
comparison src/ur/openidFfi.urs @ 13:de04a3fc6b72
Stateless verification worked
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 02 Jan 2011 10:11:38 -0500 |
parents | c778455fe570 |
children | f129ddee75f3 |
comparison
equal
deleted
inserted
replaced
12:c778455fe570 | 13:de04a3fc6b72 |
---|---|
27 val public : dh -> string | 27 val public : dh -> string |
28 | 28 |
29 val generate : transaction dh | 29 val generate : transaction dh |
30 val compute : dh -> string -> transaction string | 30 val compute : dh -> string -> transaction string |
31 val xor : string -> string -> string | 31 val xor : string -> string -> string |
32 | |
33 val remode : outputs -> string -> inputs |