From 28a1ab4813c411c27ff8516590a39726d3b23da7 Mon Sep 17 00:00:00 2001 From: luigi1111 Date: Wed, 22 May 2024 20:07:03 +0000 Subject: [PATCH] Update fcmp++-research.md - ms1 --- fcmp++-research.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/fcmp++-research.md b/fcmp++-research.md index c8b6ecb..6357f27 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 - funds: 0 + - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (Cypherstack) + funds: 198 done: status: unfinished - name: Formally verify the gadgets @@ -42,8 +42,8 @@ milestones: done: status: unfinished payouts: - - date: - amount: + - date: 22 May 2024 + amount: 198 - date: amount: - date: