diff --git a/fcmp++-research.md b/fcmp++-research.md
index 88ed9e9..6bcc0ee 100644
--- a/fcmp++-research.md
+++ b/fcmp++-research.md
@@ -5,10 +5,18 @@ author: kayabaNerve
 date: April 13, 2024
 amount: 2000
 milestones:
-  - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise)
+  - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise write proofs for divisor technique)
     funds: 70
     done:
     status: unfinished
+  - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (Veridise R1CS circuit review + negative coefficients and an extended review of the use of logarithmic derivatives)
+    funds:
+    done:
+    status: unfinished
+  - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (CypherStack divisor technique proofs review)
+    funds:
+    done:
+    status: unfinished
   - name: Formally verify the gadgets
     funds: 0
     done: