diff --git a/barretenberg/cpp/src/barretenberg/stdlib/commitment/pedersen/pedersen.hpp b/barretenberg/cpp/src/barretenberg/stdlib/commitment/pedersen/pedersen.hpp
index 967aba83955a..0a6f42c595c4 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/commitment/pedersen/pedersen.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/commitment/pedersen/pedersen.hpp
@@ -20,6 +20,4 @@ template <typename CircuitBuilder> class pedersen_commitment {
     static cycle_group commit(const std::vector<std::pair<field_t, GeneratorContext>>& input_pairs);
 };
 
-EXTERN_STDLIB_TYPE(pedersen_commitment);
-
-} // namespace proof_system::plonk::stdlib
\ No newline at end of file
+} // namespace proof_system::plonk::stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/encryption/schnorr/schnorr.hpp b/barretenberg/cpp/src/barretenberg/stdlib/encryption/schnorr/schnorr.hpp
index 6a73d1323b3a..07908ae61b2b 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/encryption/schnorr/schnorr.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/encryption/schnorr/schnorr.hpp
@@ -27,25 +27,4 @@ template <typename C>
 bool_t<C> signature_verification_result(const byte_array<C>& message,
                                         const cycle_group<C>& pub_key,
                                         const signature_bits<C>& sig);
-
-#define VERIFY_SIGNATURE_INTERNAL(circuit_type)                                                                        \
-    std::array<field_t<circuit_type>, 2> verify_signature_internal<circuit_type>(                                      \
-        const byte_array<circuit_type>&, const cycle_group<circuit_type>&, const signature_bits<circuit_type>&)
-
-#define VERIFY_SIGNATURE(circuit_type)                                                                                 \
-    void verify_signature<circuit_type>(                                                                               \
-        const byte_array<circuit_type>&, const cycle_group<circuit_type>&, const signature_bits<circuit_type>&)
-
-#define SIGNATURE_VERIFICATION_RESULT(circuit_type)                                                                    \
-    bool_t<circuit_type> signature_verification_result<circuit_type>(                                                  \
-        const byte_array<circuit_type>&, const cycle_group<circuit_type>&, const signature_bits<circuit_type>&)
-
-#define CONVERT_SIGNATURE(circuit_type)                                                                                \
-    signature_bits<circuit_type> convert_signature<circuit_type>(circuit_type*, const crypto::schnorr::signature&)
-
-EXTERN_STDLIB_METHOD(VERIFY_SIGNATURE_INTERNAL)
-EXTERN_STDLIB_METHOD(VERIFY_SIGNATURE)
-EXTERN_STDLIB_METHOD(SIGNATURE_VERIFICATION_RESULT)
-EXTERN_STDLIB_METHOD(CONVERT_SIGNATURE)
-
 } // namespace proof_system::plonk::stdlib::schnorr
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s.hpp
index 68d8ca8687f0..e6c4f4192fc6 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s.hpp
@@ -7,9 +7,5 @@ namespace stdlib {
 
 template <typename Builder> byte_array<Builder> blake2s(const byte_array<Builder>& input);
 
-#define BLAKE2S(circuit_type) byte_array<circuit_type> blake2s(const byte_array<circuit_type>& input)
-
-EXTERN_STDLIB_METHOD(BLAKE2S)
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s_plookup.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s_plookup.hpp
index 995ef030549b..6c58fb1cf2a4 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s_plookup.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake2s/blake2s_plookup.hpp
@@ -16,9 +16,6 @@ namespace blake2s_plookup {
 
 template <typename Builder> byte_array<Builder> blake2s(const byte_array<Builder>& input);
 
-#define BLAKE2S_ULTRA(ULTRA_TYPE) byte_array<ULTRA_TYPE> blake2s(const byte_array<ULTRA_TYPE>& input)
-
-EXTERN_STDLIB_ULTRA_METHOD(BLAKE2S_ULTRA)
 } // namespace blake2s_plookup
 
 } // namespace stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s.hpp
index 141860ea9e58..9d24322740f7 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s.hpp
@@ -6,9 +6,6 @@ namespace proof_system::plonk {
 namespace stdlib {
 
 template <typename Builder> byte_array<Builder> blake3s(const byte_array<Builder>& input);
-#define BLAKE3S(circuit_type) byte_array<circuit_type> blake3s(const byte_array<circuit_type>& input);
-
-EXTERN_STDLIB_METHOD(BLAKE3S)
 
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s_plookup.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s_plookup.hpp
index 6cecfa26ba3c..c97ff60ab54c 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s_plookup.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/blake3s/blake3s_plookup.hpp
@@ -16,10 +16,6 @@ namespace blake3s_plookup {
 
 template <typename Builder> byte_array<Builder> blake3s(const byte_array<Builder>& input);
 
-#define BLAKE3S_PLOOKUP(circuit_type) byte_array<circuit_type> blake3s(const byte_array<circuit_type>& input)
-
-EXTERN_STDLIB_ULTRA_METHOD(BLAKE3S_PLOOKUP);
-
 } // namespace blake3s_plookup
 
 } // namespace stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/keccak/keccak.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/keccak/keccak.hpp
index 5719938ebad1..d8e00c42c802 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/keccak/keccak.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/keccak/keccak.hpp
@@ -202,7 +202,5 @@ template <typename Builder> class keccak {
                                                                Builder* context);
 };
 
