1 /******************************************************************************* 2 * Copyright 2003-2018 Intel Corporation 3 * All Rights Reserved. 4 * 5 * If this software was obtained under the Intel Simplified Software License, 6 * the following terms apply: 7 * 8 * The source code, information and material ("Material") contained herein is 9 * owned by Intel Corporation or its suppliers or licensors, and title to such 10 * Material remains with Intel Corporation or its suppliers or licensors. The 11 * Material contains proprietary information of Intel or its suppliers and 12 * licensors. The Material is protected by worldwide copyright laws and treaty 13 * provisions. No part of the Material may be used, copied, reproduced, 14 * modified, published, uploaded, posted, transmitted, distributed or disclosed 15 * in any way without Intel's prior express written permission. No license under 16 * any patent, copyright or other intellectual property rights in the Material 17 * is granted to or conferred upon you, either expressly, by implication, 18 * inducement, estoppel or otherwise. Any license under such intellectual 19 * property rights must be express and approved by Intel in writing. 20 * 21 * Unless otherwise agreed by Intel in writing, you may not remove or alter this 22 * notice or any other notice embedded in Materials by Intel or Intel's 23 * suppliers or licensors in any way. 24 * 25 * 26 * If this software was obtained under the Apache License, Version 2.0 (the 27 * "License"), the following terms apply: 28 * 29 * You may not use this file except in compliance with the License. You may 30 * obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 31 * 32 * 33 * Unless required by applicable law or agreed to in writing, software 34 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 35 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 36 * 37 * See the License for the specific language governing permissions and 38 * limitations under the License. 39 *******************************************************************************/ 40 41 /* 42 // 43 // Purpose: 44 // Cryptography Primitive. 45 // EC over Prime Finite Field (Verify Signature, NR version) 46 // 47 // Contents: 48 // ippsECCPVerifyNR() 49 // 50 // 51 */ 52 53 #include "owndefs.h" 54 #include "owncp.h" 55 #include "pcpeccp.h" 56 57 58 /*F* 59 // Name: ippsECCPVerifyNR 60 // 61 // Purpose: Verify Signature (NR version). 62 // 63 // Returns: Reason: 64 // ippStsNullPtrErr NULL == pEC 65 // NULL == pMsgDigest 66 // NULL == pSignX 67 // NULL == pSignY 68 // NULL == pResult 69 // 70 // ippStsContextMatchErr illegal pEC->idCtx 71 // illegal pMsgDigest->idCtx 72 // illegal pSignX->idCtx 73 // illegal pSignY->idCtx 74 // 75 // ippStsMessageErr 0> MsgDigest 76 // order<= MsgDigest 77 // 78 // ippStsRangeErr SignX < 0 or SignY < 0 79 // 80 // ippStsNoErr no errors 81 // 82 // Parameters: 83 // pMsgDigest pointer to the message representative to be signed 84 // pSignX,pSignY pointer to the signature 85 // pResult pointer to the result: ippECValid/ippECInvalidSignature 86 // pEC pointer to the ECCP context 87 // 88 // Note: 89 // - signer's key must be set up in ECCP context 90 // before ippsECCPVerifyNR() usage 91 // 92 *F*/ 93 IPPFUN(IppStatus, ippsECCPVerifyNR,(const IppsBigNumState* pMsgDigest, 94 const IppsBigNumState* pSignX, const IppsBigNumState* pSignY, 95 IppECResult* pResult, 96 IppsECCPState* pEC)) 97 { 98 gsModEngine* pModEngine; 99 BNU_CHUNK_T* pOrder; 100 int orderLen; 101 102 BNU_CHUNK_T* pMsgData; 103 int msgLen; 104 105 /* use aligned EC context */ 106 IPP_BAD_PTR1_RET(pEC); 107 pEC = (IppsGFpECState*)( IPP_ALIGNED_PTR(pEC, ECGFP_ALIGNMENT) ); 108 IPP_BADARG_RET(!ECP_TEST_ID(pEC), ippStsContextMatchErr); 109 110 pModEngine = ECP_MONT_R(pEC); 111 pOrder = MOD_MODULUS(pModEngine); 112 orderLen = MOD_LEN(pModEngine); 113 114 /* test message representative */ 115 IPP_BAD_PTR1_RET(pMsgDigest); 116 pMsgDigest = (IppsBigNumState*)( IPP_ALIGNED_PTR(pMsgDigest, ALIGN_VAL) ); 117 IPP_BADARG_RET(!BN_VALID_ID(pMsgDigest), ippStsContextMatchErr); 118 IPP_BADARG_RET(BN_NEGATIVE(pMsgDigest), ippStsMessageErr); 119 120 pMsgData = BN_NUMBER(pMsgDigest); 121 msgLen = BN_SIZE(pMsgDigest); 122 IPP_BADARG_RET(0<=cpCmp_BNU(pMsgData, msgLen, pOrder, orderLen), ippStsMessageErr); 123 124 /* test result */ 125 IPP_BAD_PTR1_RET(pResult); 126 127 /* test signature */ 128 IPP_BAD_PTR2_RET(pSignX,pSignY); 129 pSignX = (IppsBigNumState*)( IPP_ALIGNED_PTR(pSignX, ALIGN_VAL) ); 130 pSignY = (IppsBigNumState*)( IPP_ALIGNED_PTR(pSignY, ALIGN_VAL) ); 131 IPP_BADARG_RET(!BN_VALID_ID(pSignX), ippStsContextMatchErr); 132 IPP_BADARG_RET(!BN_VALID_ID(pSignY), ippStsContextMatchErr); 133 IPP_BADARG_RET(BN_NEGATIVE(pSignX), ippStsRangeErr); 134 IPP_BADARG_RET(BN_NEGATIVE(pSignY), ippStsRangeErr); 135 136 { 137 IppECResult vResult = ippECInvalidSignature; 138 139 IppsGFpState* pGF = ECP_GFP(pEC); 140 gsModEngine* pGFE = GFP_PMA(pGF); 141 142 int elmLen = GFP_FELEN(pGFE); 143 int pelmLen = GFP_PELEN(pGFE); 144 145 BNU_CHUNK_T* pH1 = cpGFpGetPool(3, pGFE); 146 BNU_CHUNK_T* pH2 = pH1 + pelmLen; 147 BNU_CHUNK_T* pR1 = pH2 + pelmLen; 148 BNU_CHUNK_T* pF = pR1 + pelmLen; 149 150 /* test signature value */ 151 if(0<cpBN_tst(pSignX) && 0<cpBN_tst(pSignY) && 152 0>cpCmp_BNU(BN_NUMBER(pSignX),BN_SIZE(pSignX), pOrder,orderLen) && 153 0>cpCmp_BNU(BN_NUMBER(pSignY),BN_SIZE(pSignY), pOrder,orderLen)) { 154 155 /* validate signature */ 156 IppsGFpECPoint P, G, Public; 157 cpEcGFpInitPoint(&P, cpEcGFpGetPool(1, pEC),0, pEC); 158 cpEcGFpInitPoint(&G, ECP_G(pEC), ECP_AFFINE_POINT|ECP_FINITE_POINT, pEC); 159 cpEcGFpInitPoint(&Public, ECP_PUBLIC(pEC), ECP_FINITE_POINT, pEC); 160 161 /* expand signature: H1 = signY, H2 = signX */ 162 cpGFpElementCopyPadd(pH1, orderLen, BN_NUMBER(pSignY), BN_SIZE(pSignY)); 163 cpGFpElementCopyPadd(pH2, orderLen, BN_NUMBER(pSignX), BN_SIZE(pSignX)); 164 165 /* compute H1*BasePoint + H2*publicKey */ 166 gfec_BasePointProduct(&P, 167 pH1, orderLen, &Public, pH2, orderLen, 168 pEC, (Ipp8u*)ECP_SBUFFER(pEC)); 169 170 /* P.X */ 171 if(gfec_GetPoint(pH1, NULL, &P, pEC)) { 172 /* H1 = int(P.X) mod order */ 173 GFP_METHOD(pGFE)->decode(pH1, pH1, pGFE); 174 elmLen = cpMod_BNU(pH1, elmLen, pOrder, orderLen); 175 cpGFpElementPadd(pH1+elmLen, orderLen-elmLen, 0); 176 177 /* recovered message: (SignX - H1) mod order */ 178 cpModSub_BNU(pH1, pH2, pH1, pOrder, orderLen, pF); 179 180 /* and compare with input message*/ 181 cpGFpElementCopyPadd(pH2, orderLen, pMsgData, msgLen); 182 if(GFP_EQ(pH1, pH2, orderLen)) 183 vResult = ippECValid; 184 } 185 186 cpEcGFpReleasePool(1, pEC); 187 cpGFpReleasePool(3, pGFE); 188 } 189 190 *pResult = vResult; 191 return ippStsNoErr; 192 } 193 } 194