Skip to content

Commit

Permalink
Version 0.0.1
Browse files Browse the repository at this point in the history 
* Library Support
  * ECDH
    * `libdecaf:decaf_x25519_base_scalarmul/1`
    * `libdecaf:decaf_x25519_direct_scalarmul/2`
    * `libdecaf:decaf_x448_base_scalarmul/1`
    * `libdecaf:decaf_x448_direct_scalarmul/2`
  * EdDSA
    * `libdecaf:decaf_255_eddsa_derive_public_key/1`
    * `libdecaf:decaf_255_eddsa_sign/4`
    * `libdecaf:decaf_255_eddsa_verify/4`
    * `libdecaf:decaf_448_eddsa_derive_public_key/1`
    * `libdecaf:decaf_448_eddsa_sign/5`
    * `libdecaf:decaf_448_eddsa_verify/5`
  * SHA-2
    * `libdecaf:sha2_512/2`
    * Streaming support
      * `libdecaf:sha2_512_init/0`, `libdecaf:sha2_512_update/2`, `libdecaf:sha2_512_final/2`
  * SHA-3
    * `libdecaf:sha3_224/1`
    * `libdecaf:sha3_256/1`
    * `libdecaf:sha3_384/1`
    * `libdecaf:sha3_512/1`
    * `libdecaf:shake128/2`
    * `libdecaf:shake256/2`
    * Streaming support
      * `libdecaf:sha3_224_init/0`, `libdecaf:sha3_224_update/2`, `libdecaf:sha3_224_final/1`
      * `libdecaf:sha3_256_init/0`, `libdecaf:sha3_256_update/2`, `libdecaf:sha3_256_final/1`
      * `libdecaf:sha3_384_init/0`, `libdecaf:sha3_384_update/2`, `libdecaf:sha3_384_final/1`
      * `libdecaf:sha3_512_init/0`, `libdecaf:sha3_512_update/2`, `libdecaf:sha3_512_final/1`
      * `libdecaf:shake128_init/0`, `libdecaf:shake128_update/2`, `libdecaf:shake128_final/2`
      * `libdecaf:shake256_init/0`, `libdecaf:shake256_update/2`, `libdecaf:shake256_final/2`
  • Loading branch information
