feat(zink-codegen)/added bound checks for primitive numbers

[sobuur0]

Resolves #154

0x0be5B36E45BA0246fb33e0f915ed459d9fcC249d

[clearloop]

Hi @sobuur0 , thanks for the contributions! please include the tests of bound checks in examples/ btw when you finish the implementation, also, please add your wallet address in the details of the PR, we'll send you the budget via polygon once the PR getting merged ^ ^

[sobuur0]

@clearloop for this is it only the example that remains

[clearloop]

Thanks for the contribution! Introducing a trait for the bound checks make sense!

However, we can not use rust library's check_add because the WASM IR output, instead, we need to append extra logic for checking them on our own.

Yes, we need to create example under /examples for testing our implementation, for example /examples/safe_math!

When you meet any questions while working on the PR, no hesitate to request for a review via github, you can find it on the top right of the github UI!

btw please add your polygon address in the PR description, once the PR get merged, will transfer the bounty to the address provided in the PR ^ ^

[clearloop]

we can not use the checked_add from rust library because it will generate verbose bytecode in the WASM IR, instead, we need to append EVM assembly opcodes to operations, for example

fn safe_add(self, rhs: Self) -> Self {
   // the return value r is now on stack
   let r = self.add(rhs);
   if r > Self::MAX {
     zink::revert!("...");
   }
   r
}

Same for all of the other operations

[sobuur0]

@clearloop i'm having some imports issue, where should i place the logic?

[clearloop]

replace them into your current functions of the SafeArithmetic trait, could please elaborate which kind of import issues you are facing?