CCS/ccs-proposals
1
0
Fork 0
mirror of https://repo.getmonero.org/monero-project/ccs-proposals.git synced 2025-01-03 19:19:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update file fcmp++-research.md

Browse source
This commit is contained in:
plowsoff 2024-12-19 12:00:35 +00:00
parent a3904db543
commit 7aec06d8de
1 changed files with 15 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
fcmp++-research.md
View file

@ -5,27 +5,31 @@ author: kayabaNerve
date: April 13, 2024 date: April 13, 2024
amount: 2000 amount: 2000
milestones: 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 funds: 70
done: done: 30 May 2024
status: unfinished status: finished
- 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) - 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:
done: done:
status: unfinished status: finished
- name: Provide a soundness proof for the proof using Elliptic Curve Divisors (CypherStack divisor technique proofs review) - name: CypherStack divisor technique proofs review (Segment of Provide a soundness proof for the proof using Elliptic Curve Divisors)
funds: funds: 198
done: done: 22 May 2024
status: unfinished status: finished
- name: Formally verify the gadgets - name: Formally verify the gadgets
funds: 0 funds: 0
done: done:
status: unfinished 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 funds: 0
done: done:
status: unfinished 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 funds: 0
done: done:
status: unfinished status: unfinished