powdr-labs/powdr

Implement extension field of degree 4 (Fp4) for BabyBear Field in PIL

Opened this issue · 0 comments

To make the permutation and lookup arguments implemented in PIL sound enough for the BabyBear Field, we need to implement Fp4 for the BabyBear field