Seraphis Migration

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

  1. Ring signatures
  2. Check if the Grootle proofs (replacing CLSAG) is theoretically safe and if the implementation is flawless. A Python draft can be found here.

  3. Check the amounts
  4. Verify if BP+ (or maybe BP++) is doing its job correctly and that the commitments equation is satisfied.

  5. Check the uniqueness of key images
  6. Make sure only one key-image per output is being created (automatically done by proving the safety of the ring signatures and the composition proofs).

  7. Check the emission
  8. Make sure that the nodes are generating amounts up to the maximum agreed emission curve.