Open mratsim opened 6 days ago
From @yelhousni
https://github.com/mratsim/constantine/blob/ab6fa6ae1bbbd1b10071a92ec209b381b5d82511/constantine/math/extension_fields/towers.nim#L221-L225
This is only valid if non-residue is sqrt(-1) and (p-1)/3 is odd which is the case for BLS12-381.
From @yelhousni
https://github.com/mratsim/constantine/blob/ab6fa6ae1bbbd1b10071a92ec209b381b5d82511/constantine/math/extension_fields/towers.nim#L221-L225
This is only valid if non-residue is sqrt(-1) and (p-1)/3 is odd which is the case for BLS12-381.