so... can this issue be closed? monero-project/research-lab #12

seems like it

Lelantus-Spark has been updated with their solution to the key image issue identified by nwk: eprint.iacr.org/2021/1173.pdf. Spark's key image construction is now different from Seraphis, so Spark no longer qualifies as an instantiation of Seraphis.

Different views on pros/cons of both ways to fix ?

They are similar ways: `KI_seraphis = (y/x)*G`, `KI_spark = (1/x)*U - (y/x)*G` (y = priv spend key; x = priv view key stuff).

I guess Spark's version works better for their Chaum-Pedersen proofs.

But Seraphis's version works better with the composition proof I came up with.

The two proofs have similar size/verification costs (I think - still need to perf test).

is there a lost of theorems for seraphis which still need some proofs?

coinstudent2048[: ^