arcium-primitives 0.1.6

Arcium primitives
use hybrid_array::typenum::{
    consts::{U128, U2, U8},
    Prod,
    Quot,
};
use typenum::U80;

// Computational security parameter (bits)
pub type Lambda = U128;

// Computational security parameter (bytes)
pub type LambdaBytes = Quot<Lambda, U8>;

// Collision resistance parameter (bits)
pub type CollisionResistance = Prod<Lambda, U2>;

// Collision resistance parameter (bytes)
pub type CollisionResistanceBytes = Quot<CollisionResistance, U8>;

// Statistical security parameter (bits)
pub type Kappa = U80;

// Statistical security parameter (bytes)
pub type KappaBytes = Quot<KappaFS, U8>;

// Statistical security parameter (bits) when using Fiat-Shamir heuristic
pub type KappaFS = Lambda;

// Statistical security parameter (bytes) when using Fiat-Shamir heuristic
pub type KappaFSBytes = Quot<KappaFS, U8>;