Change the type of rt^Orchard from P_x to {0..q_P-1}. This reflects the zcashd implementation; also checking rt^Orchard \in P_x would require a square root and is unnecessary.
Change the type of rt^Orchard from P_x to {0..q_P-1}. This reflects the zcashd implementation;
also checking rt^Orchard \in P_x would require a square root and is unnecessary.

Signed-off-by: Daira Hopwood <cd7d43d5556a38ce626d53826fddc46adc597539@jacaranda.org>

zcash/zips,zcash/zips,zcash/zips,zcash/zips