AQUAL

ACE (Advanced Cryptographic Engine) — the collection of units, implementing both a public key encryption scheme and a digital signature scheme. Corresponding names for these schemes — «ACE Encrypt» and «ACE Sign». Schemes are based on Cramer-Shoup public key encryption scheme and Cramer-Shoup signature scheme. Introduced variants of these schemes are intended to achieve a good balance between performance and security of the whole encryption system.

Authors

All the algorithms, implemented in ACE are based on algorithms developed by Victor Shoup and Ronald Cramer. The full algorithms specification is written by Victor Shoup. Implementation of algorithms is done by Thomas Schweinberger and Mehdi Nassehi, its supporting and maintaining is done by Victor Shoup. Thomas Schweinberger participated in construction of ACE specification document and also wrote a user manual.
Ronald Cramer currently stays in the university of Aarhus, Denmark. He worked on the project of ACE Encrypt while his staying in ETH in Zürich, Switzerland.
Mehdi Nassehi and Thomas Schweinberger worked on ACE project in the IBM research lab in Zürich, Switzerland.
Victor Shoup works in the IBM research lab in Zürich, Switzerland..

Security

The encryption scheme in ACE can be proven secure under reasonable and natural intractability assumptions. These four assumptions are:

• The Decisional Diffie-Hellman (DDH) assumption
• Strong RSA assumption
• SHA-1 second preimage collision resistance
• MARS sum/counter mode pseudo-randomness

Basic Terminology and Notation

Here we introduce some notations, being used in this article.

Basic mathematical notation

$Z$ — The set of integers.
$F_2[T]$ — The set of univariate polynomials with coefficients in the finite field $F_2$ of cardinality 2.
$Aremn$ — integer $r\in \{0,...,n-1\}$ such that $A\equiv r(modn)$ for integer $n>0$ and $A\in Z$.
$Aremf$ — polynomial $r\in F_2[T]$ with $deg(r)<deg(f)$ such that $A\equiv r(modf)$ with $A,f\in F_2[T],f\ne 0$.

Basic string notation

$A^{\ast }$ — The set of all strings.
$A^n$ — The set of all strings with length n.
For $x\in A^{\ast }L(x)$ — length of string $x$. The string of length zero is denoted ${\lambda }_A$.
For $x,y\in A^{\ast }$ $x\left|\right|y$ — the result of $x$ and $y$ concatenation.

Bits,Bytes,Words

$b\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\{0,1\}$

 — The set of bits.
Let us take all sets of form

$b,b^{n_1},(b^{n_1}{)}^{n_2},...$

. For such a set A we define the "zero element":

$0_b\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}0\in b$;
$0_{A^n}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}(0_A,...,0_A)\in A^n$ for $n>0$.

We define $B\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{b}^8$ as a set of bytes, and $W\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{b}^{32}$ as a set of words.

For

$x\in A^{\ast }$

with

$A\in \{b,B,W\}$

and

$l>0$

we define a padding operator:

