☰

FCMP++ Migration

The goal is still the same, we need to verify the:

  1. Membership proof

    2. Check if FCMP++ (replacing CLSAG) is theoretically safe and if the implementation is flawless. Instead of proving that the spent output belongs to a small ring, the prover shows that it belongs to the whole set of outputs committed in the Merkle tree. An overview of how it works can be found here.

  2. Check the amounts

    3. Verify if BP+ is doing its job correctly and that the commitments equation is satisfied.

  3. Check the uniqueness of key images

    4. Make sure that only one unique key-image per output is being created.

  4. Check the emission

    5. Make sure that the nodes are generating amounts up to the maximum agreed by the emission curve values.