Update file fcmp++-research.md

This commit is contained in:
plowsoff 2024-12-19 12:06:34 +00:00
parent 7aec06d8de
commit 72096b83cb

View file

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