scroll-tech/halo2-lib

tob-axiom-10

Closed this issue · 2 comments

lispc commented

need we pick that commit? i noticed you have already an divide_unsafe PR (I have merged that).

zhenfeizhang commented

oh yes this was fixed and did not use Axiom's method.