diff --git a/ex/noir-trie-proofs b/ex/noir-trie-proofs
new file mode 160000
index 00000000000..ef66f4b5753
--- /dev/null
+++ b/ex/noir-trie-proofs
@@ -0,0 +1 @@
+Subproject commit ef66f4b5753c97b659945ba05b2992a418421c19