xec_tate1.h

voltage 公司提供的一个开发Ibe的工具包

/* Copyright 2003-2005, Voltage Security, all rights reserved.
 */

#include "ictk.h"

#ifndef XEC_TATE1_H
#define XEC_TATE1_H

#ifdef __cplusplus
extern "C" {
#endif

/* computes main step of Tate pairing using Miller's algorithm
 * assumes : P \in E/F_p , Q \in E/F_p^2 , group order is Solinas
 * prime and 11 mod 12
 */
int ec1TateSolinasMiller (
   fp2_t *r,
   pt1_t *P,
   pt1_t *Q,
   ec1_t *ec
   );

/* r = a ^ tatepwr
 */
int ec1TatePower (
   fp2_t *r,
   fp2_t *a,
   ec1_t *ec
   );

/* computes the full Tate pairing e(P,Q) including final exponentiation
 * assumes : P \in E/F_p , Q \in E/F_p^2 , group order is Solinas prime
 * and 11 mod 12
 */
int ec1TatePairing (
   fp2_t *r,
   pt1_t *P,
   pt1_t *Q,
   ec1_t *ec
   );

/* computes the MODIFIED Tate pairing e(P,Q) including final
 * exponentiation AND distortion
 * assumes : P \in E/F_p , Q \in E/F_p , group order is Solinas prime
 * and 11 mod 12
 */
int ec1TatePairingModified (
   fp2_t *r,
   pt1_t *P,
   pt1_t *Q,
   ec1_t *ec
   );

#ifdef __cplusplus
}
#endif

#endif // XEC_TATE1_H