cryspen/hacl-packages

Issues

• Merge GHASH into hacl-star upstream

  #462 opened 8 months ago by mamonet
  0

• Merge AES-CTR32 into HACL*

  #455 opened 9 months ago by franziskuskiefer
  2

• Optimize HACL* Raw RSA Encryption to use non-constant-time operations.

  #460 opened 8 months ago by franziskuskiefer
  8

• Update from upstream

  #459 opened 6 months ago by franziskuskiefer
  2

• Review P-384 and P-521 for NSS integration

  #465 opened 7 months ago by karthikbhargavan
  2

• Python warnings in mach

  #468 opened 7 months ago by msprotz
  0

• Update ML-KEM C

  #454 opened 8 months ago by franziskuskiefer
  2

• [Meta] Verified AES for HACL*

  #447 opened a year ago by karthikbhargavan
  1

• Vectorized SHA3 in Hacl*

  #452 opened 8 months ago by franziskuskiefer
  3

• Figure out procedures for upstreaming HACL* code quickly

  #456 opened 9 months ago by franziskuskiefer
  1

• Verify high-level AES-CTR32 functions for NI and BitSlice

  #451 opened 9 months ago by mamonet
  1

• Verify AES Generic module

  #450 opened 9 months ago by mamonet
  2

• Verify AES CoreNI module

  #448 opened 10 months ago by mamonet
  1

• Verify AES CoreBitSlice module

  #449 opened a year ago by mamonet
  0

• Rust bindings compilation failure

  #444 opened a year ago by jtcoolen
  0

• C Plumbing for Kyber

  #436 opened a year ago by karthikbhargavan
  1

• C Testing harness for Kyber

  #437 opened a year ago by karthikbhargavan
  1

• Improve SHA Streaming Tests

  #432 opened a year ago by franziskuskiefer
  0

• [feat]: enable support for P384 and P521 curves

  #431 opened a year ago by armfazh
  1

• docs: Review documentation for "in-place" / "overlapping" operations.

  #397 opened 2 years ago by duesee
  3

• RSA-PSS documentation misses information.

  #345 opened a year ago by duesee
  2

• [ocaml] Cannot restore extended attributes: com.apple.provenance com.apple.provenance

  #428 opened a year ago by mgstoyanov
  6

• docs: Add direct link to binding documentations in `README.md`.

  #364 opened 2 years ago by duesee
  3

• Extend RSA-PSS examples.

  #346 opened a year ago by duesee
  5

• GitHub Actions: Deprecating save-state and set-output commands

  #417 opened a year ago by franziskuskiefer
  1

• ci: Fix CLA process.

  #388 opened a year ago by duesee
  1

• [Rust] Improve CPU feature detection

  #380 opened a year ago by franziskuskiefer
  1

• Investigate GH Pages Deploy errors

  #318 opened a year ago by franziskuskiefer
  0

• Check Windows cmake example failure

  #312 opened 2 years ago by franziskuskiefer
  0

• feat: Add Meson support.

  #302 opened 2 years ago by duesee
  0

• [ocaml] Don't rebuild documentation for each tag every time.

  #423 opened a year ago by franziskuskiefer
  0

• [OCaml] build on freebsd x64 fails with "recompile with -fPIC"

  #422 opened a year ago by fogti
  3

• Check compatibility between opam and npm packages in CI

  #414 opened 2 years ago by victor-dumitrescu
  0

• `mach update` deletes necessary file

  #391 opened 2 years ago by pnmadelaine
  5

• benchmarks: Sanity check of benchmarks.

  #337 opened 2 years ago by duesee
  3

• OpenSSL detection on OSX

  #399 opened 2 years ago by msprotz
  4

• ci: Minimize CI runs.

  #389 opened 2 years ago by duesee
  0

• [Rust] Publish first version of the hacl crate

  #378 opened 2 years ago by franziskuskiefer
  0

• ci: Fix gh-pages.

  #375 opened 2 years ago by duesee
  0

• Slow deployment

  #373 opened 2 years ago by pnmadelaine
  0

• docs: Fix SHA-1 and SHA-3 documentation after update.

  #371 opened 2 years ago by duesee
  0

• JavaScript Documentation

  #366 opened 2 years ago by pnmadelaine
  0

• Docs cleanup

  #365 opened 2 years ago by franziskuskiefer
  0

• tests: Implement HKDF-SHA2-384 tests.

  #358 opened 2 years ago by duesee
  0

• benchmarks: Implement HKDF-SHA2-384 benchmark.

  #357 opened 2 years ago by duesee
  0

• docs: Describe benchmarks in book.

  #349 opened 2 years ago by duesee
  1

• tests: Add RSA 8k test.

  #328 opened 2 years ago by duesee
  0

• More fine grained performance regression tests

  #330 opened 2 years ago by franziskuskiefer
  0

• benchmarks: Monitor (and document) threshold value in benchmarks.

  #309 opened 2 years ago by duesee
  0

• ci: Don't build unrelevant documentation tags.

  #305 opened 2 years ago by duesee
  0