diff --git a/src/centralized_telescope/algorithm.rs b/src/centralized_telescope/algorithm.rs
index 4acee0d5..bb1a1272 100644
--- a/src/centralized_telescope/algorithm.rs
+++ b/src/centralized_telescope/algorithm.rs
@@ -4,21 +4,26 @@ use super::proof::Proof;
 use super::round::Round;
 use super::setup::Setup;
 use super::types::Hash;
-use crate::utils::sample;
-use crate::utils::types::Element;
+use crate::utils::{sample, types::ToBytes};
 use blake2::{Blake2s256, Digest};
 
 /// Alba's proving algorithm, based on a depth-first search algorithm.
 /// Calls up to setup.max_retries times the prove_index function and returns an empty
 /// proof if no suitable candidate is found.
-pub fn prove(setup: &Setup, prover_set: &[Element]) -> Option<Proof> {
+pub fn prove<Element>(setup: &Setup, prover_set: &[Element]) -> Option<Proof<Element>>
+where
+    Element: Copy + ToBytes,
+{
     // Run prove_index up to max_retries times
     (0..setup.max_retries).find_map(|retry_counter| prove_index(setup, prover_set, retry_counter).1)
 }
 
 /// Alba's verification algorithm, returns true if the proof is
 /// successfully verified, following the DFS verification, false otherwise.
-pub fn verify(setup: &Setup, proof: &Proof) -> bool {
+pub fn verify<Element>(setup: &Setup, proof: &Proof<Element>) -> bool
+where
+    Element: Copy + ToBytes,
+{
     if proof.search_counter >= setup.search_width
         || proof.retry_counter >= setup.max_retries
         || proof.element_sequence.len() as u64 != setup.proof_size
@@ -27,7 +32,8 @@ pub fn verify(setup: &Setup, proof: &Proof) -> bool {
     }
 
     // Initialise a round with given retry and search counters
-    let Some(mut round) = Round::new(proof.retry_counter, proof.search_counter, setup.set_size)
+    let Some(mut round) =
+        Round::<Element>::new(proof.retry_counter, proof.search_counter, setup.set_size)
     else {
         return false;
     };
@@ -35,13 +41,13 @@ pub fn verify(setup: &Setup, proof: &Proof) -> bool {
     // For each element in the proof's sequence
     for &element in &proof.element_sequence {
         // Retrieve the bin id associated to this new element
-        let Some(bin_id) = bin_hash(setup, proof.retry_counter, element) else {
+        let Some(bin_id) = bin_hash(setup, proof.retry_counter, &element) else {
             return false;
         };
         // Check that the new element was chosen correctly
         // i.e. that we chose the new element such that its bin id equals the round id
         if round.id == bin_id {
-            match Round::update(&round, element) {
+            match Round::<Element>::update(&round, element) {
                 Some(r) => round = r,
                 None => return false,
             }
@@ -55,7 +61,14 @@ pub fn verify(setup: &Setup, proof: &Proof) -> bool {
 /// Indexed proving algorithm, returns the total number of DFS calls done
 /// to find a proof and Some(proof) if found within setup.dfs_bound calls of DFS,
 /// otherwise None
-fn prove_index(setup: &Setup, prover_set: &[Element], retry_counter: u64) -> (u64, Option<Proof>) {
+fn prove_index<Element>(
+    setup: &Setup,
+    prover_set: &[Element],
+    retry_counter: u64,
+) -> (u64, Option<Proof<Element>>)
+where
+    Element: Copy + ToBytes,
+{
     // Initialise set_size bins
     let mut bins: Vec<Vec<Element>> = Vec::with_capacity(setup.set_size as usize);
     for _ in 0..setup.set_size {
@@ -67,7 +80,7 @@ fn prove_index(setup: &Setup, prover_set: &[Element], retry_counter: u64) -> (u6
         .iter()
         .take(setup.set_size.saturating_mul(2) as usize)
     {
-        match bin_hash(setup, retry_counter, element) {
+        match bin_hash(setup, retry_counter, &element) {
             Some(bin_index) => {
                 bins[bin_index as usize].push(element);
             }
@@ -103,7 +116,15 @@ fn prove_index(setup: &Setup, prover_set: &[Element], retry_counter: u64) -> (u6
 /// that is the first round candidate Round{retry_counter, search_counter, x_1, ..., x_u)} such that:
 /// - ∀i ∈ [0, u-1], bin_hash(x_i+1) ∈ bins[round_hash(...round_hash(round_hash(v, t), x_1), ..., x_i)]
 /// - proof_hash(round_hash(... round_hash((round_hash(v, t), x_1), ..., x_u)) = true
-fn dfs(setup: &Setup, bins: &[Vec<Element>], round: &Round, mut step: u64) -> (u64, Option<Proof>) {
+fn dfs<Element>(
+    setup: &Setup,
+    bins: &[Vec<Element>],
+    round: &Round<Element>,
+    mut step: u64,
+) -> (u64, Option<Proof<Element>>)
+where
+    Element: Copy + ToBytes,
+{
     // If current round comprises proof_size elements, returns it as Proof
     if round.element_sequence.len() as u64 == setup.proof_size {
         let proof_opt = if proof_hash(setup, round) {
@@ -125,7 +146,7 @@ fn dfs(setup: &Setup, bins: &[Vec<Element>], round: &Round, mut step: u64) -> (u
             return (step, None);
         }
         // Update round with such element
-        if let Some(r) = Round::update(round, element) {
+        if let Some(r) = Round::<Element>::update(round, element) {
             // Run DFS on updated round, incrementing step
             let (dfs_calls, proof_opt) = dfs(setup, bins, &r, step.saturating_add(1));
             // Returns proof if found
@@ -141,18 +162,22 @@ fn dfs(setup: &Setup, bins: &[Vec<Element>], round: &Round, mut step: u64) -> (u
 }
 
 /// Oracle producing a uniformly random value in [0, set_size[ used for prehashing S_p
-fn bin_hash(setup: &Setup, retry_counter: u64, element: Element) -> Option<u64> {
+fn bin_hash<Element>(setup: &Setup, retry_counter: u64, element: &Element) -> Option<u64>
+where
+    Element: ToBytes,
+{
     let retry_bytes: [u8; 8] = retry_counter.to_be_bytes();
+    let element_bytes = element.to_be_bytes();
     let mut hasher = Blake2s256::new();
     hasher.update(b"Telescope-bin_hash");
     hasher.update(retry_bytes);
-    hasher.update(element);
+    hasher.update(element_bytes);
     let digest: Hash = hasher.finalize().into();
     sample::sample_uniform(&digest, setup.set_size)
 }
 
 /// Oracle defined as Bernoulli(q) returning 1 with probability q and 0 otherwise
-fn proof_hash(setup: &Setup, r: &Round) -> bool {
+fn proof_hash<Element>(setup: &Setup, r: &Round<Element>) -> bool {
     let mut hasher = Blake2s256::new();
     hasher.update(b"Telescope-proof_hash");
     hasher.update(r.hash);
@@ -165,7 +190,6 @@ mod tests {
     use super::*;
     use crate::centralized_telescope::{init, params::Params};
     use crate::utils::test_utils::gen_items;
-    use crate::utils::types::DATA_LENGTH;
     use rand_chacha::ChaCha20Rng;
     use rand_core::{RngCore, SeedableRng};
 
@@ -182,7 +206,7 @@ mod tests {
         };
         for _t in 0..nb_tests {
             let seed = rng.next_u32().to_be_bytes().to_vec();
-            let s_p = gen_items::<DATA_LENGTH>(&seed, set_size);
+            let s_p = gen_items::<32>(&seed, set_size);
             let setup = init::make_setup(&params);
             let proof = prove(&setup, &s_p).unwrap();
             assert!(verify(&setup, &proof.clone()));
@@ -201,7 +225,7 @@ mod tests {
             };
             assert!(!verify(&setup, &proof_v));
             // Checking that the proof fails when no elements are included
-            let proof_item = Proof {
+            let proof_item: Proof<[u8; 32]> = Proof {
                 retry_counter: proof.retry_counter,
                 search_counter: proof.search_counter,
                 element_sequence: Vec::new(),
diff --git a/src/centralized_telescope/proof.rs b/src/centralized_telescope/proof.rs
index 19ae72f1..57085544 100644
--- a/src/centralized_telescope/proof.rs
+++ b/src/centralized_telescope/proof.rs
@@ -1,10 +1,8 @@
 //! ALBA's Proof structure
 
-use crate::utils::types::Element;
-
 /// Alba proof
 #[derive(Debug, Clone)]
-pub struct Proof {
+pub struct Proof<Element> {
     /// Numbers of retries done to find the proof
     pub retry_counter: u64,
     /// Index of the searched subtree to find the proof
diff --git a/src/centralized_telescope/round.rs b/src/centralized_telescope/round.rs
index ce1bbe93..c66547af 100644
--- a/src/centralized_telescope/round.rs
+++ b/src/centralized_telescope/round.rs
@@ -2,12 +2,12 @@
 
 use super::types::Hash;
 use crate::utils::sample;
-use crate::utils::types::Element;
+use crate::utils::types::ToBytes;
 use blake2::{Blake2s256, Digest};
 
 /// Round parameters
 #[derive(Debug, Clone)]
-pub struct Round {
+pub struct Round<Element> {
     /// Numbers of retries done so far
     pub retry_counter: u64,
     /// Index of the current subtree being searched
@@ -22,13 +22,16 @@ pub struct Round {
     pub set_size: u64,
 }
 
-impl Round {
+impl<Element> Round<Element>
+where
+    Element: Copy + ToBytes,
+{
     /// Output a round from retry and search counters as well as set_size
     /// Initilialises the hash with round_hash(retry_counter || search_bytes)
     /// and random value as oracle(round_hash(retry_counter || search_bytes), set_size)
     pub(super) fn new(retry_counter: u64, search_counter: u64, set_size: u64) -> Option<Self> {
         let retry_bytes: [u8; 8] = retry_counter.to_be_bytes();
-        let search_bytes: [u8; 8] = search_counter.to_be_bytes();
+        let search_bytes = search_counter.to_be_bytes();
         let (hash, id_opt) = Self::round_hash(&retry_bytes, &search_bytes, set_size);
         id_opt.map(|id| Self {
             retry_counter,
@@ -45,7 +48,8 @@ impl Round {
     pub(super) fn update(r: &Self, element: Element) -> Option<Self> {
         let mut element_sequence = r.element_sequence.clone();
         element_sequence.push(element);
-        let (hash, id_opt) = Self::round_hash(&r.hash, &element, r.set_size);
+        let element_bytes = element.to_be_bytes().as_ref().to_vec();
+        let (hash, id_opt) = Self::round_hash(&r.hash, &element_bytes, r.set_size);
         id_opt.map(|id| Self {
             retry_counter: r.retry_counter,
             search_counter: r.search_counter,
diff --git a/src/lib.rs b/src/lib.rs
index e3ba07fb..e972d30c 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -3,7 +3,7 @@
 
 //! An implementation of Approximate Lower Bound Arguments
 //! (ALBA, <https://eprint.iacr.org/2023/1655.pdf>).
-mod utils;
+pub mod utils;
 
 pub mod centralized_telescope;
 pub mod simple_lottery;
diff --git a/src/utils/mod.rs b/src/utils/mod.rs
index 84b912da..6657be1b 100644
--- a/src/utils/mod.rs
+++ b/src/utils/mod.rs
@@ -1,6 +1,8 @@
+//! Shared functions, traits and test helpers
+
 pub(crate) mod sample;
 
-pub(crate) mod types;
+pub mod types;
 
 #[cfg(test)]
 pub(crate) mod test_utils;
diff --git a/src/utils/types.rs b/src/utils/types.rs
index f99ff5cd..54e1f845 100644
--- a/src/utils/types.rs
+++ b/src/utils/types.rs
@@ -1,3 +1,39 @@
-pub(crate) const DATA_LENGTH: usize = 32;
+//! Trait to make ALBA input hashable via its bytes representation
 
-pub(crate) type Element = [u8; DATA_LENGTH];
+use std::mem;
+
+/// Trait to represent input as bytes
+pub trait ToBytes {
+    /// Reference on unsized array of u8
+    type ByteArray: AsRef<[u8]>;
+    /// Returns the byte representation of the element
+    fn to_be_bytes(&self) -> Self::ByteArray;
+}
+
+macro_rules! impl_ToBytes {
+    (for $($t:ty),+) => {
+        $(impl ToBytes for $t {
+            type ByteArray = [u8; mem::size_of::<Self>()];
+
+            fn to_be_bytes(&self) -> Self::ByteArray {
+                return Self::to_be_bytes(*self);
+            }
+        })*
+    }
+}
+
+impl_ToBytes!(for u8, u16, u32, u64, u128);
+impl_ToBytes!(for i8, i16, i32, i64, i128);
+
+macro_rules! impl_u8ToBytes {
+    (for $($t:ty),+) => {
+        $(impl ToBytes for $t {
+            type ByteArray = Self;
+
+            fn to_be_bytes(&self) -> Self::ByteArray {
+                *self
+            }
+        })*
+    }
+}
+impl_u8ToBytes!(for [u8;32], [u8;64], [u8;128]);