libcrux 0.0.3

The Formally Verified Cryptography Library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# Security Policy

## Supported Versions

libcrux is still pre-release and does not support any specific versions yet.

| Version | Supported          |
| ------- | ------------------ |

## Reporting a Vulnerability

Use the private [Github vulnerability reporting](https://github.com/cryspen/libcrux/security)
or send an email to [security-reports@cryspen.com](mailto:security-reports@cryspen.com)

PRs or issues that do not follow the security policy will be closed.

## Security Advisories

We believe that any bug in a cryptographic library is a potential security vulnerability.
Starting February 2026, we will issue GitHub security advisories for any releases whose CHANGELOG 
includes bug-fixes, and encourage our users to upgrade.