https://writing.chelseakomlo.com/an-expanded-proof-for-schnorr-signatures/