diff --git a/console/account/src/lib.rs b/console/account/src/lib.rs
index 7881794ea8..77e5874bbf 100644
--- a/console/account/src/lib.rs
+++ b/console/account/src/lib.rs
@@ -19,7 +19,7 @@
 
 pub use snarkvm_console_types::{environment::prelude::*, Address, Field, Group, Scalar};
 
-pub mod address;
+mod address;
 
 #[cfg(feature = "compute_key")]
 pub mod compute_key;
diff --git a/synthesizer/program/src/lib.rs b/synthesizer/program/src/lib.rs
index 90b2499e08..19e3b92425 100644
--- a/synthesizer/program/src/lib.rs
+++ b/synthesizer/program/src/lib.rs
@@ -33,7 +33,7 @@ pub use function::*;
 mod import;
 pub use import::*;
 
-mod logic;
+pub mod logic;
 pub use logic::*;
 
 mod mapping;
diff --git a/synthesizer/program/src/traits/command.rs b/synthesizer/program/src/traits/command.rs
index c6f55a7077..eb4d2438cd 100644
--- a/synthesizer/program/src/traits/command.rs
+++ b/synthesizer/program/src/traits/command.rs
@@ -13,7 +13,8 @@
 // limitations under the License.
 
 use console::{
-    prelude::*,
+    network::Network,
+    prelude::{FromBytes, Parser, ToBytes},
     program::{Identifier, Register},
 };
 
diff --git a/synthesizer/program/src/traits/instruction.rs b/synthesizer/program/src/traits/instruction.rs
index 176bfe1343..e65e96694c 100644
--- a/synthesizer/program/src/traits/instruction.rs
+++ b/synthesizer/program/src/traits/instruction.rs
@@ -12,7 +12,11 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-use console::{prelude::*, program::Register};
+use console::{
+    network::Network,
+    prelude::{FromBytes, Parser, ToBytes},
+    program::Register,
+};
 
 pub trait InstructionTrait<N: Network>: Clone + Parser + FromBytes + ToBytes {
     /// Returns the destination registers of the instruction.
diff --git a/synthesizer/src/lib.rs b/synthesizer/src/lib.rs
index 9f53430baf..febf14df98 100644
--- a/synthesizer/src/lib.rs
+++ b/synthesizer/src/lib.rs
@@ -41,9 +41,9 @@ pub mod prelude {
     #[cfg(feature = "process")]
     pub use crate::process::*;
     #[cfg(feature = "program")]
-    pub use crate::program::*;
+    pub use crate::program::{Closure, Finalize, Function, Instruction, Mapping, Program};
     #[cfg(feature = "snark")]
-    pub use crate::snark::*;
+    pub use crate::snark::{Certificate, Proof, ProvingKey, UniversalSRS, VerifyingKey};
     #[cfg(all(feature = "process", feature = "program", feature = "snark"))]
     pub use crate::vm::*;
 }
diff --git a/vm/lib.rs b/vm/lib.rs
index 6babac2b70..cc5d1cfdaa 100644
--- a/vm/lib.rs
+++ b/vm/lib.rs
@@ -46,31 +46,7 @@ pub use snarkvm_utilities as utilities;
 #[cfg(feature = "wasm")]
 pub use snarkvm_wasm as wasm;
 
-pub mod errors {
-    #[cfg(feature = "algorithms")]
-    pub use crate::algorithms::errors::*;
-    #[cfg(feature = "curves")]
-    pub use crate::curves::errors::*;
-    #[cfg(feature = "fields")]
-    pub use crate::fields::errors::*;
-    #[cfg(feature = "parameters")]
-    pub use crate::parameters::errors::*;
-    #[cfg(feature = "r1cs")]
-    pub use crate::r1cs::errors::*;
-}
-
-pub mod traits {
-    #[cfg(feature = "algorithms")]
-    pub use crate::algorithms::traits::*;
-    #[cfg(feature = "curves")]
-    pub use crate::curves::traits::*;
-    #[cfg(feature = "fields")]
-    pub use crate::fields::traits::*;
-}
-
 pub mod prelude {
-    pub use crate::{errors::*, traits::*};
-
     #[cfg(feature = "console")]
     pub use crate::console::{account::*, network::*, program::*};
     #[cfg(feature = "ledger")]