diff --git a/fcmp++-research.md b/fcmp++-research.md index cb9d093..1b7de0e 100644 --- a/fcmp++-research.md +++ b/fcmp++-research.md @@ -10,8 +10,8 @@ milestones: 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: + funds: 38.5 + done: 25 November 2024 status: finished - name: CypherStack divisor technique proofs review (Segment of Provide a soundness proof for the proof using Elliptic Curve Divisors) funds: 198 @@ -21,11 +21,11 @@ milestones: funds: 0 done: status: unfinished - - name: CypherStack Prove the composition to be unlinkable, unforgeable, and non-malleable - funds: 0 - done: - status: unfinished - - name: Brandon Goodell (Segment of 'GBP security review') + - name: CypherStack (Prove the composition to be unlinkable, unforgeable, and non-malleable) + funds: 38 + done: 13 August 2024 + status: finished + - name: Brandon Goodell (Segment of 'Review GBP security proofs') funds: 118.5 done: 13 December 2024 status: finished