Mean value formulas for twisted Edwards curves. - Moody, Dustin (IACR Cryptol. ePrint Arch., 2010)