Creation of the HDL code for the instructions used to implement the Cryptographic Primitives. Also, creation of the unit-tests for the new/changed HDL code, or other related HDL code that needs testing.
I think we should move adding the bigint insns to soc.git to be a subtask of this bug.
(In reply to Jacob Lifshay from comment #1) > I think we should move adding the bigint insns to soc.git to be a subtask of > this bug. the simulator is the top priority. reprioritising this task to "low".
for payment reasoning, see https://bugs.libre-soc.org/show_bug.cgi?id=785#c13
turns out the formal proofs for bug #785 were supposed to be under bug #840, so we're moving just the formal proofs to that bug, everything else (hdl implementations and unit tests for gfbinv/gfbmul/gfbmadd) stays under this bug.