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

Update fcmp++-research.md

Browse source
This commit is contained in:
luigi1111 2024-04-25 21:19:29 +00:00
parent 0e9b720e93
commit ca5fb346a2
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
fcmp++-research.md
View file

@ -6,39 +6,39 @@ date: April 13, 2024
amount: 2000
milestones:
- name: Provide a soundness proof for the proof using Elliptic Curve Divisors
funds: ?
funds: 0
done:
status: unfinished
- name: Formally verify the gadgets
funds: ?
funds: 0
done:
status: unfinished
- name: Prove the composition to be unlinkable, unforgeable, and non-malleable
funds: ?
funds: 0
done:
status: unfinished
- name: Audit the Implementation of GBPs
funds: ?
funds: 0
done:
status: unfinished
- name: Audit the Elliptic Curve Divisors Library
funds: ?
funds: 0
done:
status: unfinished
- name: Audit the implementation of the gadgets
funds: ?
funds: 0
done:
status: unfinished
- name: Audit the implementation of the circuit
funds: ?
funds: 0
done:
status: unfinished
- name: Audit the implementation of the Towering Curve Cycle
funds: ?
funds: 0
done:
status: unfinished
- name: Audit the implementation of the Generalized Schnorr Protocol
funds: ?
funds: 0
done:
status: unfinished
payouts: