Just as a followup, I did a part 2 at #694651

Short version:
. I reached out to Dai, Matonis, and NakamotoInstitute
. Wei Dai emails look legit, still unsure about Matonis email