-EXTERN_STDLIB_ULTRA_TYPE(keccak)
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/pedersen/pedersen.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/pedersen/pedersen.hpp
index 26b2b484925a..e01982f80fad 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/pedersen/pedersen.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/pedersen/pedersen.hpp
@@ -31,6 +31,4 @@ template <typename Builder> class pedersen_hash {
     static field_t hash_buffer(const stdlib::byte_array<Builder>& input, GeneratorContext context = {});
 };
 
-EXTERN_STDLIB_TYPE(pedersen_hash);
-
 } // namespace proof_system::plonk::stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/hash/sha256/sha256.hpp b/barretenberg/cpp/src/barretenberg/stdlib/hash/sha256/sha256.hpp
index e078c118500e..c6b3216f688f 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/hash/sha256/sha256.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/hash/sha256/sha256.hpp
@@ -24,11 +24,5 @@ template <typename Builder> field_t<Builder> sha256_to_field(const packed_byte_a
     return slices[1] + (slices[0] * (uint256_t(1) << 128));
 }
 
-#define SHA256_BLOCK(circuit_type) byte_array<circuit_type> sha256_block(const byte_array<circuit_type>& input)
-#define SHA256(circuit_type) packed_byte_array<circuit_type> sha256(const packed_byte_array<circuit_type>& input)
-
-EXTERN_STDLIB_METHOD(SHA256_BLOCK)
-EXTERN_STDLIB_METHOD(SHA256)
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/bit_array/bit_array.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/bit_array/bit_array.hpp
index 4e07b0ad10b1..b6932d6b32d4 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/bit_array/bit_array.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/bit_array/bit_array.hpp
@@ -179,7 +179,5 @@ template <typename Builder> class bit_array {
     std::vector<bool_t<Builder>> values;
 };
 
-EXTERN_STDLIB_TYPE(bit_array);
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/bool/bool.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/bool/bool.hpp
index 6e567925e332..abc983fedf53 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/bool/bool.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/bool/bool.hpp
@@ -75,6 +75,4 @@ template <typename T> inline std::ostream& operator<<(std::ostream& os, bool_t<T
     return os << v.get_value();
 }
 
-EXTERN_STDLIB_TYPE(bool_t);
-
 } // namespace proof_system::plonk::stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/byte_array/byte_array.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/byte_array/byte_array.hpp
index e01280a5b77c..e8984350df00 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/byte_array/byte_array.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/byte_array/byte_array.hpp
@@ -100,7 +100,5 @@ template <typename Builder> inline std::ostream& operator<<(std::ostream& os, by
     return os;
 }
 
-EXTERN_STDLIB_TYPE(byte_array);
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp
index 60418b68f3c9..f00d2966934a 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp
@@ -34,17 +34,3 @@ using UltraCircuitBuilder =
 template <class FF> class GoblinUltraCircuitBuilder_;
 using GoblinUltraCircuitBuilder = GoblinUltraCircuitBuilder_<barretenberg::field<barretenberg::Bn254FrParams>>;
 } // namespace proof_system
-
-#define EXTERN_STDLIB_TYPE(stdlib_type)
-
-#define EXTERN_STDLIB_METHOD(stdlib_method)
-
-#define EXTERN_STDLIB_TYPE_VA(stdlib_type, ...)
-
-#define EXTERN_STDLIB_BASIC_TYPE_VA(stdlib_type, ...)
-
-#define EXTERN_STDLIB_ULTRA_TYPE(stdlib_type)
-
-#define EXTERN_STDLIB_ULTRA_TYPE_VA(stdlib_type, ...)
-
-#define EXTERN_STDLIB_ULTRA_METHOD(stdlib_method)\
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/field/field.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/field/field.hpp
index 7fe4732ec2d7..09f97f45b871 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/field/field.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/field/field.hpp
@@ -428,6 +428,4 @@ template <typename Builder> inline std::ostream& operator<<(std::ostream& os, fi
     return os << v.get_value();
 }
 
-EXTERN_STDLIB_TYPE(field_t);
-
 } // namespace proof_system::plonk::stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/group/cycle_group.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/group/cycle_group.hpp
index 260384af3b0e..92c122fdf54a 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/group/cycle_group.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/group/cycle_group.hpp
@@ -234,6 +234,4 @@ inline std::ostream& operator<<(std::ostream& os, cycle_group<ComposerContext> c
     return os << v.get_value();
 }
 
-EXTERN_STDLIB_TYPE(cycle_group);
-
 } // namespace proof_system::plonk::stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/logic/logic.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/logic/logic.hpp
index ab57defc4b7c..b27a1af17ab5 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/logic/logic.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/logic/logic.hpp
@@ -28,6 +28,4 @@ template <typename Builder> class logic {
             });
 };
 
