libcrux | formally verified cryptographic library

by cryspen C Version: Current License: Apache-2.0

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | libcrux Summary

libcrux is a C library. libcrux has no bugs, it has no vulnerabilities, it has a Permissive License and it has low support. You can download it from GitHub.

libcrux is a formally verified cryptographic library that brings together verified artifacts from different sources. It uses hacspec as a common language for the specifications underlying the correctness and security proofs. Please refer to the Architecture document for a detailed overview of the libcrux architecture and properties and the formal verification directory for details on the underlying formal proofs.

Support

Quality

Security

License

Reuse

Support

libcrux has a low active ecosystem.

It has 3 star(s) with 1 fork(s). There are 5 watchers for this library.

It had no major release in the last 6 months.

libcrux has no issues reported. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of libcrux is current.

Quality

libcrux has no bugs reported.

Security

libcrux has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

libcrux is licensed under the Apache-2.0 License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

libcrux releases are not available. You will need to build from source code and install.

Top functions reviewed by kandi - BETA

kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of libcrux

Get all kandi verified functions for this library.

libcrux Key Features

No Key Features are available at this moment for libcrux.

libcrux Examples and Code Snippets

No Code Snippets are available at this moment for libcrux.

Community Discussions

No Community Discussions are available at this moment for libcrux.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install libcrux

You can download it from GitHub.

Support

The build enables all available hardware features for the target architecture. Further, the library always performs runtime checks to ensure that the required CPU features are available. libcrux uses the following configurations for its hardware abstractions.

Find more information at: