hacl-star hacl-star issues

hacl-star / hacl-star

HACL*, a formally verified cryptographic library written in F*

Apache License 2.0

1.6k stars 161 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[CI] regenerate hints and dist

#957 hacl-bot opened 3 days ago
1
Prettify Blake2 dist

#956 R1kM opened 6 days ago
1
Restore SHA-3 speed by inlining absorb_inner

#955 karthikbhargavan opened 1 week ago
2
SHA3 Performance regression

#954 franziskuskiefer opened 1 week ago
2
[CI] regenerate hints and dist

#953 hacl-bot closed 2 weeks ago
1
[CI] regenerate hints and dist

#952 hacl-bot closed 3 weeks ago
1
Improve Bignum32 Documentation

#951 ma-ilsi closed 1 month ago
1
[CI] regenerate hints and dist

#950 hacl-bot closed 1 month ago
1
[CI] regenerate hints and dist

#949 hacl-bot closed 1 month ago
2
Update OCaml builds in Makefile

#948 R1kM closed 1 month ago
2
Stabilizing a proof

#947 mtzguido closed 1 month ago
5
Missing header inclusion for usage of alloca via clang packaged in Visual Studio 2022

#946 msprotz opened 1 month ago
0
Bump solver settings on a couple of proofs in Lib

#945 nikswamy closed 1 month ago
2
Feedback on rust code

#944 ctz opened 1 month ago
1
[CI] regenerate hints and dist

#943 hacl-bot closed 1 month ago
1
Import NI modules of GHASH from `pnmadelaine_aes` branch and adds specific proofs

#942 mamonet opened 2 months ago
6
Various refreshes

#941 msprotz closed 2 months ago
2
Fix header inclusion logic and bump XCode version following GitHub Actions OSX image upgrade

#940 msprotz closed 2 months ago
6
Vectorised SHA3 includes in non-vectorised code

#939 franziskuskiefer closed 2 months ago
0
[CI] regenerate hints and dist

#938 hacl-bot closed 2 months ago
1
Nix: simplify source filter for Rust extraction

#937 pnmadelaine closed 2 months ago
6
Blake2, 5/5: Extend implementation to support last node

#936 R1kM closed 1 month ago
0
rlimit fixes

#935 msprotz closed 2 months ago
2
Blake2, 4/5: Extend specification to support last_node

#934 R1kM closed 1 month ago
1
[CI] regenerate hints and dist

#933 hacl-bot closed 2 months ago
2
Fix regression

#932 mtzguido closed 2 months ago
1
Add magic nix command because I can't be searching in my bash history every time

#931 msprotz closed 2 months ago
2
Blake2, Part 3/5: Parameters, in the proper style, all the way to a decent top-level API

#930 msprotz closed 2 months ago
5
[CI] regenerate hints and dist

#929 hacl-bot closed 2 months ago
2
Blake2, Part 2/5: Fix redundant (and incorrect) handling of parameters

#928 msprotz closed 2 months ago
2
Blake2, Part 1-3/5: Extract with key support

#927 msprotz closed 2 months ago
8
Improve handling of Blake2 parameters in Spec

#926 R1kM closed 3 months ago
1
Remove unneeded branch in K256

#925 R1kM closed 2 months ago
1
[CI] regenerate hints and dist

#924 hacl-bot closed 3 months ago
1
Extend implementation of Blake2 to support extended parameters

#923 R1kM closed 2 months ago
2
Remove scary warning on README

#922 msprotz closed 3 months ago
1
[CI] regenerate hints and dist

#921 hacl-bot closed 3 months ago
1
[CI] regenerate hints and dist

#920 hacl-bot closed 3 months ago
1
Import AES-CTR32 modules from pnmadelaine_aes branch and add NI proofs

#919 mamonet opened 3 months ago
3
A preliminary version of HACL* extracted to *safe* Rust

#918 msprotz opened 3 months ago
12
CI: update actions' dependencies

#917 pnmadelaine closed 4 months ago
1
[CI] regenerate hints and dist

#916 hacl-bot closed 4 months ago
1
Small improvements to Makefiles

#915 R1kM closed 4 months ago
1
Vale: work around Heisenbug

#914 mtzguido closed 4 months ago
1
[CI] regenerate hints and dist

#913 hacl-bot closed 4 months ago
1
Update some proofs for changes to F*'s Seq

#912 mtzguido closed 4 months ago
2
Update README to point to newer F* website

#911 R1kM closed 4 months ago
1
Add missing #include <sys/syscall.h> in Lib_RandomBuffer_System.c

#910 vincent-botbol closed 4 months ago
8
nix: add rustc dependency

#909 pnmadelaine closed 4 months ago
1
[CI] regenerate hints and dist

#908 hacl-bot closed 5 months ago
1