@potatosalad
potatosalad committed Mar 1, 2016
1 parent 03b0d6d commit 4d38fff
Show file tree
Hide file tree
Showing 21 changed files with 959 additions and 359 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,10 +24,12 @@ doc
logs
test/ct.cover.spec
/_build
/c_src/env.mk
/cover
/priv/*.dll
/priv/*.dylib
/priv/*.so
/test/fips180_4_SUITE_data/shabytetestvectors
/test/fips202_SUITE_data/keccaktestvectors
/tmp
*.ez
Expand Down
3 changes: 1 addition & 2 deletions .travis.yml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
language: erlang

sudo: required
dist: trusty
sudo: false

otp_release:
- 17.5
Expand Down
41 changes: 41 additions & 0 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
# Changelog

## 0.0.1 (2016-03-01)

* Initial Release

* Publish to [hex.pm](https://hex.pm/packages/libdecaf).

* Library Support
* ECDH
* `libdecaf:decaf_x25519_base_scalarmul/1`
* `libdecaf:decaf_x25519_direct_scalarmul/2`
* `libdecaf:decaf_x448_base_scalarmul/1`
* `libdecaf:decaf_x448_direct_scalarmul/2`
* EdDSA
* `libdecaf:decaf_255_eddsa_derive_public_key/1`
* `libdecaf:decaf_255_eddsa_sign/4`
* `libdecaf:decaf_255_eddsa_verify/4`
* `libdecaf:decaf_448_eddsa_derive_public_key/1`
* `libdecaf:decaf_448_eddsa_sign/5`
* `libdecaf:decaf_448_eddsa_verify/5`
* SHA-2
* `libdecaf:sha2_512/2`
* Streaming support
* `libdecaf:sha2_512_init/0`, `libdecaf:sha2_512_update/2`, `libdecaf:sha2_512_final/2`
* SHA-3
* `libdecaf:sha3_224/1`
* `libdecaf:sha3_256/1`
* `libdecaf:sha3_384/1`
* `libdecaf:sha3_512/1`
* `libdecaf:shake128/2`
* `libdecaf:shake256/2`
* Streaming support
* `libdecaf:sha3_224_init/0`, `libdecaf:sha3_224_update/2`, `libdecaf:sha3_224_final/1`
* `libdecaf:sha3_256_init/0`, `libdecaf:sha3_256_update/2`, `libdecaf:sha3_256_final/1`
* `libdecaf:sha3_384_init/0`, `libdecaf:sha3_384_update/2`, `libdecaf:sha3_384_final/1`
* `libdecaf:sha3_512_init/0`, `libdecaf:sha3_512_update/2`, `libdecaf:sha3_512_final/1`
* `libdecaf:shake128_init/0`, `libdecaf:shake128_update/2`, `libdecaf:shake128_final/2`
* `libdecaf:shake256_init/0`, `libdecaf:shake256_update/2`, `libdecaf:shake256_final/2`

* Basic Tests based on the [draft-irtf-cfrg-eddsa](https://tools.ietf.org/html/draft-irtf-cfrg-eddsa), [FIPS 180-4](http://csrc.nist.gov/publications/fips/fips180-4/fips-180-4.pdf), [FIPS 202](http://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.202.pdf), and [RFC 7748](https://tools.ietf.org/html/rfc7748) test vectors.
499 changes: 391 additions & 108 deletions README.md
View file

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions c_src/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,7 @@ ARCHFLAGS ?= -maes -mavx2 -mbmi2
CFLAGS += $(ARCHFLAGS)
CXXFLAGS += $(ARCHFLAGS)

ED448GOLDILOCKS_VSN ?= 9ea4534ca3cc64310861457d9c20bf5c93580f02
ED448GOLDILOCKS_VSN ?= e4e669dc9c4ad2642a28039b597ecb1a5655dbbd
ED448GOLDILOCKS_DIR ?= $(BASEDIR)/.ed448goldilocks
ED448GOLDILOCKS_GIT ?= git://github.com/potatosalad/ed448goldilocks.git
ED448GOLDILOCKS_OUTPUT_FILE ?= $(ED448GOLDILOCKS_DIR)/build/lib/libdecaf.so.1
Expand Down Expand Up @@ -178,7 +178,7 @@ $(ED448GOLDILOCKS_DIR):
$(verbose) (cd $(ED448GOLDILOCKS_DIR) && git checkout -q $(ED448GOLDILOCKS_VSN))

$(ED448GOLDILOCKS_OUTPUT_FILE): $(ED448GOLDILOCKS_DIR)
$(verbose) $(MAKE) -C $(ED448GOLDILOCKS_DIR)
$(verbose) $(MAKE) -C $(ED448GOLDILOCKS_DIR) lib

test-build:: $(C_SRC_OUTPUT_FILE)

Expand Down
51 changes: 51 additions & 0 deletions c_src/decaf_255_funcs.h
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
// -*- mode: c; tab-width: 8; indent-tabs-mode: 1; st-rulers: [70] -*-
// vim: ts=8 sw=8 ft=c noet

#include <decaf/decaf_255.h>

/*
* Erlang NIF functions
*/

/* decaf/decaf_255.h */

static ERL_NIF_TERM
libdecaf_decaf_x25519_base_scalarmul_1(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary scalar;

if (argc != 1 || !enif_inspect_binary(env, argv[0], &scalar)
|| scalar.size != X25519_PRIVATE_BYTES) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *u = (uint8_t *)(enif_make_new_binary(env, X25519_PUBLIC_BYTES, &out));

(void) decaf_x25519_base_scalarmul(u, scalar.data);

return out;
}

