Commit Graph

224 Commits

Author SHA1 Message Date
Alexander Færøy e408278d50 Move the high-level API to enacl_ext 2015-02-22 14:29:44 +01:00
Alexander Færøy d61d363426 Zero out temporary secret key memory. 2015-02-22 13:26:11 +01:00
Alexander Færøy ef36bb85c1 Add curve25519_public_key/1. 2015-02-21 23:08:07 +01:00
Alexander Færøy 4e66fc3b94 Add curve25519_keypair/0 and curve25519_shared/2. 2015-02-21 22:49:44 +01:00
Alexander Færøy 6de936899c Use rebar3 for compilation. 2015-02-21 22:47:20 +01:00
Jesper Louis Andersen 50b0058335 Improve the documentation of the project.
Go over the README file, and improve its contents. Add a Usage/hints section
with some helpful hints on how to use the library in turn. Also while here, make
sure that `rebar doc` works as expected and fix every documentation bug in
the EDoc sections, so it compiles and works. Verify the documentation output
is nice-looking while at it.
2014-12-18 09:28:00 +01:00
Jesper Louis Andersen 2a23a16ed3 Add in tests for beforenm/afternm to the EQC model. 2014-12-18 08:48:05 +01:00
Jesper Louis Andersen 159e8f6750 Introduce precomputed keys API.
This patch implements beforenm/afternm calls from NaCl for `box` style
crypto. It's main advantage is way faster computations, since it avoids
recomputing in the elliptic curve for every message.

While here, bump the version to v0.11.0 as new functionality was added.
v0.11.0
2014-12-17 17:12:29 +01:00
Jesper Louis Andersen f2da7b014b Update changelog. 2014-12-17 16:17:43 +01:00
Jesper Louis Andersen fc0f535882 Introduce timing for precomputed values. 2014-12-17 16:17:12 +01:00
Jesper Louis Andersen 238907e2a7 Fix bug in box_open_afternm + Improve readability of C code.
If we write

	EXP != 0

and EXP is a very large term, it is hard to see what it gets checked against, so we rewrite it as

	0 != EXP

so we instanly see what we check against. While here, teset against 0 != crypto_box_afternm(…)
2014-12-17 16:15:29 +01:00
Jesper Louis Andersen e456f4ea9b Introduce blocking variants. 2014-12-17 15:50:02 +01:00
Jesper Louis Andersen e594146f67 Implement the beforenm/afternm calls at the NIF layer. 2014-12-17 12:46:54 +01:00
Jesper Louis Andersen b6aee8365d Inject faults into iodata() values.
This further verifies the test cases and also the enacl API. By injecting
wrong data, we verify that given incorrect data will make the system fail
and error(badarg) all over the place.
2014-12-17 12:19:04 +01:00
Jesper Louis Andersen b1ed21e71d Introduce iodata() in the EQC tests.
Introduce a type for iodata() in the EQC tests. Use this type throughout
the tests in order to make sure we can supply iodata() in all places where
we claim we can supply iodata().
2014-12-17 08:36:49 +01:00
Jesper Louis Andersen 797daa653b Fix a type specification.
When calling `stream_xor/3` it is possible to supply `iodata()` directly
and you don't have to convert to a binary first. Reflect this in the type
of the specification.
2014-12-17 08:35:50 +01:00
Jesper Louis Andersen ea4558738a Fix typo in spec, unbreak compilation. 2014-12-16 16:59:30 +01:00
Jesper Louis Andersen cf08e5446f Fix a type -spec. 2014-12-16 16:55:45 +01:00
Jesper Louis Andersen ad663d5c9c Improve wording a bit in the requirements section. 2014-12-16 15:27:38 +01:00
Jesper Louis Andersen 45cc6a3fa4 Hello v0.10.2 v0.10.2 2014-12-16 15:24:15 +01:00
Jesper Louis Andersen 9b6a45a0c1 Improve documentation and write a changelog for 0.10.1
Thanks to David N. Welton.
2014-12-16 15:17:31 +01:00
Jesper Louis Andersen 574f731505 Fix an error in the timing code.
Luckily this has had no effect on timing in practice save for a small unmeasurable constant factor.

