summaryrefslogtreecommitdiff
path: root/src/hash.urs
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-06-15 14:47:24 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-06-15 14:47:24 -0400
commit69fa341d9ba5e5d4a2ca23b69a2faba2a2e2f641 (patch)
treea718578289c4c56e14f7a8d0097e7aeba8553706 /src/hash.urs
parentc8e347649e6323c3eae12b6d95fcc888ba73656f (diff)
Add SHA-2 support
Diffstat (limited to 'src/hash.urs')
-rw-r--r--src/hash.urs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/hash.urs b/src/hash.urs
index b0bfb69..d7bd62b 100644
--- a/src/hash.urs
+++ b/src/hash.urs
@@ -21,3 +21,8 @@ val sql_maxable_digest : sql_maxable digest
val md5 : blob -> digest
val sha1 : blob -> digest
+
+val sha224 : blob -> digest
+val sha256 : blob -> digest
+val sha384 : blob -> digest
+val sha512 : blob -> digest