Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags give the ability to mark specific points in history as being important
v0.3
38b53ca6
·
Add CI
·
May 07, 2020
Release:
v0.3
Port to dune 2
v0.2
57f499f5
·
check incoming ciphertext size
·
May 06, 2020
Tezos bindings for HaCL v0.2
Unverified
v0.1
2f0399f9
·
Add LICENSE and README.md
·
Sep 30, 2019