Git-Mirrors/monero-ccs-proposals
1
0
Fork 0
mirror of https://repo.getmonero.org/monero-project/ccs-proposals.git synced 2025-04-03 20:05:55 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'plowsofff-master-patch-9312' into 'master'

Browse Source 
fcmp++ research: add segmented milestones

See merge request monero-project/ccs-proposals!528
This commit is contained in:
plowsoff 2025-03-26 19:45:42 +00:00
commit 175e9a9ad1
1 changed files with 19 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
fcmp++-research.md
View File

@ -5,18 +5,30 @@ author: kayabaNerve
date: April 13, 2024
amount: 2000
milestones:
- name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise)
- 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
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: 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
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
funds: 0
done:
status: unfinished
- 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
- name: Audit the Implementation of GBPs
funds: 0
done: