<d​atahoarder:monero.social> jeffro256: I have added generation and testing of tx proofs for carrot, extended usage of receiver proof to also match normal transactions, not just special ones (so receiver can prove they control at least the view keys of the target).

<d​atahoarder:monero.social> Once beta stressnet is live it should work on my block explorer as well, for proof generation and verification.

<d​atahoarder:monero.social> I'll keep an eye to see if there's any changes on the PR meanwhile

<d​atahoarder:monero.social> another change is that the proof generation was moved to constant time instead of vartime over `r` including the negation

<d​atahoarder:monero.social> also added "tx key" verification to my libraries, which is just the ephemeral private key. similar behavior as previous tx key sharing.