Anyone interested in reviewing some notation I'm using to finalize a signing oracle in a CLSAG proof?

I've been racking my brain trying to get it to make sense in a clear way

(typesetting it presently)

Here it is: usercontent.irccloud-cdn.com/file/SE4L2Q6Q/clsag_ro_ddh.pdf

Hopefully the signing oracle notation is clear, since it has a tricky mapping of public keys between the linkable anonymity player and its own challenge keys

Updated for typos and wording: usercontent.irccloud-cdn.com/file/FULkvUPq/clsag_ro_ddh.pdf

Monthly research report is posted (apologies for the delay): reddit.com/r/Monero/comments/hk5gcp…_monthly_report_from_sarang_noether

good bot