13 Apr 2024 | Updated 16 Jul 2024 [CCS]

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

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.

Update 24/4/28: blog post published12.

Update 24/5/18: MRL reached loose consensus for Cypher Stack review of FCMP-RCT composition (including F-S variant) for 198 XMR13.

Update 24/5/28: MAGIC Grants to facilitate Veridise audit that covers Milestone #8 (Provide a soundness proof for the proof using Elliptic Curve Divisors)14.

Update 24/6/28: final report for FCMP++ review posted by Cypher Stack15.

Update 24/7/16: kayabaNerve ‘endorsed’ Brandon Goodell’s quote for conducting a review of the GBP security proofs16.


  1. https://github.com/kayabeNerve/ 

  2. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448  2

  3. https://gist.github.com/kayabaNerve/0e1f7719e5797c826b87249f21ab6f86, https://github.com/kayabaNerve/full-chain-membership-proofs 

  4. https://github.com/serai-dex/serai/, https://serai.exchange/ 

  5. /kayabanerve-discovers-security-vulnerability-monero-python-module/ 

  6. 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 

  7. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448/diffs#6b22a8be24bacf9518511fd3bf398015b4efbcc0 

  8. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/448/diffs#12d0a29005514f86793e5ee235fe2ed9e84129ef 

  9. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/449 

  10. /kayabanerve-fcmps-research-development-ccs-proposals-ready-funding/ 

  11. https://github.com/monero-project/monero-site/pull/2289/files 

  12. https://www.getmonero.org/2024/04/27/fcmps.html 

  13. /meeting-log-summary-monero-research-lab-meeting-15-may-2024/, https://gist.github.com/AaronFeickert/c24d42d9180ddba515462d4468f25831, https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/449#note_24577 

  14. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/449#note_24737, 240522-mrl.log 

  15. (!PDF) https://github.com/cypherstack/fcmp-review/releases/download/final/final.pdf 

  16. https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/449#note_25409, https://repo.getmonero.org/-/project/54/uploads/e370fc495ccf32276aa40d2858366607/monero-gbp.pdf