$pa{d}_l(x)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\{\begin{array}{ll}x,& L(x)\ge l\\ x\left|\right|0_{A^{l-L(x)}},& L(x)<l\end{array}$.

Conversion operator

Conversion operator $I_{src}^{dst}:src\to dst$ makes a conversion between elements $Z,F_2[T],b^{\ast },B^{\ast },W^{\ast }$.

Encryption Scheme

Encryption Key Pair

The encryption scheme employs two key types:
ACE public key: $(P,q,g_1,g_2,c,d,h_1,h_2,k_1,k_2)$.
ACE private key: $(w,x,y,z_1,z_2)$.
For a given size parameter m $m$, such that $1024\le m\le 16384$, key components are defined as:
$q$ — a 256-bit prime number.
$P$ — a m-bit prime number, such that $P\equiv 1(modq)$.
$g_1,g_2,c,d,h_1,h_2$ — elements $\{1,...,P-1\}$ (whose multiplicative order modulo $P$ divides $q$).
$w,x,y,z_1,z_2$ — elements $\{0,...,q-1\}$.
$k_1,k_2$ — elements $B^{\ast }$ with $L(k_1)=20l^{\prime }+64$ and $L(k_2)=32\lceil l/16\rceil +40$, where $l=\lceil m/8\rceil$ and $l^{\prime }=L_b(\lceil (2\lceil l/4\rceil +4)/16\rceil )$.

Key Generation

Algorithm. Key Generation for ACE encryption scheme.
Input: a size parameter m $m$, such that $1024\le m\le 16384$.
Output: a public/private key pair.

1. Generate a random prime $q$, such that $2^{255}<q<2^{256}$.
2. Generate a random prime $P$, $2^{m-1}<P<2^m$, such that $P\equiv 1(modq)$.
3. Generate a random integer $g_1\in \{2,...,P-1\}$, such that $g_1^q\equiv 1(modP)$.
4. Generate random integers $w\in \{1,...,q-1\}$ and $x,y,z_1,z_2\in \{0,...,q-1\}$
5. Compute the following integers in $\{1,...,P-1\}$:
   

   $g_2\leftarrow g_1^{w}remP$,

   
   

   $c\leftarrow g_1^{x}remP$,

   
   

   $d\leftarrow g_1^{y}remP$,

   
   

   $h_1\leftarrow g_1^{z_1}remP$,

   
   

   $h_2\leftarrow g_1^{z_2}remP$.

6. Generate random byte strings $k_1\in B^{20l^{\prime }+64}$ and $k_2\in B^{2\lceil l/16\rceil +40}$, where $l=L_B(P)$ and $l^{\prime }=L_B(\lceil (2\lceil l/4\rceil +4)/16\rceil )$.
7. Return the public key/private key pair
   

   $((P,q,g_1,g_2,c,d,h_1,h_2,k_1,k_2),(w,x,y,z_1,z_2))$

Ciphertext Representation

A ciphertext of the ACE encryption scheme has the form

$(s,u_1,u_2,v,e)$,

where the components are defined as:
$u_1,u_2,v$ — integers from $\{1,...,P-1\}$ (whose multiplicative order modulo $P$ divides $q$).
$s$ — element $W^4$.
$e$ — element $B^{\ast }$.
$s,u_1,u_2,v$ we call the preamble, and $e$ — the cryptogram. If a cleartext is a string consisting of $l$ байт, then the length of $e$ is equal to $l+16\lceil l/1024\rceil$.
We need to introduce the function $CEncode$, which maps a ciphertext to its byte-string

representation, and the corresponding inverse function

$CDecode$

. For the integer

$l>0$

, word string

$s\in W^4$

, integers

$0\le u_1,u_2,v<256^l$

, and byte string

$e\in B^{\ast }$

,

$CEncode(l,s,u_1,u_2,v,e)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{I}_{W^{\ast }}^{B^{\ast }}(s)\left|\right|pa{d}_l(I_Z^{B^{\ast }}(u_1))\left|\right|pa{d}_l(I_Z^{B^{\ast }}(u_2))\left|\right|pa{d}_l(I_Z^{B^{\ast }}(v))\left|\right|e\in B^{\ast }$.

For integer

$l>0$

, byte string

$\psi \in B^{\ast }$

, such that

$L(\psi )\ge 3l+16$

,

$CDecode(l,\psi )\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}(I_{B^{\ast }}^{W^{\ast }}([\psi {]}_0^{16}),I_{B^{\ast }}^Z([\psi {]}_{16}^{16+l}),I_{B^{\ast }}^Z([\psi {]}_{16+l}^{16+2l}),I_{B^{\ast }}^Z([\psi {]}_{16+2l}^{16+3l}),[\psi {]}_{16+3l}^{L(\psi )})\in W^4\times Z\times Z\times Z\times B^{\ast }$.

Encryption Process

Algorithm. ACE asymmetric encryption operation.
input: public key $(P,q,g_1,g_2,c,d,h_1,h_2,k_1,k_2)$ and byte string $M\in B^{\ast }$.
Output: byte string — ciphertext $\psi$ of $M$.

1. Generate $r\in \{0,...,q-1\}$ at random.
2. Generate the ciphertext preamble:
   1. Generate $s\in W^4$ at random.
   2. Compute $u_1\leftarrow g_1^{r}remP$, $u_2\leftarrow g_2^{r}remP$.
   3. Compute $\alpha \leftarrow UOWHas{h}^{\prime }(k_1,L_B(P),s,u_1,u_2)\in Z$; note that $0<\alpha <2^{160}$.
   4. Compute $v\leftarrow c^r{d}^{\alpha r}remP$.
3. Compute the key for the symmetric encryption operation:
   1. $\widetilde{h_1}\leftarrow h_1^{r}remP$, $\widetilde{h_2}\leftarrow h_2^{r}remP$.
   2. Compute $k\leftarrow ESHash(k,L_B(P),s,u_1,u_2,\widetilde{h_1},\widetilde{h_2})\in W^8$.
4. Compute cryptogram $e\leftarrow SEnc(k,s,1024,M)$.
5. Encode the ciphertext:
   

   $\psi \leftarrow CEncode(L_B(P),s,u_1,u_2,v,e)$.

6. Return $\psi$.

