Use this code to get started on the snark challenge. It implements the logic needed to do field arithmetic. In particular, for the fields used by mnt4-753 and mnt6-753, this takes the pairwise product ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results