From 23765a17495551839c6d7a74dd08d27798ded4c3 Mon Sep 17 00:00:00 2001 From: plowsoff Date: Mon, 16 Dec 2024 21:19:06 +0000 Subject: [PATCH] fcmp++ research: add segmented milestones --- fcmp++-research.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) 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: