Skip to content

Add conversion functions between `bls12_381_fr` and `nat`/`int`.

This is a followup issue to !367 (merged) closing this discussion.

In !367 (merged), the INT instruction is extended to work from bls12_381_fr to int but no direct instruction is provided to go from bls12_381_fr to nat nor from nat or int to bls12_381_fr (!367 (merged) provides simple but indirect ways to do these).

Do we want these extra instruction?