Skip to content

Conversation

@sosthene-nitrokey
Copy link
Collaborator

This will be useful for PIV encryption, working together with trussed-dev/trussed-auth#41

This implements the standard HPKE from RFC 9180. This uses a custom implmentation instead of the hpke crate because this crate seals the trait to implement custom ciphers, and we want to use ChaCha8 and not ChaCha20.

The implementation is tested against the RFC test vectors for ChaCha20, and is made generic so that the same code can be used for ChaCha8 in the backend.

For ChaCha8Poly1305 AEAD ID, I used a custom 0xFFFE, which is probably unused. I need to look if there is somewhere someone already using ChaCha8Poly1305 for HPKE and if there is a specified ID.

src/hpke.rs Outdated
kem_context,
&mut shr,
)
.expect("Length of shr is known to be OK");
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

replace expect with error! + unwrap?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is it relevant? it's not used in the real firmware since only the SE050 is used.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It’s not necessary, but if we would ever end up using the implementation e. g. for the Passkey, we will probably not remember to fix this. On the other hand, maybe the expect optimization will have improved by then. ;)

sosthene-nitrokey and others added 2 commits October 17, 2024 21:25
This will be useful for PIV encryption, working together with
trussed-dev/trussed-auth#41

This implements the standard HPKE from
[RFC 9180](https://www.rfc-editor.org/rfc/rfc9180.html). This uses a
custom implmentation instead of the `hpke` crate because this crate
seals the trait to implement custom ciphers, and we want to use
`ChaCha8` and not `ChaCha20`.

The implementation is tested against the RFC test vectors for
`ChaCha20`, and is made generic so that the same code can be used for
`ChaCha8` in the backend.

For ChaCha8Poly1305 AEAD ID, I used a custom `0xFFFE`, which is probably
unused. I need to look if there is somewhere someone already using
ChaCha8Poly1305 for HPKE and if there is a specified ID.
@robin-nitrokey robin-nitrokey merged commit 7c99973 into trussed-dev:main Oct 17, 2024
@robin-nitrokey robin-nitrokey deleted the hpke branch October 17, 2024 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants