double check that all the DAGA proofs and assumptions hold if we use EC crypto on 25519 #17

Open sarkortrantor opened 6 years ago