dev: modexp

[Eikix]

as seen together teccak will repair modexp and make kakarot great again ♥️

Tasks

Preview Give feedback

1. check modexp specification
2. ignore kakarot modexp implementation and start over
3. use new circuits?? on starknet to reimplement modexp soundly
4. decide whether to implement modexp not for arbitrary length uints, but rather up to 256 bits

[tekkac]

Ahoy sir, as per seen offline, I am interested in this endeavor. I would oblige if I could get the chance to be assigned.

[enitrat]

@tekkac as a first task, a modexp version that works with inputs of size < 256 bits would be nice. I think it should be doable with Garaga.

[tekkac]

I created a repo with two impls: u256 and u384 with circuits.
I will integrate the Circuit impl in kkrt-ssj with unit testing.

[Eikix]

I created a repo with two impls: u256 and u384 with circuits. I will integrate the Circuit impl in kkrt-ssj with unit testing.

LFG thank you

[Eikix]

I created a repo with two impls: u256 and u384 with circuits. I will integrate the Circuit impl in kkrt-ssj with unit testing.

What do you think is your ETA on this? Can we include it in our next release early november?
In order to have code freeze before mainnet