[aes] Export relevant libcrux-traits from the crate #1533

New issue

Copy link

New issue

Copy link

Open

Open

[aes] Export relevant libcrux-traits from the crate#1533

Copy link

Labels

enhancementNew feature or requestNew feature or request

Description

robinhundt

opened on Jul 15, 2026

Issue body actions

The aes crate should re-export the implemented aead traits from the crate so that they can be imported without directly depending on traits.

Reactions are currently unavailable

Activity

1. robinhundt

   added

   enhancementNew feature or requestNew feature or request

   on Jul 15, 2026
2. Arul-Sujith

   added 3 commits that reference this issue on Jul 27, 2026

   fix(aes): re-export aead module from libcrux_traits

   ...

   9309d9e

   fix(aes): re-export aead module from libcrux_traits

   ...

   0c5c47d

   fix(aes): re-export aead module from libcrux_traits

   ...

   be13b93

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

Labels

enhancementNew feature or requestNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app