Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 1 | BEGIN_HEADER |
| 2 | #include <polarssl/ecp.h> |
| 3 | END_HEADER |
| 4 | |
| 5 | BEGIN_DEPENDENCIES |
| 6 | depends_on:POLARSSL_ECP_C:POLARSSL_BIGNUM_C |
| 7 | END_DEPENDENCIES |
| 8 | |
| 9 | BEGIN_CASE |
| 10 | ecp_small_add:a_zero:x_a:y_a:b_zero:x_b:y_b:c_zero:x_c:y_c |
| 11 | { |
| 12 | ecp_group grp; |
| 13 | ecp_point A, B, C; |
| 14 | |
| 15 | ecp_group_init( &grp ); |
| 16 | ecp_point_init( &A ); ecp_point_init( &B ); ecp_point_init( &C ); |
| 17 | |
| 18 | TEST_ASSERT( ecp_group_read_string( &grp, 10, |
| 19 | "47", "4", "17", "42", "13" ) == 0 ); |
| 20 | |
| 21 | if( {a_zero} ) |
| 22 | ecp_set_zero( &A ); |
| 23 | else |
| 24 | TEST_ASSERT( ecp_point_read_string( &A, 10, {x_a}, {y_a} ) == 0 ); |
| 25 | |
| 26 | if( {b_zero} ) |
| 27 | ecp_set_zero( &B ); |
| 28 | else |
| 29 | TEST_ASSERT( ecp_point_read_string( &B, 10, {x_b}, {y_b} ) == 0 ); |
| 30 | |
| 31 | TEST_ASSERT( ecp_add( &grp, &C, &A, &B ) == 0 ); |
| 32 | |
| 33 | if( {c_zero} ) |
Manuel Pégourié-Gonnard | 1c2782c | 2012-11-19 20:16:28 +0100 | [diff] [blame] | 34 | TEST_ASSERT( mpi_cmp_int( &C.Z, 0 ) == 0 ); |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 35 | else |
| 36 | { |
| 37 | TEST_ASSERT( mpi_cmp_int( &C.X, {x_c} ) == 0 ); |
| 38 | TEST_ASSERT( mpi_cmp_int( &C.Y, {y_c} ) == 0 ); |
| 39 | } |
| 40 | |
| 41 | TEST_ASSERT( ecp_add( &grp, &C, &B, &A ) == 0 ); |
| 42 | |
| 43 | if( {c_zero} ) |
Manuel Pégourié-Gonnard | 1c2782c | 2012-11-19 20:16:28 +0100 | [diff] [blame] | 44 | TEST_ASSERT( mpi_cmp_int( &C.Z, 0 ) == 0 ); |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 45 | else |
| 46 | { |
| 47 | TEST_ASSERT( mpi_cmp_int( &C.X, {x_c} ) == 0 ); |
| 48 | TEST_ASSERT( mpi_cmp_int( &C.Y, {y_c} ) == 0 ); |
| 49 | } |
| 50 | |
| 51 | ecp_group_free( &grp ); |
| 52 | ecp_point_free( &A ); ecp_point_free( &B ); ecp_point_free( &C ); |
| 53 | } |
| 54 | END_CASE |
| 55 | |
| 56 | BEGIN_CASE |
Manuel Pégourié-Gonnard | 9674fd0 | 2012-11-19 21:23:27 +0100 | [diff] [blame] | 57 | ecp_small_sub:a_zero:x_a:y_a:b_zero:x_b:y_b:c_zero:x_c:y_c |
| 58 | { |
| 59 | ecp_group grp; |
| 60 | ecp_point A, B, C; |
| 61 | |
| 62 | ecp_group_init( &grp ); |
| 63 | ecp_point_init( &A ); ecp_point_init( &B ); ecp_point_init( &C ); |
| 64 | |
| 65 | TEST_ASSERT( ecp_group_read_string( &grp, 10, |
| 66 | "47", "4", "17", "42", "13" ) == 0 ); |
| 67 | |
| 68 | if( {a_zero} ) |
| 69 | ecp_set_zero( &A ); |
| 70 | else |
| 71 | TEST_ASSERT( ecp_point_read_string( &A, 10, {x_a}, {y_a} ) == 0 ); |
| 72 | |
| 73 | if( {b_zero} ) |
| 74 | ecp_set_zero( &B ); |
| 75 | else |
| 76 | TEST_ASSERT( ecp_point_read_string( &B, 10, {x_b}, {y_b} ) == 0 ); |
| 77 | |
| 78 | TEST_ASSERT( ecp_sub( &grp, &C, &A, &B ) == 0 ); |
| 79 | |
| 80 | if( {c_zero} ) |
| 81 | TEST_ASSERT( mpi_cmp_int( &C.Z, 0 ) == 0 ); |
| 82 | else |
| 83 | { |
| 84 | TEST_ASSERT( mpi_cmp_int( &C.X, {x_c} ) == 0 ); |
| 85 | TEST_ASSERT( mpi_cmp_int( &C.Y, {y_c} ) == 0 ); |
| 86 | } |
| 87 | |
| 88 | ecp_group_free( &grp ); |
| 89 | ecp_point_free( &A ); ecp_point_free( &B ); ecp_point_free( &C ); |
| 90 | } |
| 91 | END_CASE |
| 92 | |
| 93 | BEGIN_CASE |
Manuel Pégourié-Gonnard | 4bdd47d | 2012-11-11 14:33:59 +0100 | [diff] [blame] | 94 | ecp_small_mul:m:r_zero:x_r:y_r:ret |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 95 | { |
| 96 | ecp_group grp; |
| 97 | ecp_point R; |
| 98 | mpi m; |
| 99 | |
| 100 | ecp_group_init( &grp ); |
| 101 | ecp_point_init( &R ); |
| 102 | mpi_init( &m ); |
| 103 | |
| 104 | TEST_ASSERT( ecp_group_read_string( &grp, 10, |
| 105 | "47", "4", "17", "42", "13" ) == 0 ); |
| 106 | |
| 107 | TEST_ASSERT( mpi_lset( &m, {m} ) == 0 ); |
| 108 | |
Manuel Pégourié-Gonnard | 4bdd47d | 2012-11-11 14:33:59 +0100 | [diff] [blame] | 109 | TEST_ASSERT( ecp_mul( &grp, &R, &m, &grp.G ) == {ret} ); |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 110 | |
| 111 | if( {r_zero} ) |
Manuel Pégourié-Gonnard | 1c2782c | 2012-11-19 20:16:28 +0100 | [diff] [blame] | 112 | TEST_ASSERT( mpi_cmp_int( &R.Z, 0 ) == 0 ); |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 113 | else |
| 114 | { |
| 115 | TEST_ASSERT( mpi_cmp_int( &R.X, {x_r} ) == 0 ); |
| 116 | TEST_ASSERT( mpi_cmp_int( &R.Y, {y_r} ) == 0 ); |
| 117 | } |
| 118 | |
| 119 | ecp_group_free( &grp ); |
| 120 | ecp_point_free( &R ); |
| 121 | mpi_free( &m ); |
| 122 | } |
| 123 | END_CASE |
| 124 | |
| 125 | BEGIN_CASE |
Manuel Pégourié-Gonnard | 1c33057 | 2012-11-24 12:05:44 +0100 | [diff] [blame] | 126 | ecp_small_check_pub:x:y:z:ret |
| 127 | { |
| 128 | ecp_group grp; |
| 129 | ecp_point P; |
| 130 | |
| 131 | ecp_group_init( &grp ); |
| 132 | ecp_point_init( &P ); |
| 133 | |
| 134 | TEST_ASSERT( ecp_group_read_string( &grp, 10, |
| 135 | "47", "4", "17", "42", "13" ) == 0 ); |
| 136 | |
| 137 | TEST_ASSERT( mpi_lset( &P.X, {x} ) == 0 ); |
| 138 | TEST_ASSERT( mpi_lset( &P.Y, {y} ) == 0 ); |
| 139 | TEST_ASSERT( mpi_lset( &P.Z, {z} ) == 0 ); |
| 140 | |
| 141 | TEST_ASSERT( ecp_check_pubkey( &grp, &P ) == {ret} ); |
| 142 | |
| 143 | ecp_group_free( &grp ); |
| 144 | ecp_point_free( &P ); |
| 145 | } |
| 146 | END_CASE |
| 147 | |
| 148 | BEGIN_CASE |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 149 | ecp_test_vect:id:dA:xA:yA:dB:xB:yB:xZ:yZ |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 150 | { |
| 151 | ecp_group grp; |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 152 | ecp_point R; |
| 153 | mpi dA, xA, yA, dB, xB, yB, xZ, yZ; |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 154 | |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 155 | ecp_group_init( &grp ); ecp_point_init( &R ); |
| 156 | mpi_init( &dA ); mpi_init( &xA ); mpi_init( &yA ); mpi_init( &dB ); |
| 157 | mpi_init( &xB ); mpi_init( &yB ); mpi_init( &xZ ); mpi_init( &yZ ); |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 158 | |
| 159 | TEST_ASSERT( ecp_use_known_dp( &grp, POLARSSL_ECP_DP_{id} ) == 0 ); |
| 160 | |
Manuel Pégourié-Gonnard | 1c33057 | 2012-11-24 12:05:44 +0100 | [diff] [blame] | 161 | TEST_ASSERT( ecp_check_pubkey( &grp, &grp.G ) == 0 ); |
| 162 | |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 163 | TEST_ASSERT( mpi_read_string( &dA, 16, {dA} ) == 0 ); |
| 164 | TEST_ASSERT( mpi_read_string( &xA, 16, {xA} ) == 0 ); |
| 165 | TEST_ASSERT( mpi_read_string( &yA, 16, {yA} ) == 0 ); |
| 166 | TEST_ASSERT( mpi_read_string( &dB, 16, {dB} ) == 0 ); |
| 167 | TEST_ASSERT( mpi_read_string( &xB, 16, {xB} ) == 0 ); |
| 168 | TEST_ASSERT( mpi_read_string( &yB, 16, {yB} ) == 0 ); |
| 169 | TEST_ASSERT( mpi_read_string( &xZ, 16, {xZ} ) == 0 ); |
| 170 | TEST_ASSERT( mpi_read_string( &yZ, 16, {yZ} ) == 0 ); |
| 171 | |
| 172 | TEST_ASSERT( ecp_mul( &grp, &R, &dA, &grp.G ) == 0 ); |
| 173 | TEST_ASSERT( mpi_cmp_mpi( &R.X, &xA ) == 0 ); |
| 174 | TEST_ASSERT( mpi_cmp_mpi( &R.Y, &yA ) == 0 ); |
Manuel Pégourié-Gonnard | 1c33057 | 2012-11-24 12:05:44 +0100 | [diff] [blame] | 175 | TEST_ASSERT( ecp_check_pubkey( &grp, &R ) == 0 ); |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 176 | TEST_ASSERT( ecp_mul( &grp, &R, &dB, &R ) == 0 ); |
| 177 | TEST_ASSERT( mpi_cmp_mpi( &R.X, &xZ ) == 0 ); |
| 178 | TEST_ASSERT( mpi_cmp_mpi( &R.Y, &yZ ) == 0 ); |
Manuel Pégourié-Gonnard | 1c33057 | 2012-11-24 12:05:44 +0100 | [diff] [blame] | 179 | TEST_ASSERT( ecp_check_pubkey( &grp, &R ) == 0 ); |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 180 | |
| 181 | TEST_ASSERT( ecp_mul( &grp, &R, &dB, &grp.G ) == 0 ); |
| 182 | TEST_ASSERT( mpi_cmp_mpi( &R.X, &xB ) == 0 ); |
| 183 | TEST_ASSERT( mpi_cmp_mpi( &R.Y, &yB ) == 0 ); |
Manuel Pégourié-Gonnard | 1c33057 | 2012-11-24 12:05:44 +0100 | [diff] [blame] | 184 | TEST_ASSERT( ecp_check_pubkey( &grp, &R ) == 0 ); |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 185 | TEST_ASSERT( ecp_mul( &grp, &R, &dA, &R ) == 0 ); |
| 186 | TEST_ASSERT( mpi_cmp_mpi( &R.X, &xZ ) == 0 ); |
| 187 | TEST_ASSERT( mpi_cmp_mpi( &R.Y, &yZ ) == 0 ); |
Manuel Pégourié-Gonnard | 1c33057 | 2012-11-24 12:05:44 +0100 | [diff] [blame] | 188 | TEST_ASSERT( ecp_check_pubkey( &grp, &R ) == 0 ); |
Manuel Pégourié-Gonnard | e739f01 | 2012-11-07 12:24:22 +0100 | [diff] [blame] | 189 | |
| 190 | ecp_group_free( &grp ); ecp_point_free( &R ); |
| 191 | mpi_free( &dA ); mpi_free( &xA ); mpi_free( &yA ); mpi_free( &dB ); |
| 192 | mpi_free( &xB ); mpi_free( &yB ); mpi_free( &xZ ); mpi_free( &yZ ); |
Manuel Pégourié-Gonnard | 4b8c3f2 | 2012-11-07 21:39:45 +0100 | [diff] [blame] | 193 | } |
| 194 | END_CASE |
Manuel Pégourié-Gonnard | 8433824 | 2012-11-11 20:45:18 +0100 | [diff] [blame] | 195 | |
| 196 | BEGIN_CASE |
| 197 | ecp_fast_mod:id:N |
| 198 | { |
| 199 | ecp_group grp; |
| 200 | mpi N, R; |
| 201 | |
| 202 | mpi_init( &N ); mpi_init( &R ); |
| 203 | ecp_group_init( &grp ); |
| 204 | |
| 205 | TEST_ASSERT( ecp_use_known_dp( &grp, POLARSSL_ECP_DP_{id} ) == 0 ); |
| 206 | TEST_ASSERT( mpi_read_string( &N, 16, {N} ) == 0 ); |
| 207 | |
| 208 | /* |
| 209 | * Store correct result before we touch N |
| 210 | */ |
| 211 | TEST_ASSERT( mpi_mod_mpi( &R, &N, &grp.P ) == 0 ); |
| 212 | |
| 213 | TEST_ASSERT( grp.modp( &N ) == 0 ); |
| 214 | TEST_ASSERT( mpi_msb( &N ) <= grp.pbits + 3 ); |
| 215 | |
| 216 | /* |
| 217 | * Use mod rather than addition/substraction in case previous test fails |
| 218 | */ |
| 219 | TEST_ASSERT( mpi_mod_mpi( &N, &N, &grp.P ) == 0 ); |
| 220 | TEST_ASSERT( mpi_cmp_mpi( &N, &R ) == 0 ); |
| 221 | |
| 222 | mpi_free( &N ); mpi_free( &R ); |
| 223 | ecp_group_free( &grp ); |
| 224 | } |
| 225 | END_CASE |
Manuel Pégourié-Gonnard | b4a310b | 2012-11-13 20:57:00 +0100 | [diff] [blame] | 226 | |
| 227 | BEGIN_CASE |
Manuel Pégourié-Gonnard | 37d218a | 2012-11-24 15:19:55 +0100 | [diff] [blame^] | 228 | ecp_write_binary:id:x:y:z:format:out:blen:ret |
Manuel Pégourié-Gonnard | e19feb5 | 2012-11-24 14:10:14 +0100 | [diff] [blame] | 229 | { |
| 230 | ecp_group grp; |
| 231 | ecp_point P; |
| 232 | unsigned char buf[256], str[512]; |
| 233 | size_t olen; |
| 234 | |
| 235 | memset( buf, 0, sizeof( buf ) ); |
| 236 | memset( str, 0, sizeof( str ) ); |
| 237 | |
| 238 | ecp_group_init( &grp ); ecp_point_init( &P ); |
| 239 | |
| 240 | TEST_ASSERT( ecp_use_known_dp( &grp, POLARSSL_ECP_DP_{id} ) == 0 ); |
| 241 | |
| 242 | TEST_ASSERT( mpi_read_string( &P.X, 16, {x} ) == 0 ); |
| 243 | TEST_ASSERT( mpi_read_string( &P.Y, 16, {y} ) == 0 ); |
| 244 | TEST_ASSERT( mpi_read_string( &P.Z, 16, {z} ) == 0 ); |
| 245 | |
Manuel Pégourié-Gonnard | 37d218a | 2012-11-24 15:19:55 +0100 | [diff] [blame^] | 246 | #define POLARSSL_ECP_PF_UNKNOWN -1 |
| 247 | TEST_ASSERT( ecp_write_binary( &grp, &P, POLARSSL_ECP_PF_{format}, |
| 248 | &olen, buf, {blen} ) == {ret} ); |
Manuel Pégourié-Gonnard | e19feb5 | 2012-11-24 14:10:14 +0100 | [diff] [blame] | 249 | |
| 250 | if( {ret} == 0 ) |
| 251 | { |
Manuel Pégourié-Gonnard | 37d218a | 2012-11-24 15:19:55 +0100 | [diff] [blame^] | 252 | hexify( str, buf, olen ); |
Manuel Pégourié-Gonnard | e19feb5 | 2012-11-24 14:10:14 +0100 | [diff] [blame] | 253 | TEST_ASSERT( strcasecmp( (char *) str, {out} ) == 0 ); |
| 254 | } |
| 255 | |
| 256 | ecp_group_free( &grp ); ecp_point_free( &P ); |
| 257 | } |
| 258 | END_CASE |
| 259 | |
| 260 | BEGIN_CASE |
Manuel Pégourié-Gonnard | b4a310b | 2012-11-13 20:57:00 +0100 | [diff] [blame] | 261 | ecp_selftest: |
| 262 | { |
| 263 | TEST_ASSERT( ecp_self_test( 0 ) == 0 ); |
| 264 | } |
| 265 | END_CASE |