Thanks to the dialyzer for finding the problem.
2014-12-16 15:16:43 +01:00
Jesper Louis Andersen 541db5b5ee Use erlang:nif_error/1 to teach the dialyzer to ignore the errors.
Thanks to Anthony Ramine
2014-12-16 15:13:21 +01:00
Jesper Louis Andersen e10b7c8cfe Fail compilation if the Erlang/OTP system has no dirty scheduler support. 2014-12-16 15:12:52 +01:00
Jesper Louis Andersen 23e535fcc2 Use better specifications. 2014-12-13 02:23:04 +01:00
Jesper Louis Andersen 943371d21a Hello v0.10.1 v0.10.1 2014-12-13 02:09:48 +01:00
Jesper Louis Andersen f7dedf8236 Write tests for randombytes/1 and the scramble_block_16 extension. 2014-12-13 02:09:03 +01:00
Jesper Louis Andersen 5fec48c091 EQC Test improvements
* Generalize binary generation because it is used again and again.
* Use generalized binary generation in the hash functions since they are much faster as generators.
2014-12-13 02:00:52 +01:00
Jesper Louis Andersen b109ff7834 Provide a type specification of enacl:randombytes/1 2014-12-12 02:45:12 +01:00
Jesper Louis Andersen fd9f421621 Introduce enacl:randombytes/1. v0.10.0 2014-12-09 00:33:55 +01:00
Jesper Louis Andersen 6d37abd76a Remove a section that has *already* been implemented 2014-12-01 15:38:05 +01:00
Jesper Louis Andersen 2a5a62f3dd Add a missing word in the README.md file. 2014-12-01 14:14:38 +01:00
Jesper Louis Andersen f92732f512 I knew I had forgotten someone.
Rickard Green has been instrumental in Dirty Schedulers as well. Lets add him
(gentle poke by @vinoski).
2014-11-29 21:47:03 +01:00
Jesper Louis Andersen 2e97717558 Improve README.md wording. 2014-11-29 17:32:30 +01:00
Jesper Louis Andersen a03614c268 Add this under an MIT license. 2014-11-29 17:21:34 +01:00
Jesper Louis Andersen ee2624a544 Update the README.md file. v0.9.0 2014-11-29 17:15:58 +01:00
Jesper Louis Andersen 33a47e4fd4 Do not accept iolist data when binary data is what is forced by the input code. 2014-11-29 17:14:53 +01:00
Jesper Louis Andersen 90509026ce reduction handling, iodata() conversion. 2014-11-29 16:45:58 +01:00
Jesper Louis Andersen d9dbabf736 Improve ordering of the README file. 2014-11-29 16:12:21 +01:00
Jesper Louis Andersen 9ab3861d47 Add benchmarking script. 2014-11-29 16:06:49 +01:00
Jesper Louis Andersen 2724873f2f Add timing for all missing operations. 2014-11-29 15:49:13 +01:00
Jesper Louis Andersen d46ae1da16 Use on-scheduler variants of calls when message sizes are small. 2014-11-28 17:09:48 +01:00
Jesper Louis Andersen 281c3e8fbf Provide (scheduler) blocking variants of all the expensive calls. 2014-11-28 14:53:18 +01:00
Jesper Louis Andersen 2d39e2535e Properly initialize libsodium. 2014-11-28 14:41:20 +01:00
Jesper Louis Andersen addd22b31a More documentation and testing functions. 2014-11-28 14:41:06 +01:00
Jesper Louis Andersen 33612a083e Test enacl:sign_open/2 as well. 2014-11-28 13:31:02 +01:00
Jesper Louis Andersen 9cd38c7651 Introduce test cases for signing and partially for sign-opening. 2014-11-26 22:10:09 +01:00
Jesper Louis Andersen 57bb93683b Introduce tests for authentication verification and provide basis for signatures. 2014-11-26 20:05:59 +01:00
Jesper Louis Andersen ec0cc1afaa Handle the Auth tests. 2014-11-26 15:08:14 +01:00
Jesper Louis Andersen 6a707aef57 Write test cases for the streaming API. 2014-11-26 14:24:14 +01:00