Re: eddsa progress (was: Re: curve25519 progress)