https://github.com/aatxe/hacl-rs

Rusty bindings for HACL*, a formally verified cryptographic library written in F*.
https://github.com/aatxe/hacl-rs

cryptography security verified-primitives

Last synced: about 1 year ago
JSON representation

Rusty bindings for HACL*, a formally verified cryptographic library written in F*.

• Host: GitHub
• URL: https://github.com/aatxe/hacl-rs
• Owner: aatxe
• License: mpl-2.0
• Created: 2017-12-12T22:05:51.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-07-10T02:00:39.000Z (almost 8 years ago)
• Last Synced: 2025-02-01T09:13:32.619Z (over 1 year ago)
• Topics: cryptography, security, verified-primitives
• Language: Rust
• Homepage:
• Size: 28.3 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

          
# hacl-rs [![Build Status](https://travis-ci.org/aatxe/hacl-rs.svg?branch=master)](https://travis-ci.org/aatxe/hacl-rs) [![Crates.io](https://img.shields.io/crates/v/hacl.svg)](https://crates.io/crates/hacl) [![Docs](https://docs.rs/hacl/badge.svg)](https://docs.rs/hacl) [![Built with Spacemacs](https://cdn.rawgit.com/syl20bnr/spacemacs/442d025779da2f62fc86c2082703697714db6514/assets/spacemacs-badge.svg)](http://spacemacs.org) #

An effort to build high-level Rust abstractions that use types to enforce the correct usage of verified crypto primitives from [HACL*](https://github.com/mitls/hacl-star).

**NOTE**: This library is still very much a working target, and probably shouldn't be used yet. If you're interested in working on it with me, you can [email me](mailto:awe@pdgn.co), find me on Mozilla IRC (as awe), or open an issue.