From 77533bee8a6fd7dcd6d757da67b116b55c9bde32 Mon Sep 17 00:00:00 2001
From: luigi1111 <luigi1111w@gmail.com>
Date: Thu, 30 May 2024 17:13:34 +0000
Subject: [PATCH] Update fcmp++-research.md - 2
---
fcmp++-research.md | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/fcmp++-research.md b/fcmp++-research.md
index 6357f277..f6fadbd4 100644
--- a/fcmp++-research.md
+++ b/fcmp++-research.md
@@ -5,8 +5,8 @@ author: kayabaNerve
date: April 13, 2024
amount: 2000
milestones:
- - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (Cypherstack)
- funds: 198
+ - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise)
+ funds: 70
done:
status: unfinished
- name: Formally verify the gadgets
@@ -44,8 +44,8 @@ milestones:
payouts:
- date: 22 May 2024
amount: 198
- - date:
- amount:
+ - date: 30 May 2024
+ amount: 70
- date:
amount:
- date:
--
GitLab