https://writing.chelseakomlo.com/a-note-on-proving-security-of-schnorr/