-EXTERN_STDLIB_TYPE(logic);
-
-} // namespace proof_system::plonk::stdlib
\ No newline at end of file
+} // namespace proof_system::plonk::stdlib
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/dynamic_array.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/dynamic_array.hpp
index c78299d54684..cab0b80b4de6 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/dynamic_array.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/dynamic_array.hpp
@@ -48,7 +48,5 @@ template <typename Builder> class DynamicArray {
     mutable ram_table<Builder> _inner_table;
 };
 
-EXTERN_STDLIB_ULTRA_TYPE(DynamicArray);
-
 } // namespace stdlib
-} // namespace proof_system::plonk
\ No newline at end of file
+} // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/ram_table.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/ram_table.hpp
index 9e84bfe67c76..5217b9f8cf7a 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/ram_table.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/ram_table.hpp
@@ -57,7 +57,5 @@ template <typename Builder> class ram_table {
     mutable Builder* _context = nullptr;
 };
 
-EXTERN_STDLIB_ULTRA_TYPE(ram_table);
-
 } // namespace stdlib
-} // namespace proof_system::plonk
\ No newline at end of file
+} // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/rom_table.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/rom_table.hpp
index 859481b68ac2..4d5e29fda14e 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/rom_table.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/rom_table.hpp
@@ -41,7 +41,5 @@ template <typename Builder> class rom_table {
     mutable Builder* context = nullptr;
 };
 
-EXTERN_STDLIB_ULTRA_TYPE(rom_table);
-
 } // namespace stdlib
-} // namespace proof_system::plonk
\ No newline at end of file
+} // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/twin_rom_table.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/twin_rom_table.hpp
index 3289f4394d82..b551c20379e1 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/twin_rom_table.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/memory/twin_rom_table.hpp
@@ -43,7 +43,5 @@ template <typename Builder> class twin_rom_table {
     mutable Builder* context = nullptr;
 };
 
-EXTERN_STDLIB_ULTRA_TYPE(twin_rom_table);
-
 } // namespace stdlib
-} // namespace proof_system::plonk
\ No newline at end of file
+} // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/packed_byte_array/packed_byte_array.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/packed_byte_array/packed_byte_array.hpp
index 78cd286859f0..5851e75fb812 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/packed_byte_array/packed_byte_array.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/packed_byte_array/packed_byte_array.hpp
@@ -64,7 +64,5 @@ template <typename Builder> inline std::ostream& operator<<(std::ostream& os, pa
     return os;
 }
 
-EXTERN_STDLIB_TYPE(packed_byte_array);
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/plookup/plookup.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/plookup/plookup.hpp
index 260ef8f737a4..7971fd605545 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/plookup/plookup.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/plookup/plookup.hpp
@@ -26,7 +26,5 @@ template <typename Builder> class plookup_read {
                                                                const bool is_2_to_1_lookup = false);
 };
 
-EXTERN_STDLIB_ULTRA_TYPE(plookup_read);
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/safe_uint/safe_uint.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/safe_uint/safe_uint.hpp
index 6f5d225293b3..d45f51606d1e 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/safe_uint/safe_uint.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/safe_uint/safe_uint.hpp
@@ -210,7 +210,5 @@ template <typename Builder> inline std::ostream& operator<<(std::ostream& os, sa
     return os << v.value;
 }
 
-EXTERN_STDLIB_TYPE(safe_uint_t);
-
 } // namespace stdlib
 } // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/plookup/uint.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/plookup/uint.hpp
index ab08eabda62d..b4a40f9f88ff 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/plookup/uint.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/plookup/uint.hpp
@@ -173,10 +173,5 @@ template <typename T, typename w> inline std::ostream& operator<<(std::ostream&
     return os << v.get_value();
 }
 
-EXTERN_STDLIB_ULTRA_TYPE_VA(uint_plookup, uint8_t);
-EXTERN_STDLIB_ULTRA_TYPE_VA(uint_plookup, uint16_t);
-EXTERN_STDLIB_ULTRA_TYPE_VA(uint_plookup, uint32_t);
-EXTERN_STDLIB_ULTRA_TYPE_VA(uint_plookup, uint64_t);
-
 } // namespace stdlib
-} // namespace proof_system::plonk
\ No newline at end of file
+} // namespace proof_system::plonk
diff --git a/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/uint.hpp b/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/uint.hpp
index 06534c54d682..e51ce2db6926 100644
--- a/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/uint.hpp
+++ b/barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/uint.hpp
@@ -201,10 +201,5 @@ template <typename Builder>
 using uint64 =
     typename std::conditional<HasPlookup<Builder>, uint_plookup<Builder, uint64_t>, uint<Builder, uint64_t>>::type;
 
-EXTERN_STDLIB_BASIC_TYPE_VA(uint, uint8_t);
-EXTERN_STDLIB_BASIC_TYPE_VA(uint, uint16_t);
-EXTERN_STDLIB_BASIC_TYPE_VA(uint, uint32_t);
-EXTERN_STDLIB_BASIC_TYPE_VA(uint, uint64_t);
-
 } // namespace stdlib
 } // namespace proof_system::plonk