kayabaNerve submits CCS proposal to 'develop, prove, review, and audit' Full-Chain Membership Proofs

Posted Sat, 13 Apr 2024, from Monero Observer

Price Analysis

Source Article Link: https://monero.observer/kayabanerve-submits-ccs-proposal-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: 3000 XMR (880:kN + 2120:MRL fund).

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.

  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/ ↩

License: CC BY 4.0, no changes were made to the article.