kayabaNerve submits CCS proposal to 'develop, prove, review, and audit' Full-Chain Membership Proofs
kayabaNerve (Luke Parker)1 has submitted a CCS proposal2 looking to help develop, prove, review, and audit Full-Chain Membership Proofs3:
This CCS is to develop, prove, review, and audit Full-Chain Membership Proofs (a trustless solution based on Generalized Bulletproofs) into Monero under RingCT, replacing the existing CLSAG. [..] Development of the proofs and protocols will be done by myself, kayabaNerve [..] Integration into Monero will be handled externally to this CCS, with jberman stating their intent to submit their own CCS.
Proposed funding: 2920 XMR (920:Dev + 2000:Research).
ETA: TBD.
Milestones
- M1: Polish GBPs (kayabaNerve) (160 XMR)
- M2: Polish the Elliptic Curve Divisor Library (kayabaNerve) (80 XMR)
- M3: Provide a specification of the circuit (kayabaNerve) (80 XMR)
- M4: Implement the gadgets (kayabaNerve) (320 XMR)
- M5: Implement the circuit (kayabaNerve) (200 XMR)
- M6: Implement the Generalized Schnorr Protocol (kayabaNerve) (40 XMR)
M7: Implement the Towering Curve Cycle (TBD)- M8: Provide a soundness proof for the proof using Elliptic Curve Divisors (TBD)
- M9: Formally verify the gadgets (TBD)
- M10: Prove the composition to be unlinkable, unforgeable, and non-malleable (TBD)
- M11: Audit the Implementation of GBPs (TBD)
- M12: Audit the Elliptic Curve Divisors Library (TBD)
- M13: Audit the implementation of the gadgets (TBD)
- M14: Audit the implementation of the circuit (TBD)
- M15: Audit the implementation of the Towering Curve Cycle (TBD)
- M16: Audit the implementation of the Generalized Schnorr Protocol (TBD)
It is worth noting that kayabaNerve is the lead developer of the upcoming Serai DEX4 and a known Monero ecosystem contributor5.
To share your feedback, ask questions and support this proposal, consult !4482.
This is an ongoing story and the report will be updated when new information is available.
Update 24/4/14: proposal split6 into a Research CCS7 and a Development CCS8 (both on same PR); Tower Cycle development milestone removed.
Update 24/4/21: Research CCS migrated to !4499.
Update 24/4/26: dev price updated; both proposals moved to funding stage (dev proposal fully funded)10.
Update 24/4/27: kayabaNerve prepared a post on FCMP(++)s to be published on getmonero.org11.
Updat 24/4/28: blog post published12.
-
https://github.com/kayabeNerve/ ↩
-
https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448 ↩ ↩2
-
https://gist.github.com/kayabaNerve/0e1f7719e5797c826b87249f21ab6f86, https://github.com/kayabaNerve/full-chain-membership-proofs ↩
-
https://github.com/serai-dex/serai/, https://serai.exchange/ ↩
-
/kayabanerve-discovers-security-vulnerability-monero-python-module/ ↩
-
https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448?commit_id=2ebae2e878115cafea0afdefa62a0970c852c372#note_24048, https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448/diffs?commit_id=2ebae2e878115cafea0afdefa62a0970c852c372 ↩
-
https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448/diffs#6b22a8be24bacf9518511fd3bf398015b4efbcc0 ↩
-
https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448/diffs#12d0a29005514f86793e5ee235fe2ed9e84129ef ↩
-
https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/449 ↩
-
/kayabanerve-fcmps-research-development-ccs-proposals-ready-funding/ ↩
-
https://github.com/monero-project/monero-site/pull/2289/files ↩