fiat-crypto
fiat-crypto copied to clipboard
Set array sizes from bounds
Fix #2040 (I hope)
Still TODO: add a test-case for this based on from_bytes assembly