CCS/ccs-proposals
1
0
Fork 0
mirror of https://repo.getmonero.org/monero-project/ccs-proposals.git synced 2024-12-31 17:49:25 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fcmp++ research: add segmented milestones

Browse source
This commit is contained in:
plowsoff 2024-12-16 21:19:06 +00:00
parent 416c8007d2
commit 23765a1749
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
fcmp++-research.md
View file

@ -5,10 +5,18 @@ author: kayabaNerve
date: April 13, 2024
amount: 2000
milestones:
- name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise)
- name: Provide a soundness proof for the proof using Elliptic Curve Divisors (MAGIC/Veridise write proofs for divisor technique)
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)
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
- name: Formally verify the gadgets
funds: 0
done: