Search results

Optional Export Macro option for users who want to statically link all functions provided.

Status: Open.

#1074 In hacl-star/hacl-star;

· Vizonex opened on Apr 17, 2026

Spec Bugs

Status: Open.

#1071 In hacl-star/hacl-star;

· karthikbhargavan opened on Apr 7, 2026

Some fixes for HACL-rs that need to be backported

Status: Open.

#1066 In hacl-star/hacl-star;

· protz opened on Jan 5, 2026

DRBG non-global reseed interval

Status: Open.

#1048 In hacl-star/hacl-star;

· Julien00859 opened on Jun 18, 2025

Message length in ECDSA P256 without hash

Status: Open.

#1046 In hacl-star/hacl-star;

· Julien00859 opened on Jun 8, 2025

Upgrade Z3 to 4.13.3

Status: Open.

#1014 In hacl-star/hacl-star;

· msprotz opened on Dec 26, 2024

Restore Keccak-256 hash function

Status: Open.

#984 In hacl-star/hacl-star;

· victor-dumitrescu opened on Sep 23, 2024

ChaCha20Poly1305 returns an empty array for files bigger than 600KB.

Status: Open.

#979 In hacl-star/hacl-star;

· danilobassi8 opened on Sep 11, 2024

Support for Ed25519ctx

Status: Open.

#968 In hacl-star/hacl-star;

· red-001 opened on Aug 21, 2024

SHA3 Performance regression

Status: Open.

#954 In hacl-star/hacl-star;

· franziskuskiefer opened on Jun 14, 2024

Missing header inclusion for usage of alloca via clang packaged in Visual Studio 2022

Status: Open.

#946 In hacl-star/hacl-star;

· msprotz opened on May 1, 2024

Feedback on rust code

HACL-rs

Status: Open.

#944 In hacl-star/hacl-star;

· ctz opened on Apr 28, 2024