We need a way to compute multiplicative inverses in the quadratic extension field of the Miden VM base…
We need a way to compute multiplicative inverses in the quadratic extension field of the Miden VM base…: a task in LegoFlow-SWE (Harbor dataset). Currently there is no efficient, non‑deterministic inversion mechanism available. The goal is to provide a new advice injector, accessible via the…
The task
Currently there is no efficient, non‑deterministic inversion mechanism available. The goal is to provide a new advice injector, accessible via the assembly instruction `adv.ext2inv`, that:
Part of Lego-X/LegoFlow-SWE.