issues
search
mirage
/
hacl
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
https://github.com/mirage/mirage-crypto
Other
20
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add support for older compiler versions
#47
kit-ty-kate
closed
3 years ago
1
The distribution does not compile on CentOS 7 and Oracle Linux 7
#46
dinosaure
opened
3 years ago
3
Move tests to use alcotest instead dune diff
#45
dinosaure
closed
4 years ago
3
freestanding: describe dependencies appropriately, don't copy header files
#44
hannesm
closed
4 years ago
0
remove mirage-xen-posix based cross-compilation runes (not needed since mirage-xen 6.0.0)
#43
hannesm
closed
4 years ago
1
fix dune dependency
#42
hannesm
closed
4 years ago
0
provide Hacl_x25519.encode_secret and Hacl_ed25519.encode_priv functions to serialise private keys onto disk
#41
hannesm
closed
4 years ago
0
Update tests to use Alcotest
#40
dinosaure
closed
4 years ago
0
Release v0.2.0
#39
dinosaure
closed
4 years ago
3
Follow dune's documentation about diffing results
#38
dinosaure
closed
4 years ago
1
execute test suite on dune runtest
#37
hannesm
closed
4 years ago
0
Update extracted C files from hacl-star-raw.0.2.1
#36
dinosaure
closed
4 years ago
7
Ed25519 support
#35
hannesm
closed
4 years ago
2
Compilation error on 32-bit platforms
#34
talex5
closed
4 years ago
2
Dune 2.0 and fix clash
#33
dinosaure
opened
4 years ago
10
This conflicts with tezos bindings (gitlab.com/nomadic-labs/ocaml-hacl)
#32
pirbo
opened
4 years ago
9
revert changes to kremlib*h (new ocaml-freestanding no longer needs them)
#31
hannesm
closed
4 years ago
1
htole64
#30
dinosaure
closed
4 years ago
8
freestanding & xen cross-compilation runes
#29
hannesm
closed
4 years ago
1
Use opam file generation
#28
emillon
closed
4 years ago
0
Document how to generate a secret from known data
#27
emillon
closed
4 years ago
0
Bench: use stdlib-shims
#26
emillon
closed
4 years ago
0
Use a version number in .ocamlformat
#25
emillon
closed
4 years ago
0
register ocaml as dependency
#24
hannesm
closed
4 years ago
1
WIP: detect if inttypes.h is missing
#23
emillon
closed
4 years ago
0
Add ocaml dependency in opam
#22
emillon
closed
4 years ago
1
ocamlformat: use conventional profile
#21
emillon
closed
5 years ago
0
Add a way to run the extraction process
#20
emillon
opened
5 years ago
0
Add a check-vendor target
#19
emillon
opened
5 years ago
0
Check low order points
#18
emillon
closed
5 years ago
0
Build bench exe in runtest (but do not run it)
#17
emillon
closed
5 years ago
0
Use Yojson.Safe.t
#16
emillon
closed
5 years ago
0
Simplify types
#15
emillon
closed
5 years ago
0
Use an API similar to Nocrypto.Dh
#14
emillon
closed
5 years ago
3
Leave the GC lock in the C stub
#13
dinosaure
closed
5 years ago
5
Add key_exchange_inplace to avoid allocation
#12
dinosaure
closed
4 years ago
2
key_exchange_noalloc
#11
cfcs
closed
5 years ago
3
fix `name` in dune-project
#10
anmonteiro
closed
5 years ago
1
Rename to hacl
#9
emillon
closed
5 years ago
0
Should `to_cstruct` pad?
#8
emillon
opened
5 years ago
0
Remove trailing spaces in hexdump output
#7
emillon
closed
5 years ago
0
Add `name` to `dune-project`
#6
anmonteiro
closed
5 years ago
1
Add a benchmark
#5
emillon
closed
5 years ago
0
unify repository and opam package name
#4
hannesm
closed
5 years ago
5
Add CAMLparam/CAMLreturn
#3
emillon
closed
5 years ago
0
Use default C flags
#2
emillon
closed
5 years ago
2
Document the interface with TLS
#1
emillon
closed
5 years ago
0