MagicEnvelopes for the Salmon Protocol