Before starting of the symmetric encryption process the input message

$M\in B^{\ast }$

is divided into blocks

$M_1,...,M_t$

, where each of the block, possibly except the last one, is of 1024 bytes. Each block is encrypted by the stream cipher. For each encrypted block

$E_i$

16-byte message authentication code is computed. We get the cryptogram

$e=E_1\left|\right|C_1\left|\right|...\left|\right|E_t\left|\right|C_t$.

$L(e)=L(M)+16\lceil L(M)/m\rceil$

. Note that if

$L(M)=0$

, then

$L(e)=0$

.

Algorithm. ACE asymmetric encryption process.
Input: $(k,s,M,m)\in W^8\times W^4\times Z\times B^{\ast }$ $m>0$
Output: $e\in B^l$, $l=L(M)+16\lceil L(N)/m\rceil$.

1. If $M={\lambda }_B$, then return ${\lambda }_B$.
2. Initialize a pseudo-random generator state:

$genState\leftarrow InitGen(k,s)\in GenState$

1. Generate the key $k_{AXU}AXUHash$:

$(k_{AXU},genState)\leftarrow GenWords((5L_b(\lceil m/64\rceil )+24),genState).$.

1. $e\leftarrow {\lambda }_B,i\leftarrow 0$.
2. While $i<L(M)$, do the following:
   1. $r\leftarrow min(L(M)-i,m)$.
   2. Generate mask values for the encryption and MAC:
      1. $(mas{k}_m,genState)\leftarrow GenWords(4,genState)$.
      2. $(mas{k}_e,genState)\leftarrow GenWords(r,genState)$.
   3. Encrypt the plaintext: $enc\leftarrow [M{]}_i^{i+r}\oplus mas{k}_e$.
   4. Generate the message authentication code:
      1. If $i+r=L(M)$, then $lastBlock\leftarrow 1$; else $lastBlock\leftarrow 0$.
      2. $mac\leftarrow AXUHash(k_{AXU},lastBlock,enc)\in W^4$.
   5. Update the ciphertext: $e\leftarrow e\left|\right|enc\left|\right|I_{W^{\ast }}^{B^{\ast }}(mac\oplus mas{k}_m)$.
   6. $i\leftarrow i+r$.
3. Return $e$.

Decryption process

Algorithm. ACE decryption process.
Input: public key $(P,q,g_1,g_2,c,d,h_1,h_2,k_1,k_2)$ and corresponding private key $(w,x,y,z_1,z_2)$, byt e string $\psi \in B^{\ast }$.
Output: Decrypted message $M\in B^{\ast }\cup Reject$.

1. Decrypt the ciphertext:
   1. If $L(\psi )<3L_B(P)+16$, then return $Reject$.
   2. Compute:
      

      $(s,u_1,u_2,v,e)\leftarrow CDecode(L_B(P),\psi )\in W^4\times Z\times Z\times Z\times B^{\ast }$;

      
      note that $0\le u_1,u_2,v<256^l$, where $l=L_B(P)$.
2. Verify the ciphertext preamble:
   1. If $u_1\ge P$ or $u_2\ge P$ or $v\ge P$, then return $Reject$.
   2. If $u_1^q\ne 1remP$, then return $Reject$.
   3. $reject\leftarrow 0$.
   4. If $u_2\ne u_1^{w}remP$, then $reject\leftarrow 1$.
   5. Compute $\alpha \leftarrow UOWHas{h}^{\prime }(k_1,L_B(P),s,u_1,u_2)\in Z$; note that $0\le \alpha \le 2^{160}$.
   6. If $v\ne u_1^{x+\alpha y}remP$, then $reject\leftarrow 1$.
   7. If $reject=1$, then return $Reject$.
3. Compute the key for the symmetric decryption operation:
   1. $\widetilde{h_1}\leftarrow u_1^{z_1}remP$, $\widetilde{h_2}\leftarrow u_1^{z_2}remP$.
   2. Compute $k\leftarrow ESHash(k_2,L_B(P),s,u_1,\widetilde{h_1},\widetilde{h_2})\in W^8$.
4. Compute $M\leftarrow SDec(k,s,1024,e)$;note that $SDec$ can return $Reject$.
5. Return $M$.

Algorithm. Decryption operation $SDec$.
Input: $(k,s,m,e)\in W^8\times W^4\times Z\times B^{\ast }$ $m>0$
Output: Decrypted message $M\in B^{\ast }\cup Reject$.

1. If $e={\lambda }_B$, then return ${\lambda }_B$.
2. Initialize a pseudo-random generator state:
   

   $genState\leftarrow InitGen(k,s)\in GenState$

