Open dfaranha opened 1 year ago
This patch fully reduces sampled ternary vectors, to prevent a residue modulo p_i from being assigned (p_i + 1) after sampling. I needed this to have proper norm checks that relied on all residues being fully reduced, so I'm sending it upstream.
This patch fully reduces sampled ternary vectors, to prevent a residue modulo p_i from being assigned (p_i + 1) after sampling. I needed this to have proper norm checks that relied on all residues being fully reduced, so I'm sending it upstream.