static ERL_NIF_TERM
libdecaf_decaf_x25519_direct_scalarmul_2(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary base;
ErlNifBinary scalar;

if (argc != 2 || !enif_inspect_binary(env, argv[0], &base)
|| base.size != X25519_PUBLIC_BYTES
|| !enif_inspect_binary(env, argv[1], &scalar)
|| scalar.size != X25519_PRIVATE_BYTES) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *u = (uint8_t *)(enif_make_new_binary(env, X25519_PUBLIC_BYTES, &out));

if (decaf_x25519_direct_scalarmul(u, base.data, scalar.data) == DECAF_SUCCESS) {
return out;
} else {
return ATOM_error;
}
}
51 changes: 51 additions & 0 deletions c_src/decaf_448_funcs.h
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
// -*- mode: c; tab-width: 8; indent-tabs-mode: 1; st-rulers: [70] -*-
// vim: ts=8 sw=8 ft=c noet

#include <decaf/decaf_448.h>

/*
* Erlang NIF functions
*/

/* decaf/decaf_448.h */

static ERL_NIF_TERM
libdecaf_decaf_x448_base_scalarmul_1(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary scalar;

if (argc != 1 || !enif_inspect_binary(env, argv[0], &scalar)
|| scalar.size != X448_PRIVATE_BYTES) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *u = (uint8_t *)(enif_make_new_binary(env, X448_PUBLIC_BYTES, &out));

(void) decaf_x448_base_scalarmul(u, scalar.data);

return out;
}

static ERL_NIF_TERM
libdecaf_decaf_x448_direct_scalarmul_2(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary base;
ErlNifBinary scalar;

if (argc != 2 || !enif_inspect_binary(env, argv[0], &base)
|| base.size != X448_PUBLIC_BYTES
|| !enif_inspect_binary(env, argv[1], &scalar)
|| scalar.size != X448_PRIVATE_BYTES) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *u = (uint8_t *)(enif_make_new_binary(env, X448_PUBLIC_BYTES, &out));

if (decaf_x448_direct_scalarmul(u, base.data, scalar.data) == DECAF_SUCCESS) {
return out;
} else {
return ATOM_error;
}
}
79 changes: 79 additions & 0 deletions c_src/eddsa_255_funcs.h
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
// -*- mode: c; tab-width: 8; indent-tabs-mode: 1; st-rulers: [70] -*-
// vim: ts=8 sw=8 ft=c noet

#include <decaf/eddsa_255.h>

/*
* Erlang NIF functions
*/

/* decaf/eddsa_255.h */

static ERL_NIF_TERM
libdecaf_decaf_255_eddsa_derive_public_key_1(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary privkey;

if (argc != 1 || !enif_inspect_binary(env, argv[0], &privkey)
|| privkey.size != DECAF_255_EDDSA_PRIVATE_BYTES) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *pubkey = (uint8_t *)(enif_make_new_binary(env, DECAF_255_EDDSA_PUBLIC_BYTES, &out));

(void) decaf_255_eddsa_derive_public_key(pubkey, privkey.data);

return out;
}

static ERL_NIF_TERM
libdecaf_decaf_255_eddsa_sign_4(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary privkey;
ErlNifBinary pubkey;
ErlNifBinary message;
unsigned int prehashed;

if (argc != 4 || !enif_inspect_binary(env, argv[0], &privkey)
|| privkey.size != DECAF_255_EDDSA_PRIVATE_BYTES
|| !enif_inspect_binary(env, argv[1], &pubkey)
|| pubkey.size != DECAF_255_EDDSA_PUBLIC_BYTES
|| !enif_inspect_binary(env, argv[2], &message)
|| !enif_get_uint(env, argv[3], &prehashed)
|| (prehashed != 0 && prehashed != 1)) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *signature = (uint8_t *)(enif_make_new_binary(env, DECAF_255_EDDSA_SIGNATURE_BYTES, &out));

(void) decaf_255_eddsa_sign(signature, privkey.data, pubkey.data, message.data, message.size, prehashed);

return out;
}

