Enable proven security computations for `no-std`
irakliyk opened this issue · comments
In #182 proven security estimation was disabled in no-std setting because there is an issue with floating point computations. It would be great to figure out how to enable it back.
One option is to rely on core intrinsics - but these are available only on nightly. Maybe there is a different way to do this.
Closed by #218.