3. Generate the key $k_{AXU}AXUHash$:
   

   $(k_{AXU},genStat{e}^{\prime })\leftarrow GenWords((5L_b(\lceil m/64\rceil )+24),genState).$.

4. $M\leftarrow {\lambda }_B,i\leftarrow 0$.
5. While $i<L(e)$, do the following:
   1. $r\leftarrow min(L(e)-i,m+16)-16$.
   2. If $r\le 0$, then return $Reject$.
   3. Generate mask values for the encryption and MAC:
      1. $(mas{k}_m,genState)\leftarrow GenWords(4,genState)$.
      2. $(mas{k}_e,genState)\leftarrow GenWords(r,genState)$.
   4. Verify the message authentication code:
      1. If $i+r+16=L(M)$, then $lastblock\leftarrow 1$; else $lastblock\leftarrow 0$.
      2. $mac\leftarrow AXUHash(k_{AXU},lastBlock,[e{]}_i^{i+r})\in W^4$.
      3. If $\left[e\right]r_{i+r}^{i+r+16}\ne I_{W^{\ast }}^{B^{\ast }}(mac\oplus mas{k}_m)$, then return $Reject$.
   5. Update the plaintext: $M\leftarrow M\left|\right|([e{]}_i^{i+r})\oplus mas{k}_e)$.
   6. $i\leftarrow i+r+16$.
6. Return $M$.

Signature Scheme

The signature scheme employs two key types:
ACE Signature public key: $(N,h,x,e^{\prime },k^{\prime },s)$.
ACE Signature private key: $(p,q,a)$.
For the given size parameter $m$, such that $1024\le m\le 16384$, key components are defined the following way:
$p$ — $\lfloor m/2\rfloor$-bit prime number with $(p-1)/2$ — is also a prime number.
$q$ — $\lfloor m/2\rfloor$-bit prime number with $(q-1)/2$ — is also a prime number.
$N$ — $N=pq$and has either $m$ or $m-1$ бит.
$h,x$ — elements $\{1,...,N-1\}$ (quadratic residues modulo $N$).
$e^{\prime }$ — 161-bit prime number.
$a$ — element $\{0,...,(p-1)(q-1)/4-1\}$
$k^{\prime }$ — elements $B^{184}$.
$s$ — elements $B^{32}$.

Key Generation

Algorithm. Key generation for the ACE public-key signature scheme.
Input: size parameter $m$, such that $1024\le m\le 16384$.
Output: public/private key pair.

1. Generate random prime numbers$p,q$, such that $(p-1)/2$ and $(q-1)/2$ — is also a prime number, and
   

   $2^{m_1-1}<p<2^{m_1}$, $2^{m_2-1}<q<2^{m_2}$, и $p\ne q$,

   
   where
   

   $m_1=\lfloor m/2\rfloor$ and $m_1=\lceil m/2\rceil$.

2. Set $N\leftarrow pq$.
3. Generate random prime number $e^{\prime }$, где $2^{160}\le e^{\prime }\le 2^{161}$.
4. Generate random $h^{\prime }\in \{1,...,N-1\}$, taking into account $gcd(h^{\prime },N)=1$ and $gcd(h^{\prime }\pm 1,N)=1$, and compute $h\leftarrow (h^{\prime }{)}^{-2}remN$.
5. Generate random $a\in \{0,...,(p-1)(q-1)/4-1\}$and compute $x\leftarrow h^{a}remN$.
6. Generate random byte strings $k^{\prime }\in B^{184}$, and $s\in B^{32}$.
7. Return public key/private key pair
   

   $((N,h,x,e^{\prime },k^{\prime },s),(p,q,a))$.

Signature Representation

The signature in the ACE signature scheme has the form $(d,w,y,y^{\prime },\tilde{k})$, where the components are defined the following way:
$d$ — element $B^{64}$.
$w$ — integer, such that $2^{160}\le w\le 2^{161}$.
$y,y^{\prime }$ — elements $\{1,...,N-1\}$.
$\tilde{k}$ — element $B^{\ast }$;note that $L(\tilde{k})=64+20L_B(\lceil (L(M)+8)/64\rceil )$, where $M$ — message being signed.

We need to introduce the

$SEncode$

function, which maps a signature into its byte string representation, and the corresponding inverse function

$SDecode$

. For integer

$l>0$

, byte string

$d\in B^{64}$

, integers

$0\le w\le 256^{21}$

and

$0\le y,y^{\prime }<256^l$

, and byte string

$\tilde{k}\in B^{\ast }$

,

