libcrux-poly1305 0.0.3

Formally verified Poly1305 MAC library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#![no_std]

/// The length of ChaCha20-Poly1305 keys.
pub const KEY_LEN: usize = 16;

/// The length of Poly1305 MAC tags.
pub const TAG_LEN: usize = 16;

/// Describes the error conditions of the Poly1305 MAC.
pub enum Error {
    /// Indicates that the message argument is too large for the library to handle.
    MessageTooLarge,

    /// Indicates that the MAC tag is invalid for that key and message.
    InvalidMacTag,
}

#[cfg(not(feature = "expose-hacl"))]
mod hacl {
    pub(crate) mod mac_poly1305;
}

#[cfg(feature = "expose-hacl")]
pub mod hacl {
    pub mod mac_poly1305;
}

mod impl_hacl;

pub use impl_hacl::*;