Manuel Pégourié-Gonnard | 61ce13b | 2013-01-26 16:20:32 +0100 | [diff] [blame] | 1 | BEGIN_HEADER |
| 2 | #include <polarssl/ecdh.h> |
| 3 | END_HEADER |
| 4 | |
| 5 | BEGIN_DEPENDENCIES |
| 6 | depends_on:POLARSSL_ECDH_C:POLARSSL_ECP_C:POLARSSL_BIGNUM_C |
| 7 | END_DEPENDENCIES |
| 8 | |
| 9 | BEGIN_CASE |
Manuel Pégourié-Gonnard | 007b717 | 2013-01-27 08:56:21 +0100 | [diff] [blame^] | 10 | ecdh_primitive_random:id |
Manuel Pégourié-Gonnard | 61ce13b | 2013-01-26 16:20:32 +0100 | [diff] [blame] | 11 | { |
| 12 | ecp_group grp; |
| 13 | ecp_point qA, qB; |
| 14 | mpi dA, dB, zA, zB; |
| 15 | rnd_pseudo_info rnd_info; |
| 16 | |
| 17 | ecp_group_init( &grp ); |
| 18 | ecp_point_init( &qA ); ecp_point_init( &qB ); |
| 19 | mpi_init( &dA ); mpi_init( &dB ); |
| 20 | mpi_init( &zA ); mpi_init( &zB ); |
| 21 | memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) ); |
| 22 | |
| 23 | TEST_ASSERT( ecp_use_known_dp( &grp, POLARSSL_ECP_DP_{id} ) == 0 ); |
| 24 | |
| 25 | TEST_ASSERT( ecdh_gen_public( &grp, &dA, &qA, &rnd_pseudo_rand, &rnd_info ) |
| 26 | == 0 ); |
| 27 | TEST_ASSERT( ecdh_gen_public( &grp, &dB, &qB, &rnd_pseudo_rand, &rnd_info ) |
| 28 | == 0 ); |
| 29 | TEST_ASSERT( ecdh_compute_shared( &grp, &zA, &qB, &dA ) == 0 ); |
| 30 | TEST_ASSERT( ecdh_compute_shared( &grp, &zB, &qA, &dB ) == 0 ); |
| 31 | |
| 32 | TEST_ASSERT( mpi_cmp_mpi( &zA, &zB ) == 0 ); |
| 33 | |
| 34 | ecp_group_free( &grp ); |
| 35 | ecp_point_free( &qA ); ecp_point_free( &qB ); |
| 36 | mpi_free( &dA ); mpi_free( &dB ); |
| 37 | mpi_free( &zA ); mpi_free( &zB ); |
| 38 | } |
| 39 | END_CASE |
Manuel Pégourié-Gonnard | 007b717 | 2013-01-27 08:56:21 +0100 | [diff] [blame^] | 40 | |
| 41 | BEGIN_CASE |
| 42 | ecdh_primitive_testvec:id:dA:xA:yA:dB:xB:yB:z |
| 43 | { |
| 44 | ecp_group grp; |
| 45 | ecp_point qA, qB; |
| 46 | mpi dA, dB, zA, zB, check; |
| 47 | |
| 48 | ecp_group_init( &grp ); |
| 49 | ecp_point_init( &qA ); ecp_point_init( &qB ); |
| 50 | mpi_init( &dA ); mpi_init( &dB ); |
| 51 | mpi_init( &zA ); mpi_init( &zB ); mpi_init( &check ); |
| 52 | |
| 53 | TEST_ASSERT( ecp_use_known_dp( &grp, POLARSSL_ECP_DP_{id} ) == 0 ); |
| 54 | |
| 55 | TEST_ASSERT( ecdh_gen_public( &grp, &dA, &qA, ¬_rnd, "{dA}" ) == 0 ); |
| 56 | TEST_ASSERT( ! ecp_is_zero( &qA ) ); |
| 57 | TEST_ASSERT( mpi_read_string( &check, 16, "{xA}" ) == 0 ); |
| 58 | TEST_ASSERT( mpi_cmp_mpi( &qA.X, &check ) == 0 ); |
| 59 | TEST_ASSERT( mpi_read_string( &check, 16, "{yA}" ) == 0 ); |
| 60 | TEST_ASSERT( mpi_cmp_mpi( &qA.Y, &check ) == 0 ); |
| 61 | |
| 62 | TEST_ASSERT( ecdh_gen_public( &grp, &dB, &qB, ¬_rnd, "{dB}" ) == 0 ); |
| 63 | TEST_ASSERT( ! ecp_is_zero( &qB ) ); |
| 64 | TEST_ASSERT( mpi_read_string( &check, 16, "{xB}" ) == 0 ); |
| 65 | TEST_ASSERT( mpi_cmp_mpi( &qB.X, &check ) == 0 ); |
| 66 | TEST_ASSERT( mpi_read_string( &check, 16, "{yB}" ) == 0 ); |
| 67 | TEST_ASSERT( mpi_cmp_mpi( &qB.Y, &check ) == 0 ); |
| 68 | |
| 69 | TEST_ASSERT( mpi_read_string( &check, 16, "{z}" ) == 0 ); |
| 70 | TEST_ASSERT( ecdh_compute_shared( &grp, &zA, &qB, &dA ) == 0 ); |
| 71 | TEST_ASSERT( mpi_cmp_mpi( &zA, &check ) == 0 ); |
| 72 | TEST_ASSERT( ecdh_compute_shared( &grp, &zB, &qA, &dB ) == 0 ); |
| 73 | TEST_ASSERT( mpi_cmp_mpi( &zB, &check ) == 0 ); |
| 74 | |
| 75 | ecp_group_free( &grp ); |
| 76 | ecp_point_free( &qA ); ecp_point_free( &qB ); |
| 77 | mpi_free( &dA ); mpi_free( &dB ); |
| 78 | mpi_free( &zA ); mpi_free( &zB ); mpi_free( &check ); |
| 79 | } |
| 80 | END_CASE |