$SEncode(l,d,w,y,y^{\prime },\tilde{k})\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}d\left|\right|pa{d}_{21}(I_Z^{B^{\ast }}(w))\left|\right|pa{d}_l(I_Z^{B^{\ast }}(y))\left|\right|pa{d}_l(I_Z^{B^{\ast }}(y^{\prime }))\left|\right|\tilde{k}\in B^{\ast }$.

For integer

$l>0$

, byte string

$\sigma \in B^{\ast }$

, where

$L(\sigma )\ge 2l+53$

,

$CSecode(l,\sigma )\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}([\sigma {]}_0^{64},I_{B^{\ast }}^Z([\sigma {]}_{64}^{85}),I_{B^{\ast }}^Z([\sigma {]}_{85}^{85+l}),I_{B^{\ast }}^Z([\sigma {]}_{85+l}^{85+2l}),[\sigma {]}_{85+2l}^{L(\sigma )})\in B^{64}\times Z\times Z\times Z\times B^{\ast }$.

Signature Generation Process

Algorithm. ACE Signature Generation Process.
Input: public key $(N,h,x,e^{\prime },k^{\prime },s)$ and corresponding private key $(p,q,a)$ and byte string $M\in B^{\ast }$, $0\le L(M)\le 2^{64}$.
Output: byte string — digital signature $\sigma \in B^{\ast }$.

1. Perform the following steps to hash the input data:
   1. Generate a hash key $\tilde{k}\in B^{20m+64}$ at random, such that $m=L_b(\lceil (L(M)+8)/64\rceil )$.
   2. Compute $m_h\leftarrow I_{W^{\ast }}^Z(UOWHas{h}^{\prime \prime }(\tilde{k},M))$.
2. Select $\tilde{y}\in \{1,...,N-1\}$ at random, and compute $y^{\prime }\leftarrow {\tilde{y}}^{2}remN$.
3. Compute $x^{\prime }\leftarrow (y^{\prime }{)}^{r^{\prime }}{h}^{m_h}remN$.
4. Generate a random prime $e$, $2^{160}\le e\le 2^{161}$, and its certificate of correctness $(w,d)$: $(e,w,d)\leftarrow GenCertPrime(s)$. Repeat this step until $e\ne e^{\prime }$.
5. Set $r\leftarrow UOWHas{h}^{\prime \prime \prime }(k^{\prime },L_B(N),x^{\prime },\tilde{k})\in Z$; note that $0\le r<2^{160}$.
6. Compute $y\leftarrow h^{b}remN$, where
   

   $b\leftarrow e^{-1}(a-r)rem(p^{\prime }{q}^{\prime })$,

   
   and where $p^{\prime }=(p-1)/2$ and $q^{\prime }=(q-1)/2$.
7. Encode the signature:
   

   $\sigma \leftarrow SEncode(L_B(N),d,w,y,y^{\prime },\tilde{k})$.

8. Return $\sigma$

Notes

In the definition of ACE Encryption process and ACE Signature process some auxiliary function(e.g. UOWHash,ESHash and some other) are being used, definition of which goes beyond this article. You cand find more details about it in в.

Implementation, Utilization and Performance

ACE Encryption scheme is recommended by NESSIE (New European Schemes for Signatures, Integrity and Encryption) as asymmetric encryption scheme. Press-release is dated by February 2003.

Both schemes were implemented in ANSI C, with the use of GNU GMP library. Tests were done on two platforms: Power PC 604 model 43P under AIX system and 266 MHz Pentium under Windows NT system. Result tables:

Table 1. Time costs on basic operations.

	Power PC		Pentium
	Operand size(byte)		Operand size(byte)
	512	1024	512	1024
Multiplication	3.5 * 10^(-5) sec	1.0 * 10^(-4) sec	4.5 * 10^(-5) sec	1.4 * 10^(-4) sec
Squaring	3.3 * 10^(-5) sec	1.0 * 10^(-4) sec	4.4 * 10^(-5) sec	1.4 * 10^(-4) sec
Exponentiation	1.9 * 10^(-2) sec	1.2 * 10^(-1) sec	2.6 * 10^(-2) sec	1.7 * 10^(-1) sec

Table 2. Performance of encryption scheme and signature scheme.

	Power PC		Pentium
	Fixed costs (ms)	MBit/sec	Fixed costs (ms)	MBit/sec
Encrypt	160	18	230	16
Decrypt	68	18	97	14
Sign	48	64	62	52
Sign set-up	29		41
Verify	52	65	73	53

External links

• http://www.alphaworks.ibm.com/tech/ace
• http://www.zurich.ibm.com/security/ace/
• NESSIE Portfolio of recommended cryptographic primitives