Re: HPKE implementation