Taming the Many EdDSAs

Virtual seminar on exploitable inconsistencies between EdDSA standardization recommendations and Ed25519 implementations — verification equations, binding and malleability guarantees, and batch-vs-single verification — based on the SSR 2020 paper https://ia.cr/2020/1244.