use different encodings for input and shares