GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → mirage → hacl

mirage / hacl

Licence: other
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

Programming Languages

c
50402 projects - #5 most used programming language
ocaml
1615 projects
C++
36643 projects - #6 most used programming language
Makefile
30231 projects

Labels

cryptographyelliptic-curvesverifiedf-star

Projects that are alternatives of or similar to hacl

crypto-in-action
algebra arithmetic, finite fields, elliptic curves, zero-knowledge
Stars: ✭ 65 (+209.52%)
Mutual labels:  elliptic-curves
bulletproofs
Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
Stars: ✭ 62 (+195.24%)
Mutual labels:  elliptic-curves
galois
A performant NumPy extension for Galois fields and their applications
Stars: ✭ 106 (+404.76%)
Mutual labels:  elliptic-curves
cryptotools
No description or website provided.
Stars: ✭ 182 (+766.67%)
Mutual labels:  elliptic-curves
Number-Theory-Python
Python code to implement various number theory, elliptic curve and finite field computations.
Stars: ✭ 85 (+304.76%)
Mutual labels:  elliptic-curves
jwt-compact
Compact JWT implementation in Rust
Stars: ✭ 26 (+23.81%)
Mutual labels:  elliptic-curves
h2c-rust-ref
Hash to curves - Rust reference implementation
Stars: ✭ 21 (+0%)
Mutual labels:  elliptic-curves
elliptic-curve
A polymorphic interface for elliptic curve operations
Stars: ✭ 37 (+76.19%)
Mutual labels:  elliptic-curves
libgoldilocks
An implementation of Mike Hamburg's Ed448 (Goldilocks) curve - derived from libdecaf. This is a mirror of https://bugs.otr.im/otrv4/libgoldilocks
Stars: ✭ 17 (-19.05%)
Mutual labels:  elliptic-curves
libeddsa
cryptographic library for ed25519 and curve25519
Stars: ✭ 20 (-4.76%)
Mutual labels:  elliptic-curves
ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
Stars: ✭ 51 (+142.86%)
Mutual labels:  elliptic-curves
ctl
My variant of the C Template Library
Stars: ✭ 105 (+400%)
Mutual labels:  verified
std-curves
Standard curve database.
Stars: ✭ 53 (+152.38%)
Mutual labels:  elliptic-curves
Advanced-Shortest-Paths-Algorithms
Java Code for Contraction Hierarchies Algorithm, A-Star Algorithm and Bidirectional Dijkstra Algorithm. Tested and Verified Code.
Stars: ✭ 63 (+200%)
Mutual labels:  verified
bls-js
BLS signature implementation
Stars: ✭ 15 (-28.57%)
Mutual labels:  elliptic-curves
curves
Implementations of popular elliptic curves
Stars: ✭ 229 (+990.48%)
Mutual labels:  elliptic-curves
jubjub
Supporting evidence for security of the Jubjub curve to be used in Zcash
Stars: ✭ 13 (-38.1%)
Mutual labels:  elliptic-curves
nim-blscurve
Nim implementation of BLS signature scheme (Boneh-Lynn-Shacham) over Barreto-Lynn-Scott (BLS) curve BLS12-381
Stars: ✭ 19 (-9.52%)
Mutual labels:  elliptic-curves
hazmat-math
Hazmat ECC arithmetic for Cryptography.io
Stars: ✭ 28 (+33.33%)
Mutual labels:  elliptic-curves
btclib
btclib: a python3 library for 'bitcoin cryptography'
Stars: ✭ 60 (+185.71%)
Mutual labels:  elliptic-curves
View All Similar Projects ➔

Note

This repository is deprecated and no longer maintained. A comprehensive elliptic curve implementation for OCaml is the mirage-crypto-ec package (using fiat, please use that instead.

If interested in hacl-star, use the official OCaml bindings.

Build Status

hacl

These are bindings to the various primitives present in Project Everest.

In particular, the C code comes from this snapshot (from the hacl-star-raw 0.2.1 opam package, execute ./build_local.sh). Hacl_Hash.{c,h} have been stripped down to only SHA-512.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].