Update draft-20241124.md

coset-io · Nov 19, 2024 · 7cc0b7d · 7cc0b7d
1 parent 7344872
commit 7cc0b7d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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