static ERL_NIF_TERM
libdecaf_decaf_255_eddsa_verify_4(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary signature;
ErlNifBinary pubkey;
ErlNifBinary message;
unsigned int prehashed;

if (argc != 4 || !enif_inspect_binary(env, argv[0], &signature)
|| signature.size != DECAF_255_EDDSA_SIGNATURE_BYTES
|| !enif_inspect_binary(env, argv[1], &pubkey)
|| pubkey.size != DECAF_255_EDDSA_PUBLIC_BYTES
|| !enif_inspect_binary(env, argv[2], &message)
|| !enif_get_uint(env, argv[3], &prehashed)
|| (prehashed != 0 && prehashed != 1)) {
return enif_make_badarg(env);
}

if (decaf_255_eddsa_verify(signature.data, pubkey.data, message.data, message.size, prehashed) == DECAF_SUCCESS) {
return ATOM_true;
} else {
return ATOM_false;
}
}
85 changes: 85 additions & 0 deletions c_src/eddsa_448_funcs.h
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,85 @@
// -*- mode: c; tab-width: 8; indent-tabs-mode: 1; st-rulers: [70] -*-
// vim: ts=8 sw=8 ft=c noet

#include <decaf/eddsa_448.h>

/*
* Erlang NIF functions
*/

/* decaf/eddsa_448.h */

static ERL_NIF_TERM
libdecaf_decaf_448_eddsa_derive_public_key_1(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary privkey;

if (argc != 1 || !enif_inspect_binary(env, argv[0], &privkey)
|| (privkey.size != DECAF_448_EDDSA_PRIVATE_BYTES && privkey.size != 32)) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *pubkey = (uint8_t *)(enif_make_new_binary(env, DECAF_448_EDDSA_PUBLIC_BYTES, &out));

(void) decaf_448_eddsa_derive_public_key(pubkey, privkey.data, (privkey.size == 32) ? 1 : 0);

return out;
}

static ERL_NIF_TERM
libdecaf_decaf_448_eddsa_sign_5(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary privkey;
ErlNifBinary pubkey;
ErlNifBinary message;
unsigned int prehashed;
ErlNifBinary context;

if (argc != 5 || !enif_inspect_binary(env, argv[0], &privkey)
|| (privkey.size != DECAF_448_EDDSA_PRIVATE_BYTES && privkey.size != 32)
|| !enif_inspect_binary(env, argv[1], &pubkey)
|| pubkey.size != DECAF_448_EDDSA_PUBLIC_BYTES
|| !enif_inspect_binary(env, argv[2], &message)
|| !enif_get_uint(env, argv[3], &prehashed)
|| (prehashed != 0 && prehashed != 1)
|| !enif_inspect_binary(env, argv[4], &context)
|| context.size > 255) {
return enif_make_badarg(env);
}

ERL_NIF_TERM out;
uint8_t *signature = (uint8_t *)(enif_make_new_binary(env, DECAF_448_EDDSA_SIGNATURE_BYTES, &out));

(void) decaf_448_eddsa_sign(signature, privkey.data, pubkey.data, message.data, message.size, prehashed, context.data, context.size, (privkey.size == 32) ? 1 : 0);

return out;
}

static ERL_NIF_TERM
libdecaf_decaf_448_eddsa_verify_5(ErlNifEnv *env, int argc, const ERL_NIF_TERM argv[])
{
ErlNifBinary signature;
ErlNifBinary pubkey;
ErlNifBinary message;
unsigned int prehashed;
ErlNifBinary context;

if (argc != 5 || !enif_inspect_binary(env, argv[0], &signature)
|| signature.size != DECAF_448_EDDSA_SIGNATURE_BYTES
|| !enif_inspect_binary(env, argv[1], &pubkey)
|| pubkey.size != DECAF_448_EDDSA_PUBLIC_BYTES
|| !enif_inspect_binary(env, argv[2], &message)
|| !enif_get_uint(env, argv[3], &prehashed)
|| (prehashed != 0 && prehashed != 1)
|| !enif_inspect_binary(env, argv[4], &context)
|| context.size > 255) {
return enif_make_badarg(env);
}

if (decaf_448_eddsa_verify(signature.data, pubkey.data, message.data, message.size, prehashed, context.data, context.size) == DECAF_SUCCESS) {
return ATOM_true;
} else {
return ATOM_false;
}
}
3 changes: 0 additions & 3 deletions c_src/env.mk
View file

This file was deleted.

Loading

0 comments on commit 4d38fff

Please sign in to comment.