eclipse/tinydtls
1
0
Fork 0
mirror of https://github.com/eclipse/tinydtls.git synced 2025-10-17 08:03:47 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
remove-string.h-from-header-files
tinydtls/ecc/testfield.c
Jon Shallow f06e787335 compile warnings: Include WARNING_CFLAGS in all Makefile.in 
Fix all the compile warnings generated following adding WARNING_CFLAGS
to all the Makefile.in files.

Fix tests/unit-tests/testdriver failures caused by dtls_prng() return value.

Signed-off-by: Jon Shallow <supjps-libcoap@jpshallow.com>
2021-06-01 20:08:13 +01:00

304 lines
10 KiB
C
Raw Permalink Blame History

/*
* Copyright (c) 2009 Chris K Cockrum <ckc@cockrum.net>
*
* Copyright (c) 2013 Jens Trillmann <jtrillma@tzi.de>
* Copyright (c) 2013 Marc Müller-Weinhardt <muewei@tzi.de>
* Copyright (c) 2013 Lars Schmertmann <lars@tzi.de>
* Copyright (c) 2013 Hauke Mehrtens <hauke@hauke-m.de>
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is
* furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included in
* all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
* THE SOFTWARE.
*
*
* This implementation is based in part on the paper Implementation of an
* Elliptic Curve Cryptosystem on an 8-bit Microcontroller [0] by
* Chris K Cockrum <ckc@cockrum.net>.
*
* [0]: http://cockrum.net/Implementation_of_ECC_on_an_8-bit_microcontroller.pdf
*
* This is a efficient ECC implementation on the secp256r1 curve for 32 Bit CPU
* architectures. It provides basic operations on the secp256r1 curve and support
* for ECDH and ECDSA.
*/
#include <assert.h>
#include <string.h>
#include <stdio.h>
#include "ecc.h"
#include "test_helper.h"
#ifdef CONTIKI
#include "contiki.h"
#endif /* CONTIKI */
//arbitrary test values and results
uint32_t null[8] = { 0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t null64[16] = { 0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t one[8] = { 0x00000001,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t one64[16] = { 0x00000001,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t two[8] = { 0x00000002,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t two64[16] = { 0x00000002,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t three[8] = { 0x00000003,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t four[8] = {0x00000004,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t four64[16] = { 0x00000004,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t six[8] = { 0x00000006,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t eight[8] = { 0x00000008,0x00000000,0x00000000,0x00000000,
0x00000000,0x00000000,0x00000000,0x00000000};
uint32_t full[8] = { 0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF,
0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFF};
//00000000fffffffeffffffffffffffffffffffff000000000000000000000001_16
uint32_t resultFullAdd[8] = { 0x00000001,0x00000000,0x00000000,0xFFFFFFFF,
0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFE,0x00000000};
uint32_t primeMinusOne[8]= { 0xfffffffe,0xffffffff,0xffffffff,0x00000000,
0x00000000,0x00000000,0x00000001,0xffffffff};
uint32_t resultDoubleMod[8] = { 0xfffffffd,0xffffffff,0xffffffff,0x00000000,
0x00000000,0x00000000,0x00000001,0xffffffff};
//fffffffe00000002fffffffe0000000100000001fffffffe00000001fffffffc00000003fffffffcfffffffffffffffffffffffc000000000000000000000004_16
uint32_t resultQuadMod[16] = { 0x00000004,0x00000000,0x00000000,0xFFFFFFFC,
0xFFFFFFFF,0xFFFFFFFF,0xFFFFFFFC,0x00000003,
0xFFFFFFFC,0x00000001,0xFFFFFFFE,0x00000001,
0x00000001,0xFFFFFFFE,0x00000002,0xFFFFFFFE};
//00000002fffffffffffffffffffffffefffffffdffffffff0000000000000002_16
uint32_t resultFullMod[8] = { 0x00000002,0x00000000,0xFFFFFFFF,0xFFFFFFFD,
0xFFFFFFFE,0xFFFFFFFF,0xFFFFFFFF,0x00000002};
static const uint32_t orderMinusOne[8] = {0xFC632550, 0xF3B9CAC2, 0xA7179E84, 0xBCE6FAAD,
0xFFFFFFFF, 0xFFFFFFFF, 0x00000000, 0xFFFFFFFF};
static const uint32_t orderResultDoubleMod[8] = {0xFC63254F, 0xF3B9CAC2, 0xA7179E84, 0xBCE6FAAD, 0xFFFFFFFF, 0xFFFFFFFF, 0x00000000, 0xFFFFFFFF};
uint32_t temp[8];
uint32_t temp2[16];
static void
nullEverything(void){
memset(temp, 0, sizeof(temp));
memset(temp2, 0, sizeof(temp));
}
static void
fieldAddTest(void){
assert(ecc_isSame(one, one, arrayLength));
ecc_fieldAdd(one, null, ecc_prime_r, temp);
assert(ecc_isSame(temp, one, arrayLength));
nullEverything();
ecc_fieldAdd(one, one, ecc_prime_r, temp);
assert(ecc_isSame(temp, two, arrayLength));
nullEverything();
ecc_add(full, one, temp, 32);
assert(ecc_isSame(null, temp, arrayLength));
nullEverything();
ecc_fieldAdd(full, one, ecc_prime_r, temp);
assert(ecc_isSame(temp, resultFullAdd, arrayLength));
}
static void
fieldSubTest(void){
assert(ecc_isSame(one, one, arrayLength));
ecc_fieldSub(one, null, ecc_prime_m, temp);
assert(ecc_isSame(one, temp, arrayLength));
nullEverything();
ecc_fieldSub(one, one, ecc_prime_m, temp);
assert(ecc_isSame(null, temp, arrayLength));
nullEverything();
ecc_fieldSub(null, one, ecc_prime_m, temp);
assert(ecc_isSame(primeMinusOne, temp, arrayLength));
}
static void
fieldMultTest(void){
ecc_fieldMult(one, null, temp2, arrayLength);
assert(ecc_isSame(temp2, null64, arrayLength * 2));
nullEverything();
ecc_fieldMult(one, two, temp2, arrayLength);
assert(ecc_isSame(temp2, two64, arrayLength * 2));
nullEverything();
ecc_fieldMult(two, two, temp2, arrayLength);
assert(ecc_isSame(temp2, four64, arrayLength * 2));
nullEverything();
ecc_fieldMult(primeMinusOne, primeMinusOne, temp2, arrayLength);
assert(ecc_isSame(temp2, resultQuadMod, arrayLength * 2));
nullEverything();
ecc_fieldInv(two, ecc_prime_m, ecc_prime_r, temp);
ecc_fieldMult(temp, two, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(temp, one, arrayLength));
}
static void
fieldModPTest(void){
ecc_fieldMult(primeMinusOne, primeMinusOne, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(temp, one, arrayLength));
nullEverything();
ecc_fieldModP(temp, one64);
assert(ecc_isSame(temp, one, arrayLength));
nullEverything();
ecc_fieldMult(two, primeMinusOne, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(temp, resultDoubleMod, arrayLength));
nullEverything();
/*fieldMult(full, full, temp2, arrayLength); //not working, maybe because of the number bigger than p^2?
fieldModP(temp, temp2);
assert(ecc_isSame(temp, resultFullMod, arrayLength));*/
}
static void
fieldModOTest(void){
ecc_fieldMult(orderMinusOne, orderMinusOne, temp2, arrayLength);
ecc_fieldModO(temp2, temp, arrayLength * 2);
assert(ecc_isSame(temp, one, arrayLength));
nullEverything();
ecc_fieldModO(one64, temp, arrayLength * 2);
assert(ecc_isSame(temp, one, arrayLength));
nullEverything();
ecc_fieldMult(two, orderMinusOne, temp2, arrayLength);
ecc_fieldModO(temp2, temp, arrayLength * 2);
assert(ecc_isSame(temp, orderResultDoubleMod, arrayLength));
nullEverything();
}
// static void
// rShiftTest(void){
// printNumber(full, 32);
// rshift(full);
// printNumber(full, 32);
// printNumber(two, 32);
// rshift(two);
// printNumber(two, 32);
// printNumber(four, 32);
// rshift(four);
// printNumber(four, 32);
// }
// static void
// isOneTest(void){
// printf("%d\n", isone(one));
// printf("%d\n", isone(two));
// printf("%d\n", isone(four));
// printf("%d\n", isone(full));
// printf("%d\n", isone(null));
// }
static void
fieldInvTest(void){
nullEverything();
ecc_fieldInv(two, ecc_prime_m, ecc_prime_r, temp);
ecc_fieldMult(temp, two, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(one, temp, arrayLength));
nullEverything();
ecc_fieldInv(eight, ecc_prime_m, ecc_prime_r, temp);
ecc_fieldMult(temp, eight, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(one, temp, arrayLength));
nullEverything();
ecc_fieldInv(three, ecc_prime_m, ecc_prime_r, temp);
ecc_fieldMult(temp, three, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(one, temp, arrayLength));
nullEverything();
ecc_fieldInv(six, ecc_prime_m, ecc_prime_r, temp);
ecc_fieldMult(temp, six, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(one, temp, arrayLength));
nullEverything();
ecc_fieldInv(primeMinusOne, ecc_prime_m, ecc_prime_r, temp);
ecc_fieldMult(temp, primeMinusOne, temp2, arrayLength);
ecc_fieldModP(temp, temp2);
assert(ecc_isSame(one, temp, arrayLength));
}
// static void
// randomStuff(void){
// }
#ifdef CONTIKI
PROCESS(ecc_field_test, "ECC field test");
AUTOSTART_PROCESSES(&ecc_field_test);
PROCESS_THREAD(ecc_field_test, ev, d)
{
PROCESS_BEGIN();
nullEverything();
//randomStuff();
nullEverything();
fieldAddTest();
nullEverything();
fieldSubTest();
nullEverything();
fieldMultTest();
nullEverything();
fieldModPTest();
nullEverything();
fieldModOTest();
nullEverything();
fieldInvTest();
nullEverything();
//rShiftTest();
//isOneTest();
printf("%s\n", "All Tests succesfull!");
PROCESS_END();
}
#else /* CONTIKI */
int main(int argc, char const *argv[])
{
(void)argc;
(void)argv;
nullEverything();
//randomStuff();
nullEverything();
fieldAddTest();
nullEverything();
fieldSubTest();
nullEverything();
fieldMultTest();
nullEverything();
fieldModPTest();
nullEverything();
fieldModOTest();
nullEverything();
fieldInvTest();
nullEverything();
//rShiftTest();
//isOneTest();
printf("%s\n", "All Tests succesfull!");
return 0;
}
#endif /* CONTIKI */
Reference in New Issue View Git Blame Copy Permalink