diff --git a/post/draft-20241124.md b/post/draft-20241124.md
index 4bb62ad..3d5474b 100644
--- a/post/draft-20241124.md
+++ b/post/draft-20241124.md
@@ -1,5 +1,6 @@
 ## Highlights
-
+### A formal verification tool for Noir
+- <https://formal.land/blog/2024/11/15/tool-for-noir-2>
 
 ## Updates
 ### Improving the Security of the Jolt zkVM