Re: [Cfrg] ChaCha20 and Poly1305 for IPsec

[David McGrew <[e-mail]>]

Hi Yoav,

On 01/06/2014 05:23 PM, Yoav Nir wrote:
> Thanks. Proposing this seems so obvious, that I thought I must be missing something that makes it unsuitable.
>
> On Jan 6, 2014, at 8:05 PM, Adam Langley <[e-mail]> wrote:
>
>> On Sun, Jan 5, 2014 at 11:18 AM, Yoav Nir <[e-mail]> wrote:
>>> Unlike RC4, ChaCha20 has a 64-bit nonce, so different packets could use different keystreams, much like block ciphers in counter mode. Unlike 3DES, ChaCha20 has performance that is close to that of AES.
>>>
>>> So my question is whether there is any reason not to use ChaCha20 (with or without the AEAD construction from Adam's draft) for IKE and/or IPsec. Could this be the standby algorithm that we have been looking for?
>> I don't know of any problems with this. If IPsec has the concept of a
>> counter than can be used as an nonce then I think the AEAD
>> construction would be fine, as is.
> IPsec has a 32- or 64-bit packet counter, but for some reason it has never been used as a nonce. Both AES-CTR and AES-GCM have explicit 64-bit IVs in IPsec, so I think a ChaCha implementation should do the same - have an explicit IV that's used as a nonce, with a MUST requirement for uniqueness of IV/key combination.

the reason that the ESP sequence number isn't used as a cryptographic 
nonce is that it was not regarded as reliable enough.   That is, the ESP 
standard does not insist that the sequence number never wrap, and many 
implementations are not careful about maintaining the uniqueness of the 
sequence number.  This situation is not ideal, but it does seem to be 
the case.

>
>> If one needs to pick the nonces
>> randomly, however, then a 64-bit space is too small and XChaCha (which
>> has a 192-bit nonce) would be more suitable.
> It would work, but IPsec requires re-keying when the 32-bit or 64-bit counter reaches 2^n-1, so that seems like overkill.

Agreed that a 192-bit nonce sounds a bit big.

ESP supports multipoint security associations, in which case it is 
essential to coordinate nonces across all of the encrypters, to make 
sure that they are all distinct.   The requirements and a simple 
approach is outlined in rfc6054, and those requirements are followed in 
the latest version of the Group Domain of Interpretation rfc6407.  The 
nonce management is a bit ugly, but there is precedent for it.

We could do a lot worse than ChaCha as a cipher.   An AEAD construction 
could be used in a way that mirrors GCM/CCM, though if I recall right, 
Adam defined an 8-byte nonce rather than a 12-byte nonce for the ChaCha 
AEAD algorithm, which makes it incompatible with almost all of the other 
AEAD algorithms (see Table 1 of draft-mcgrew-iv-gen-02).   A 12-byte 
nonce would enable ESP implementations to use the same nonce generation 
techniques, including rfc6407 ones.

My biggest concern with ChaCha is: will it have the global credibility 
that we need?    If we think that it does, we should go about 
documenting the work that has been done analyzing it.  The record of the 
analysis will become extremely important once the cipher gets picked up 
by the semi-technical press and the user community.

Since so much of ESP is point to point and works at a high data rate, it 
makes sense to think about counter-based nonces and throughput-optimized 
algorithms, like ChaCha.   Algorithms that are misuse-resistant would be 
useful in scenarios other than point-to-point ones, and in my opinion 
are also worth considering as future work for ESP.

David

>
> Thanks again
>
> Yoav
>
> _______________________________________________
> Cfrg mailing list
> [e-mail]
> http://www.irtf.org/mailman/listinfo/cfrg
>