Update fcmp++-research.md - ms1

This commit is contained in:
luigi1111 2024-05-22 20:07:03 +00:00
parent 73ce72df35
commit 28a1ab4813

View File

@ -5,8 +5,8 @@ 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 - name: Provide a soundness proof for the proof using Elliptic Curve Divisors (Cypherstack)
funds: 0 funds: 198
done: done:
status: unfinished status: unfinished
- name: Formally verify the gadgets - name: Formally verify the gadgets
@ -42,8 +42,8 @@ milestones:
done: done:
status: unfinished status: unfinished
payouts: payouts:
- date: - date: 22 May 2024
amount: amount: 198
- date: - date:
amount: amount:
- date: - date: