diff --git a/fcmp++-research.md b/fcmp++-research.md
index c9dab4b..4b23f09 100644
--- a/fcmp++-research.md
+++ b/fcmp++-research.md
@@ -5,18 +5,30 @@ author: kayabaNerve
 date: April 13, 2024
 amount: 2000
 milestones:
-  - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise)
+  - name: MAGIC/Veridise write proofs for divisor technique (Segment of 'Provide a soundness proof for the proof using Elliptic Curve Divisors') 
     funds: 70
-    done:
-    status: unfinished
+    done: 30 May 2024
+    status: finished
+  - name: Veridise R1CS circuit review + negative coefficients and an extended review of the use of logarithmic derivatives (Segment of 'Provide a soundness proof for the proof using Elliptic Curve Divisors')
+    funds: 38.5
+    done: 25 November 2024
+    status: finished
+  - name: CypherStack divisor technique proofs review (Segment of Provide a soundness proof for the proof using Elliptic Curve Divisors) 
+    funds: 198
+    done: 22 May 2024
+    status: finished
   - name: Formally verify the gadgets
     funds: 0
     done:
     status: unfinished
-  - name: Prove the composition to be unlinkable, unforgeable, and non-malleable
-    funds: 0
-    done:
-    status: unfinished
+  - name: CypherStack (Prove the composition to be unlinkable, unforgeable, and non-malleable)
+    funds: 38
+    done: 13 August 2024
+    status: finished
+  - name: Brandon Goodell (Segment of 'Review GBP security proofs')
+    funds: 118.5
+    done: 13 December 2024
+    status: finished
   - name: Audit the Implementation of GBPs
     funds: 0
     done: