use ;
use U80;
// Computational security parameter (bits)
pub type Lambda = U128;
// Computational security parameter (bytes)
pub type LambdaBytes = ;
// Collision resistance parameter (bits)
pub type CollisionResistance = ;
// Collision resistance parameter (bytes)
pub type CollisionResistanceBytes = ;
// Statistical security parameter (bits)
pub type Kappa = U80;
// Statistical security parameter (bytes)
pub type KappaBytes = ;
// 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 = ;