From ca5fb346a22aff7aa58641ce00c11cc79a74f886 Mon Sep 17 00:00:00 2001 From: luigi1111 Date: Thu, 25 Apr 2024 21:19:29 +0000 Subject: [PATCH] Update fcmp++-research.md --- fcmp++-research.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/fcmp++-research.md b/fcmp++-research.md index 081d6a4..29e44e1 100644 --- a/fcmp++-research.md +++ b/fcmp++-research.md @@ -6,39 +6,39 @@ date: April 13, 2024 amount: 2000 milestones: - name: Provide a soundness proof for the proof using Elliptic Curve Divisors - funds: ? + funds: 0 done: status: unfinished - name: Formally verify the gadgets - funds: ? + funds: 0 done: status: unfinished - name: Prove the composition to be unlinkable, unforgeable, and non-malleable - funds: ? + funds: 0 done: status: unfinished - name: Audit the Implementation of GBPs - funds: ? + funds: 0 done: status: unfinished - name: Audit the Elliptic Curve Divisors Library - funds: ? + funds: 0 done: status: unfinished - name: Audit the implementation of the gadgets - funds: ? + funds: 0 done: status: unfinished - name: Audit the implementation of the circuit - funds: ? + funds: 0 done: status: unfinished - name: Audit the implementation of the Towering Curve Cycle - funds: ? + funds: 0 done: status: unfinished - name: Audit the implementation of the Generalized Schnorr Protocol - funds: ? + funds: 0 done: status: unfinished payouts: