Search results

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

CRT support for signing?

Status: Open.

#884 In hacl-star/hacl-star;

· tomato42 opened on Nov 21, 2023

use @@strict_on_arguments on more definitions

Status: Open.

#831 In hacl-star/hacl-star;

· msprotz opened on Jun 12, 2023

SHA3 streaming API documentation

Status: Open.

#820 In hacl-star/hacl-star;

· msprotz opened on May 22, 2023