diff --git a/prover/src/lib.rs b/prover/src/lib.rs
index 47e1e8739..0bba8acfe 100644
--- a/prover/src/lib.rs
+++ b/prover/src/lib.rs
@@ -51,6 +51,7 @@ pub use air::{
 };
 pub use utils::{
     iterators, ByteReader, ByteWriter, Deserializable, DeserializationError, Serializable,
+    SliceReader,
 };
 
 use fri::FriProver;
diff --git a/verifier/src/lib.rs b/verifier/src/lib.rs
index d22ef8383..f2fd6f621 100644
--- a/verifier/src/lib.rs
+++ b/verifier/src/lib.rs
@@ -46,7 +46,9 @@ use math::{
 };
 
 use utils::collections::Vec;
-pub use utils::{ByteReader, ByteWriter, Deserializable, DeserializationError, Serializable};
+pub use utils::{
+    ByteReader, ByteWriter, Deserializable, DeserializationError, Serializable, SliceReader,
+};
 
 pub use crypto;
 use crypto::{
diff --git a/winterfell/src/lib.rs b/winterfell/src/lib.rs
index 6a3ac223b..82f50be99 100644
--- a/winterfell/src/lib.rs
+++ b/winterfell/src/lib.rs
@@ -530,7 +530,7 @@ pub use prover::{
     BoundaryConstraintGroup, ByteReader, ByteWriter, ConstraintCompositionCoefficients,
     ConstraintDivisor, DeepCompositionCoefficients, Deserializable, DeserializationError,
     EvaluationFrame, FieldExtension, HashFunction, Matrix, ProofOptions, Prover, ProverError,
-    Serializable, StarkProof, Trace, TraceInfo, TraceLayout, TraceTable, TraceTableFragment,
-    TransitionConstraintDegree, TransitionConstraintGroup,
+    Serializable, SliceReader, StarkProof, Trace, TraceInfo, TraceLayout, TraceTable,
+    TraceTableFragment, TransitionConstraintDegree, TransitionConstraintGroup,
 };
 pub use verifier::{verify, VerifierError};