diff --git a/fcmp++-research.md b/fcmp++-research.md index 4870735..cb9d093 100644 --- a/fcmp++-research.md +++ b/fcmp++-research.md @@ -5,27 +5,31 @@ author: kayabaNerve date: April 13, 2024 amount: 2000 milestones: - - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise write proofs for divisor technique) + - name: MAGIC/Veridise write proofs for divisor technique (Segment of 'Provide a soundness proof for the proof using Elliptic Curve Divisors') 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) + done: 30 May 2024 + status: finished + - name: Veridise R1CS circuit review + negative coefficients and an extended review of the use of logarithmic derivatives (Segment of 'Provide a soundness proof for the proof using Elliptic Curve Divisors') 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 + status: finished + - name: CypherStack divisor technique proofs review (Segment of Provide a soundness proof for the proof using Elliptic Curve Divisors) + funds: 198 + done: 22 May 2024 + status: finished - name: Formally verify the gadgets funds: 0 done: status: unfinished - - name: Prove the composition to be unlinkable, unforgeable, and non-malleable (CypherStack) + - name: CypherStack Prove the composition to be unlinkable, unforgeable, and non-malleable funds: 0 done: status: unfinished - - name: Audit the Implementation of GBPs (CypherStack) + - name: Brandon Goodell (Segment of 'GBP security review') + funds: 118.5 + done: 13 December 2024 + status: finished + - name: Audit the Implementation of GBPs funds: 0 done: status: unfinished